schaeff 64b8693f91 Merge branch 'develop' of github.com:Zokrates/ZoKrates into zokrates-nova		2023-02-14 14:52:00 +01:00
..
examples	update book, merge develop and merge conflicts	2023-01-30 15:27:17 +01:00
src	Merge branch 'develop' of github.com:Zokrates/ZoKrates into zokrates-nova	2023-02-14 14:52:00 +01:00
tests	Use foundry for integration tests (#1266)	2023-01-30 17:50:20 +01:00
Cargo.toml	upgrade nova, fix conflicts	2023-02-06 14:29:05 +01:00