Author
Label
Projects
Milestones
Reviews
Assignee
Sort
[CMake] Refactor libsolc linker flag for EXPORTED_FUNCTIONS and make it more readable.
#12749
opened Mar 7, 2022 by
christianparpart
•
Review required
Removed "using namespace util" directive from ASTAnnotations.h #12743
#12745
opened Mar 5, 2022 by
YashAtwal
•
Review required
Adds TriState, min-2-long clause invariant, and SAT solver binary
#12734
opened Mar 2, 2022 by
msooseth
Implement & use markers in existing test framework
#12724
opened Mar 1, 2022 by
Marenz
•
Review required
added commit-hash.txt file under export-subst flag
#12717
opened Feb 25, 2022 by
nishant-sachdeva
•
Draft
Don't set locale used by C++ stdlib to the value from
LC_ALL
env variable even if it's valid
#12716
opened Feb 25, 2022 by
wechman
•
Review required
Generate warning when rational numbers are converted to their mobile type without explicit requests
#12708
opened Feb 22, 2022 by
nishant-sachdeva
•
Changes requested
tweak: update maximum line length
documentation 📖
external contribution ⭐
style guide
#12681
opened Feb 16, 2022 by
devtooligan
•
Draft
fix: corrects _ prefixes
documentation 📖
external contribution ⭐
style guide
#12680
opened Feb 16, 2022 by
devtooligan
•
Review required
tweak: expand definition of suggested collision naming convention
documentation 📖
external contribution ⭐
style guide
#12679
opened Feb 16, 2022 by
devtooligan
•
Draft
Previous Next
ProTip!
Adding no:label will show everything without a label.