github/circomspect
1
1
Fork 0
mirror of https://github.com/trailofbits/circomspect.git synced 2026-01-10 14:27:55 -05:00
Code Issues Packages Projects Releases Wiki Activity
330 Commits 6 Branches 8 Tags
main
Commit Graph

27 Commits

Author SHA1 Message Date
Fredrik Dahlgren
cb35785382 Bumped versions 2023-03-21 10:29:41 +01:00
Fredrik Dahlgren
23c1e1e85e Bumped versions 2022-12-28 14:00:38 +01:00
Fredrik Dahlgren
717861e3ac Renamed VariableName helper method 2022-12-25 16:35:34 +01:00
Fredrik Dahlgren
27dcd1d4c5 Fixed Clippy lints 2022-11-29 14:38:14 +01:00
Fredrik Dahlgren
0ddc3c68d7 Added loop-depth tracking to BasicBlock 2022-11-29 14:32:34 +01:00
Fredrik Dahlgren
adde91f1e3 Bumped versions 2022-09-13 10:31:25 +02:00
Fredrik Dahlgren
27e6311a61 Bumped versions 2022-09-13 09:22:33 +02:00
Fredrik Dahlgren
3cdd3c3fc5 Update to support Circom 2.0.8 2022-09-12 21:59:23 +02:00
Fredrik Dahlgren
1e5a4a6a25 Bumped circomspect-program-structure version 2022-09-12 13:51:01 +02:00
Fredrik Dahlgren
efcf008341 Fixed test failures due to renaming 2022-09-12 11:26:01 +02:00
Fredrik Dahlgren
92a73d7816 Renamed internal crates to avoid crates.io namespace collisions 2022-09-12 11:15:37 +02:00
Fredrik Dahlgren
27dd74dae5 Added version information for internal crates to Cargo.toml 2022-09-12 11:02:39 +02:00
Fredrik Dahlgren
3cc44f4560 Added ReportWriter 
This change also adds the verbose output options to the CLI.
 2022-09-12 09:22:15 +02:00
Fredrik Dahlgren
06e4c0b363 Ran cargo fmt 2022-09-02 16:40:50 +02:00
Fredrik Dahlgren
0cc6e1ba74 Bug fix in CFG generation 
The conversion to unique variable names contained an error where we failed to convert variable names occurring in variable accesses.
 2022-09-02 16:38:15 +02:00
Fredrik Dahlgren
149f64282d Switched rustfmt to more sensible defaults 2022-09-02 14:08:50 +02:00
Fredrik Dahlgren
4fed2c5078 Fixed clippy lints 2022-09-01 15:09:46 +02:00
Fredrik Dahlgren
3cac2d7695 Added get_true_branch and get_false_branch to Cfg 2022-08-31 11:31:34 +02:00
Fredrik Dahlgren
7315d9dd3a Ran cargo fmt 2022-08-25 10:38:18 +02:00
Fredrik Dahlgren
6a362c39c4 Renamed VariableUse methods 2022-08-25 09:52:42 +02:00
Fredrik Dahlgren
5da6379824 Added Access and Update expression nodes to IR 2022-08-24 11:06:42 +02:00
Fredrik Dahlgren
143dfd69be Updated VariableMeta to take accesses into account 2022-07-31 22:11:56 +02:00
Fredrik Dahlgren
a277368896 Changed Cfg::into_ssa to return self 2022-07-02 09:40:45 +02:00
Fredrik Dahlgren
97e243d91b Don't version arrays. 2022-07-01 12:13:08 +02:00
Fredrik Dahlgren
a9ccef75da Removed Declaration enum variant from IR. 
Declarations are now tracked by the CFG header. The set of declared variables is obtained by calling `Cfg::get_variables()`, and the declaration for variable `v` can be obtained by calling `Cfg::get_declaration(v)`.
 2022-05-27 14:33:10 +02:00
Fredrik Dahlgren
bd872ea92a Cargo fmt. 2022-05-27 09:41:22 +02:00
Fredrik Dahlgren
1523a522d3 Added integration tests for CFG and SSA generation. 2022-05-27 09:20:39 +02:00