Thibaut Schaeffer f86172f6a6 Merge pull request #1206 from Zokrates/dead-code-elimination ... Introduce dead code elimination		2022-09-01 15:59:38 +02:00
..
tests	Merge pull request #1206 from Zokrates/dead-code-elimination	2022-09-01 15:59:38 +02:00
integration.rs	create zokrates_core_test crate and move zokrates_core tests there	2019-09-17 12:10:59 +02:00