8000 Commits · costa-group/circom_civer · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Feb 8, 2024

Solving issue detected by Sorawee Porncharoenwase: adding missing module operator in deduction rule homologues (applied in weak-safety verification)
clararod9
committed

Commits on Dec 19, 2023

Update civer.md
alrubio
authored

Commits on Dec 11, 2023

Commits on Dec 7, 2023

CIVER

Miguel Isabel Márquez
authored and
Miguel Isabel Márquez
committed
civer

Miguel Isabel Márquez
authored and
Miguel Isabel Márquez
committed

Commits on Dec 5, 2023

improving output
clararod9
committed

Commits on Dec 4, 2023

first version CIVER
clararod9
committed

Commits on Nov 28, 2023

solving bug: error when processing sizes of arrays of variables in functions, panic in merger when processing complex expressions
clararod9
committed

Commits on Nov 14, 2023

Commits on Oct 21, 2023

solving bug in c++ code generation when assigning input of size 0 last
clararod9
committed

Commits on Sep 18, 2023

Commits on Sep 15, 2023

Commits on Sep 14, 2023

Commits on Jul 6, 2023

Merge pull request #197 from grgustaf/fix-typos
miguelis
authored

0