Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / trailofbits/circomspect issues and pull requests
#24 - WASM build
Pull Request -
State: open - Opened by numtel 4 months ago
- 3 comments
#23 - Updated clap dependency to 0.4
Pull Request -
State: closed - Opened by fegge 7 months ago
#22 - Linter fixes
Pull Request -
State: closed - Opened by fegge 7 months ago
#21 - add library search functionality
Pull Request -
State: closed - Opened by incertia 10 months ago
#20 - Introduced pub access-modifier for include_loggic module to expose FileStack from outside the library.
Pull Request -
State: open - Opened by Gratla about 1 year ago
- 1 comment
#19 - The `signal-assignment` analysis pass should not emit warnings for constrained signals
Issue -
State: open - Opened by fegge about 1 year ago
#18 - The `unconstrained-less-than` analysis pass does not check if the input is constant
Issue -
State: open - Opened by fegge about 1 year ago
#17 - Introduced pub access-modifier for parse_file to expose AST
Pull Request -
State: closed - Opened by Gratla about 1 year ago
- 1 comment
#16 - Bump rustix from 0.36.11 to 0.36.16
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#16 - Bump rustix from 0.36.11 to 0.36.16
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#15 - Add CODEOWNERS file
Pull Request -
State: closed - Opened by artemdinaburg almost 2 years ago
#14 - Fixed dependencies flagged by cargo-audit
Pull Request -
State: closed - Opened by fegge almost 2 years ago
#13 - Add analysis context to allow for inter-procedural analysis
Pull Request -
State: closed - Opened by fegge about 2 years ago
#12 - [DRAFT] Non-Boolean conditional pass
Pull Request -
State: open - Opened by tob-joe about 2 years ago
- 1 comment
#11 - Version 0.8.0
Pull Request -
State: closed - Opened by fegge about 2 years ago
#10 - Reorder cyclomatic complexity calculation
Pull Request -
State: closed - Opened by tjade273 about 2 years ago
- 1 comment
#9 - installation: cargo install fails
Issue -
State: closed - Opened by sigridjineth about 2 years ago
- 3 comments
#8 - Version 0.7.2
Pull Request -
State: closed - Opened by fegge about 2 years ago
#7 - Fix under-constrained signals warning message
Pull Request -
State: closed - Opened by fegge about 2 years ago
#6 - Version 0.7.0
Pull Request -
State: closed - Opened by fegge about 2 years ago
#5 - Circomspect doesn't recognize the syntax of a valid circom file.
Issue -
State: closed - Opened by ytrezq about 2 years ago
- 6 comments
#4 - New analysis passes
Pull Request -
State: closed - Opened by fegge about 2 years ago
#3 - Add rule names to the Sarif report
Pull Request -
State: closed - Opened by fcasal over 2 years ago
- 1 comment
#2 - Sarif quality-of-life
Pull Request -
State: closed - Opened by fcasal over 2 years ago
#1 - Bump regex from 1.5.4 to 1.5.5
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies