Skip to content
This repository was archived by the owner on Feb 17, 2025. It is now read-only.

Releases: NilFoundation/proof-producer

proof-producer-v1.3.2

13 Mar 15:36

Choose a tag to compare

Move columns params from templates to runtime

proof-producer-v1.3.1

19 Feb 17:05

Choose a tag to compare

Add more arithmetization params

proof-producer-v1.2.0

19 Feb 12:40

Choose a tag to compare

Add columns arithmetization param

proof-producer-v1.1.0

19 Feb 09:50

Choose a tag to compare

Save preprocessed common data to file. Temp solution

proof-producer-v1.0.0

19 Feb 07:47

Choose a tag to compare

New actor in proof producer.

proof-producer-v0.2.0

09 Feb 10:40

Choose a tag to compare

Fix CMake configuration in release

proof-producer-v0.1.8

10 Jan 13:11

Choose a tag to compare

Set default Boost version to 1.83.0

proof-producer-v0.1.7

09 Jan 15:55

Choose a tag to compare

Fix testing script for multithreaded generator

proof-producer-v0.1.6

09 Jan 15:46

Choose a tag to compare

CMAKE_INSTALL_PREFIX processing added.

proof-producer-v0.1.5

08 Jan 19:01

Choose a tag to compare

Binaries for symlinks renamed after the interface generalization.