notafile pushed to main at notafile/futilehdl
- aeaf487de7 add sync logic keywords
notafile pushed to main at notafile/futilehdl
- 7411ad59ad add more examples
notafile pushed to main at notafile/futilehdl
- e08e9ccdf2 fix rtlil const formatting
notafile pushed to main at notafile/futilehdl
- 83540e898a clippy fix
- a2cca95dbd rework typed_ir to have flat expressions
- Compare 2 commits »
notafile pushed to main at notafile/futilehdl
- b71f9f09ae rename typed_ir::Block to Body
notafile pushed to main at notafile/futilehdl
- 5dca566cca split up frontend file
notafile pushed to main at notafile/futilehdl
- 86e3bf4d32 add adts to type system
- c0be718bbc parse struct initialization
- b6c6a23ca5 parse struct blocks
- 2dd99ae641 add parsing for expression blocks
- da0d1dd6d8 clippy fix
- Compare 6 commits »
notafile pushed to main at notafile/futilehdl
- b848d5d3ea add comments to lexer
- 0307d0537c add match lowering
- Compare 2 commits »
notafile pushed to main at notafile/futilehdl
- da5258a11a add match blocks and constant literals
notafile pushed to main at notafile/futilehdl
- 68be74d032 make multiple blocks in one file work
- 8c16a94be4 implement type inference for literals
- Compare 2 commits »
notafile pushed to main at notafile/futilehdl
- f03c777e28 fixup rtlil identifiers
notafile pushed to main at notafile/futilehdl
- 1de0846f96 fix rtlil generation
notafile pushed to main at notafile/futilehdl
- c0f6b5c4be make type inference work-ish
notafile pushed to main at notafile/futilehdl
- cce8a3bde4 add type comparison function
- b890c0594d add first steps toward generic type inference
- Compare 2 commits »
notafile pushed to main at notafile/futilehdl
- 270713b3f9 more typechecking af callables
notafile pushed to main at notafile/futilehdl
- cf1a5c1c3b add back function type resolving
- 3f08a838d2 switch callable to interning too
- Compare 2 commits »
notafile pushed to main at notafile/futilehdl
- 853021e4f8 add simple const generic eval
notafile pushed to main at notafile/futilehdl
- 0daa49874e add pretty printing for typed IR
- faa7a06aa2 add labels to todos
- Compare 2 commits »