Open Issues Need Help
View All on GitHub SystemVerilog-style slices of arbitrary base about 2 months ago
enhancement good first issue Language Design
pc2/sus-compiler
111
A new Hardware Design Language that keeps you in the driver's seat
Rust
#fpga#fpga-programming#hardware-description-language#hdl#programming-language#tree-sitter
Is Parameter Inference with Integer Subtyping still Deterministic? about 2 months ago
AI Summary: The task is to determine if adding two features (using already-inferred parameters to invert more complex expressions and integer subtyping) to an existing type inference system for a hardware description language (SUS) will break the determinism of the system. This involves analyzing the interaction of these features with the existing Hindley-Milner type system and considering the order of inference and constraint resolution. The goal is to either prove determinism holds or identify scenarios where it fails, potentially proposing solutions to maintain determinism.
Complexity:
5/5
bug help wanted Request Input
pc2/sus-compiler
111
A new Hardware Design Language that keeps you in the driver's seat
Rust
#fpga#fpga-programming#hardware-description-language#hdl#programming-language#tree-sitter