Mayeul@Zama 860c96ef46 refactor(optimizer): remove restart_at ...

fix new clippy lints

2022-09-19 15:10:52 +02:00

..

benches

feat(pareto): add benchmark for pareto computation

2022-06-27 15:38:30 +02:00

src

refactor(optimizer): remove restart_at

2022-09-19 15:10:52 +02:00

Cargo.toml

feat: adding a persistent cache for decompositions per macro parameters

2022-09-16 12:29:18 +02:00