-
Notifications
You must be signed in to change notification settings - Fork 2
Insights: Consensys/go-corset
Overview
-
- 16 Merged pull requests
- 0 Open pull requests
- 16 Closed issues
- 8 New issues
Could not load contribution data
Please try again later
16 Pull requests merged by 1 person
-
feat: sort perspectives for register allocation
#537 merged
Jan 11, 2025 -
feat: support debug-only constraints
#535 merged
Jan 10, 2025 -
fix: constant in lookup
#533 merged
Jan 10, 2025 -
fix: access qualified aliases from lookup
#531 merged
Jan 10, 2025 -
fix: global access from defun declarations
#530 merged
Jan 10, 2025 -
fix: harden type checking of invocations
#526 merged
Jan 10, 2025 -
fix: for s-expression parser
#524 merged
Jan 10, 2025 -
feat: support let syntax
#522 merged
Jan 10, 2025 -
feat: traverse directories for source files
#519 merged
Jan 9, 2025 -
feat: binary constraints format
#514 merged
Jan 9, 2025 -
feat: update runner to self-hosted xxl instance
#512 merged
Jan 9, 2025 -
feat: chore enable exp and mmu tests
#510 merged
Jan 8, 2025 -
fix: parsing of array accesses
#509 merged
Jan 8, 2025 -
feat: update github runner
#508 merged
Jan 8, 2025 -
feat: support perspective name qualification
#504 merged
Jan 8, 2025 -
feat: support corset perspectives
#500 merged
Jan 7, 2025
16 Issues closed by 1 person
-
feat: sort perspectives for register allocation
#536 closed
Jan 11, 2025 -
fix: handle debug-only constraint
#534 closed
Jan 10, 2025 -
fix: constant in lookup
#532 closed
Jan 10, 2025 -
fix: access qualified aliases from lookup
#529 closed
Jan 10, 2025 -
fix: permit qualified names in `defun`
#528 closed
Jan 10, 2025 -
fix: `FunctionSignature` is not resliant
#525 closed
Jan 10, 2025 -
fix: unexpected end-of-array
#523 closed
Jan 10, 2025 -
feat: support `let` syntax
#521 closed
Jan 10, 2025 -
feat: support compilation templates
#516 closed
Jan 9, 2025 -
feat: binary constraints format
#463 closed
Jan 9, 2025 -
feat: use self-hosted runners
#511 closed
Jan 9, 2025 -
chore: enable `exp` and `mmu` tests
#506 closed
Jan 8, 2025 -
feat: support perspective qualified names within array accesses
#505 closed
Jan 8, 2025 -
Update Action Runners
#507 closed
Jan 8, 2025 -
feat: support perspective name qualification
#501 closed
Jan 8, 2025 -
Support Corset Perspectives
#396 closed
Jan 7, 2025
8 Issues opened by 1 person
-
fix: (re)typing invocations
#527 opened
Jan 10, 2025 -
feat: CLI `version` command
#520 opened
Jan 9, 2025 -
feat: warning for `lispX` files
#518 opened
Jan 9, 2025 -
Compare `zkevm.bin` files
#517 opened
Jan 9, 2025 -
Extend Binary Constraint Format
#515 opened
Jan 9, 2025 -
chore: reorganise `pkg/corset`
#513 opened
Jan 8, 2025 -
chore: split `Path` into `AbsolutePath` and `RelativePath`
#503 opened
Jan 8, 2025 -
feat: support `native` constants
#502 opened
Jan 7, 2025