Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Add switch for command line & test.sh to skip smt
#11873
opened Aug 31, 2021 by
soroosh-sdi
•
Changes requested
Allow and require use-src to be repeated for each object.
#11869
opened Aug 31, 2021 by
chriseth
•
Review required
Add protection against mixing "viaIR" and "non-viaIR".
#11864
opened Aug 31, 2021 by
chriseth
•
Review required
[SMTChecker] Support
value
in CHC for external function calls
#11861
opened Aug 30, 2021 by
leonardoalt
•
Approved
Disallow delete on types containing nested mappings.
#11843
opened Aug 25, 2021 by
Marenz
•
Review required
[BREAKING] Revert commit and Make basfee as a reserved identifier in 0.9.0
#11842
opened Aug 25, 2021 by
v-sreekesh
•
Review required
Removes support for old OS versions in install_deps.sh and adds support for new ones...
#11808
opened Aug 16, 2021 by
Zachinquarantine
•
Review required
Separate control flow from error reporting in command line parser
#11800
opened Aug 15, 2021 by
spiyer99
•
Changes requested
Tune optimizer: run expression simplifier more often.
#11794
opened Aug 12, 2021 by
chriseth
•
Review required
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.