notafile
0 Followers · 0 Following
  • Joined on 2018-03-16
Repositories
3
 Projects Packages Public Activity Starred Repositories
notafile pushed to main at notafile/futilehdl 2022-08-07 16:15:02 +00:00
aeaf487de7 add sync logic keywords
notafile pushed to main at notafile/futilehdl 2022-08-07 16:12:24 +00:00
f037357ded bump deps
notafile pushed to main at notafile/futilehdl 2022-04-07 10:53:38 +00:00
7411ad59ad add more examples
notafile pushed to main at notafile/futilehdl 2022-04-07 10:53:05 +00:00
af2e22aaad update deps
notafile pushed to main at notafile/futilehdl 2022-04-05 22:09:15 +00:00
e08e9ccdf2 fix rtlil const formatting
notafile pushed to main at notafile/futilehdl 2022-04-05 21:35:34 +00:00
83540e898a clippy fix
a2cca95dbd rework typed_ir to have flat expressions
Compare 2 commits »
notafile pushed to main at notafile/futilehdl 2022-04-05 14:42:34 +00:00
b71f9f09ae rename typed_ir::Block to Body
notafile pushed to main at notafile/futilehdl 2022-04-05 14:08:14 +00:00
5dca566cca split up frontend file
notafile pushed to main at notafile/futilehdl 2022-04-05 13:11:31 +00:00
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 2022-04-04 22:03:51 +00:00
b848d5d3ea add comments to lexer
0307d0537c add match lowering
Compare 2 commits »
notafile pushed to main at notafile/futilehdl 2022-04-04 19:40:13 +00:00
da5258a11a add match blocks and constant literals
notafile pushed to main at notafile/futilehdl 2022-02-23 22:36:09 +00:00
68be74d032 make multiple blocks in one file work
8c16a94be4 implement type inference for literals
Compare 2 commits »
notafile pushed to main at notafile/futilehdl 2022-02-21 12:04:10 +00:00
f03c777e28 fixup rtlil identifiers
notafile pushed to main at notafile/futilehdl 2022-02-20 21:45:03 +00:00
1de0846f96 fix rtlil generation
notafile pushed to main at notafile/futilehdl 2022-02-20 19:12:58 +00:00
c0f6b5c4be make type inference work-ish
notafile pushed to main at notafile/futilehdl 2022-02-20 17:26:17 +00:00
cce8a3bde4 add type comparison function
b890c0594d add first steps toward generic type inference
Compare 2 commits »
notafile pushed to main at notafile/futilehdl 2022-02-18 11:59:59 +00:00
270713b3f9 more typechecking af callables
notafile pushed to main at notafile/futilehdl 2022-02-16 21:17:31 +00:00
cf1a5c1c3b add back function type resolving
3f08a838d2 switch callable to interning too
Compare 2 commits »
notafile pushed to main at notafile/futilehdl 2022-02-16 15:37:21 +00:00
853021e4f8 add simple const generic eval
notafile pushed to main at notafile/futilehdl 2022-02-15 22:56:57 +00:00
0daa49874e add pretty printing for typed IR
faa7a06aa2 add labels to todos
Compare 2 commits »