mbenke hm-typecheck issues - Githubissues

mbenke / hm-typecheck

Experimental typechecker for a Solidity intermediate language

3 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Miscompilation of examples/mona/03join.fun to Yul

#5 mbenke closed 4 months ago
1
Specialisation ignores mutual blocks

#4 mbenke opened 4 months ago
0
Fix core generation for functions not in eta-long form

#3 mbenke closed 4 months ago
2
Typechecking annotates some variables incorrectly

#2 mbenke closed 4 months ago
0
Add nix flake

#1 d-xo closed 4 months ago
0