Issues
- 0
`Option<[u8]>::none()` panics at SSA
#5429 opened by michaeljklein - 0
- 0
Integer literal overflow/underflow doesn't always error when assigning to explicitly typed variable
#5419 opened by asterite - 0
Audit preparedness: implement unit tests
#5362 opened by michaeljklein - 0
Audit preparedness: test crypto functions
#5427 opened by michaeljklein - 0
Audit preparedness: test binary operations
#5426 opened by michaeljklein - 0
Underconstrained value detector
#5425 opened by Rumata888 - 1
Audit preparedness: assessing key cases
#5361 opened by michaeljklein - 1
- 1
Docs contains dead links
#5407 opened by github-actions - 0
LSP: Support trait rename
#5410 opened by asterite - 0
Let LSP "go to definition" work in path segments
#5405 opened by asterite - 0
LSP rename struct incorrectly renames `self` and `Self`
#5412 opened by asterite - 0
LSP "rename struct" misses a few location
#5394 opened by asterite - 5
- 1
Update links to ec stdlib in docs
#5392 opened by github-actions - 0
Audit preparedness: listing key cases
#5360 opened by michaeljklein - 0
ICE when using a `comptime let` variable in runtime code
#5388 opened by jfecher - 0
Interpreter panics when a name is not defined
#5378 opened by jfecher - 0
LSP "Find all references"
#5393 opened by asterite - 0
Integer literal overflow/underflow doesn't always error
#5372 opened by asterite - 0
LSP go to definition doesn't work from `use` statement
#5389 opened by asterite - 0
LSP: Support struct rename
#5352 opened by TomAFrench - 0
- 0
JS packages failed to publish
#5366 opened by github-actions - 0
Bigint brillig id assignment is static
#5368 opened by sirasistant - 0
Usage of BigInts in the stdlib is inefficient
#5370 opened by sirasistant - 1
Have nargo prove use pre-compiled circuit
#5365 opened by gnull - 0
- 0
Move `recursive` field to `Program` from `Circuit`.
#5364 opened by TomAFrench - 0
LSP: Support global variables rename
#5359 opened by asterite - 0
LSP: Support type (alias) rename
#5358 opened by asterite - 0
Rename stdlib's `bigint` as `altfield`
#5349 opened by Savio-Sou - 0
- 0
- 2
incorrect inference from conditional assertion
#5344 opened by nventuro - 3
0.30.0 Codegen Verifier Contract Not Working
#5337 opened by hooperben - 0
- 0
- 0
Compilation of Aztec contracts using the elaborator doesn't emit note definitions
#5308 opened by TomAFrench - 1
- 0
Convert a `Type` object into a token stream
#5309 opened by jfecher - 0
JS packages failed to publish
#5313 opened by github-actions - 0
- 1
documenting / extending <Prover.toml> support
#5302 opened by skaunov - 1
`nargo fmt` incorrectly formats and breaks imports
#5304 opened by benesjan - 0
Formatter adds extra `<` when formatting a function
#5300 opened by vezenovm - 1
- 3
operator ordering changes number of ACIR opcodes
#5290 opened by zac-williamson - 0
Document stdlib's ECDSA verifications' expectation of `s` to be lower part of curve
#5294 opened by Savio-Sou