Skip to content

/ solidity Public

New pull request New
58 Open 6,895 Closed
58 Open 6,895 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
User defined value types: moved a syntax test to semantic test.
#11914 opened Sep 9, 2021 by hrkrshnn • Approved
More generic source location parsing + more errors
#11913 opened Sep 8, 2021 by cameel • Review required
@cameel
6
Template code for disallowing options in input modes that do not support them (handles --error-recovery)
#11909 opened Sep 7, 2021 by Midhun07 • Changes requested
10
[SMTChecker] Fix BMCs constraints on internal functions
#11906 opened Sep 6, 2021 by leonardoalt • Review required
1
5
Print @ast-id
#11903 opened Sep 6, 2021 by chriseth • Draft
1
Simplifying CircleCi Config: Job aliases
#11896 opened Sep 4, 2021 by yatharthagoenka
3
Do not run evm codegen if not asked.
#11895 opened Sep 3, 2021 by ekpyron • Review required
10
Properly detect multiple licenses and validate them.
#11888 opened Sep 2, 2021 by Marenz • Review required
1
28
[SMTChecker] Fix ICE on unique error reporting
#11887 opened Sep 2, 2021 by leonardoalt • Approved
1
30
Add switch for command line & test.sh to skip smt
#11873 opened Aug 31, 2021 by soroosh-sdi • Changes requested
40
Solidity snippets next to source locations in IR
#11867 opened Aug 31, 2021 by cameel
2 tasks done
@cameel
33
Add protection against mixing "viaIR" and "non-viaIR".
#11864 opened Aug 31, 2021 by chriseth • Review required
8
--include-path option
#11848 opened Aug 26, 2021 by cameel • Draft
@cameel
6
Disallow delete on types containing nested mappings.
#11843 opened Aug 25, 2021 by Marenz • Approved
29
[BREAKING] Revert commit and Make basfee as a reserved identifier in 0.9.0
#11842 opened Aug 25, 2021 by v-sreekesh • Review required
21
Enable more pylint checks
#11833 opened Aug 23, 2021 by cameel • Draft
@cameel
1
Nested brackets in optimizer
#11830 opened Aug 22, 2021 by v-sreekesh • Draft
1
14
Add abijson test for fixed point types.
#11825 opened Aug 19, 2021 by chriseth • Review required
New Code Transform: Add optimizer setting for fuzzing.
#11815 opened Aug 18, 2021 by ekpyron • Draft
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
5
[WIP] Add support for importing asm-json.
#11807 opened Aug 16, 2021 by aarlt • Draft
6 of 9 tasks
54
Add fuzzer test harness
#11802 opened Aug 16, 2021 by bshastry • Draft
7
Separate control flow from error reporting in command line parser
#11800 opened Aug 15, 2021 by spiyer99 • Changes requested
1
8
Optimized EVM Code Transform. (New Code Transform Step 3)
#11797 opened Aug 12, 2021 by ekpyron • Review required
29
Tune optimizer: run expression simplifier more often.
#11794 opened Aug 12, 2021 by chriseth • Review required
8
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.