Skip to content

Pull requests: Consensys/go-corset

New pull request New
Clear current search query, filters, and sorts
0 Open 203 Closed
0 Open 203 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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 Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat: sort perspectives for register allocation
#537 by DavePearce was merged Jan 11, 2025 Loading…
1
feat: support debug-only constraints
#535 by DavePearce was merged Jan 10, 2025 Loading…
1
fix: constant in lookup
#533 by DavePearce was merged Jan 10, 2025 Loading…
1
fix: access qualified aliases from lookup
#531 by DavePearce was merged Jan 10, 2025 Loading…
1
fix: global access from defun declarations
#530 by DavePearce was merged Jan 10, 2025 Loading…
1
fix: harden type checking of invocations
#526 by DavePearce was merged Jan 10, 2025 Loading…
1
fix: for s-expression parser
#524 by DavePearce was merged Jan 10, 2025 Loading…
1
feat: support let syntax
#522 by DavePearce was merged Jan 10, 2025 Loading…
1
feat: traverse directories for source files
#519 by DavePearce was merged Jan 9, 2025 Loading…
1
feat: binary constraints format
#514 by DavePearce was merged Jan 9, 2025 Loading…
1
feat: update runner to self-hosted xxl instance
#512 by DavePearce was merged Jan 9, 2025 Loading…
1
feat: chore enable exp and mmu tests
#510 by DavePearce was merged Jan 8, 2025 Loading…
1
fix: parsing of array accesses
#509 by DavePearce was merged Jan 8, 2025 Loading…
1
feat: update github runner
#508 by DavePearce was merged Jan 8, 2025 Loading…
1
feat: support perspective name qualification
#504 by DavePearce was merged Jan 8, 2025 Loading…
1
feat: support corset perspectives
#500 by DavePearce was merged Jan 7, 2025 Loading…
1
A little test
#497 by DavePearce was closed Dec 22, 2024 Loading…
1
fix: improve errors for substituted for variables
#495 by DavePearce was merged Dec 22, 2024 Loading…
1
feat: improve error reporting around functions
#494 by DavePearce was merged Dec 22, 2024 Loading…
1
fix: resolution from root module
#493 by DavePearce was merged Dec 21, 2024 Loading…
1
feat: add more module tests
#492 by DavePearce was merged Dec 21, 2024 Loading…
1
feat: update shf test
#491 by DavePearce was merged Dec 21, 2024 Loading…
1
fix: constants involving exponents
#489 by DavePearce was merged Dec 21, 2024 Loading…
1
feat: support interval array dimensions
#487 by DavePearce was merged Dec 21, 2024 Loading…
1
feat: support display forms
#485 by DavePearce was merged Dec 21, 2024 Loading…
1
ProTip! Adding no:label will show everything without a label.