Commit Graph

3 Commits (fix/signextend)

Author SHA1 Message Date
Nikhil Parasaram 3e167282e7
Bugfix calls (#1288) 5 years ago
Nikhil Parasaram eeeb9bf639
Move constraints to world state (#1276) 5 years ago
Nikhil Parasaram c55af2a5a0
Implement static call (#991) 5 years ago