Code

release: sync with internal Picus#66

Code

Merged

sorawee merged 56 commits intoVeridise:mainVeridise/Picus:mainfrom sorawee:24-03-08-release-picussorawee/Picus:24-03-08-release-picusCopy head branch name to clipboardMar 13, 2024

+3,458-2,108

Commits

Commits on Mar 8, 2024

• docker: use path context

  sorawee

  committed
  3b2ceb0

  Copy full SHA for 3b2ceb0

• docker: bump Circom version to 2.1.6

  sorawee

  committed
  c69f570

  Copy full SHA for c69f570

• docker: fix username and password

  sorawee

  committed
  707e145

  Copy full SHA for 707e145

• chore: ignore .venv dir

  sorawee

  committed
  b792258

  Copy full SHA for b792258

• logging: strip ANSI code

  sorawee

  committed
  2e45021

  Copy full SHA for 2e45021

• Add initial empty CHANGELOG.md

  

  mkonstant

  authored and

  sorawee

  committed
  1f91e24

  Copy full SHA for 1f91e24

• Setup pre-release files

  sorawee

  committed
  a2c861b

  Copy full SHA for a2c861b

• Setup release files

  sorawee

  committed
  c466c18

  Copy full SHA for c466c18

• changelog: remove changes that are not interesting to public

  sorawee

  committed
  980be53

  Copy full SHA for 980be53

• fix: fix the format of accounting logging

  sorawee

  committed
  ec756aa

  Copy full SHA for ec756aa

• Create v1.0.1 release (Veridise#13)

  

  NikosChondros

  authored and

  sorawee

  committed
  f297270

  Copy full SHA for f297270

• logging: fix ansi code stripping

  sorawee

  committed
  759fdf5

  Copy full SHA for 759fdf5

• Create release v1.0.2 (Veridise#15)

  Show description for e2166fc
  

  shankarapailoor

  and

  sorawee

  committed
  e2166fc

  Copy full SHA for e2166fc

• logging: omit excessive logging

  sorawee

  committed
  8d03ebb

  Copy full SHA for 8d03ebb

• cnst gen: always generate full xvec and yvec (Veridise#17)

  Show description for ce60c0a
  sorawee

  committed
  ce60c0a

  Copy full SHA for ce60c0a

• chore: more refactoring for the framework (Veridise#18)

  sorawee

  committed
  9217434

  Copy full SHA for 9217434

• chore: refactor constraints

  sorawee

  committed
  6c0b20f

  Copy full SHA for 6c0b20f

• chore: refactor selector to use Racket class/object system (Veridise#20)

  sorawee

  committed
  c60952c

  Copy full SHA for c60952c

• chore: refactor solver interfaces to use Racket class/object system (Veridise#21)

  sorawee

  committed
  f626671

  Copy full SHA for f626671

• chore: refactored the inclusion of definitions related to the prime. (Veridise#22)

  Show description for 447236d
  sorawee

  committed
  447236d

  Copy full SHA for 447236d

• chore: refactor subp-optimizers (Veridise#23)

  sorawee

  committed
  eeb057a

  Copy full SHA for eeb057a

• chore: refactor encoder

  sorawee

  committed
  b98b9a7

  Copy full SHA for b98b9a7

• cvc5: use mainline cvc5 (Veridise#25)

  sorawee

  committed
  981dc9d

  Copy full SHA for 981dc9d

• logging: log inferred known vars (Veridise#27)

  Show description for 7f44ecb
  sorawee

  committed
  7f44ecb

  Copy full SHA for 7f44ecb

• test: remove redundant tests (Veridise#28)

  sorawee

  committed
  3037d3e

  Copy full SHA for 3037d3e

• feat: add a way to override solver's executable (Veridise#29)

  sorawee

  committed
  214add1

  Copy full SHA for 214add1

• feat: support JSON file output

  sorawee

  committed
  a732cfd

  Copy full SHA for a732cfd

• readme: update cvc5 installation guide

  sorawee

  committed
  0cb533e

  Copy full SHA for 0cb533e

• docker: add an image to build custom circom for modular Picus

  sorawee

  committed
  440fab5

  Copy full SHA for 440fab5

• docker: support cvc5-ff-range

  sorawee

  committed
  1456011

  Copy full SHA for 1456011

• ci: add a filename extension so that GHA workflow can be run

  sorawee

  committed
  10afdc7

  Copy full SHA for 10afdc7

• fix: make default log-level agree with README and fix discrepancies in

  Show description for cc1155a
  sorawee

  committed
  cc1155a

  Copy full SHA for cc1155a

• refactor: make reader more modular in preparation for gnark support

  sorawee

  committed
  85196f3

  Copy full SHA for 85196f3

• feat: add gnark support

  sorawee

  committed
  b17fa30

  Copy full SHA for b17fa30

• bench: add gnark-plonky2-verifier benchmark (Veridise#37)

  sorawee

  committed
  ff2bde0

  Copy full SHA for ff2bde0

• gnark: revamp the gnark support (Veridise#38)

  Show description for f8e9ab5
  sorawee

  committed
  f8e9ab5

  Copy full SHA for f8e9ab5

• fix: correct the sr1cs constraints (Veridise#39)

  sorawee

  committed
  e045cde

  Copy full SHA for e045cde

• fix: update readme and command line help

  sorawee

  committed
  a003a58

  Copy full SHA for a003a58

• ci: workflow reorganization (Veridise#41)

  sorawee

  committed
  2e265b4

  Copy full SHA for 2e265b4

• test: create a testing library (Veridise#42)

  sorawee

  committed
  bf4a7c7

  Copy full SHA for bf4a7c7

• feat: log inferred known variable count (Veridise#43)

  sorawee

  committed
  c3ace5b

  Copy full SHA for c3ace5b

• fix: avoid unnecessary bytes copy

  sorawee

  committed
  d0f42ad

  Copy full SHA for d0f42ad

• refactor: hoist range inference so that it's run only once

  sorawee

  committed
  cff473e

  Copy full SHA for cff473e

• fix: fix performance issue in the inference

  sorawee

  committed
  6a7c268

  Copy full SHA for 6a7c268

• ci: make adjustments to improve ci

  sorawee

  committed
  ed8e6da

  Copy full SHA for ed8e6da

• ci: unify configuration tests

  sorawee

  committed
  4ed9455

  Copy full SHA for 4ed9455

• ci: make main test extensible via reusable workflow

  sorawee

  committed
  0768b48

  Copy full SHA for 0768b48

• fix: fix performance in basis2 lemma

  sorawee

  committed
  a535a24

  Copy full SHA for a535a24

• core: change the variable representation

  sorawee

  committed
  1c304a6

  Copy full SHA for 1c304a6

• ci: add an ability to run only quick tests

  sorawee

  committed
  59ceea8

  Copy full SHA for 59ceea8

• test: record more information on test failure

  sorawee

  committed
  97c386b

  Copy full SHA for 97c386b

• test: add a complete test suite (but do not run them on GHA)

  sorawee

  committed
  b7bdf1a

  Copy full SHA for b7bdf1a

• gnark: infer num-wires from sr1cs

  sorawee

  committed
  d5ac6b2

  Copy full SHA for d5ac6b2

• gnark: update the format to reflect changes in picus_gnark

  sorawee

  committed
  3e222f2

  Copy full SHA for 3e222f2

Commits on Mar 11, 2024

• readme: update readme for public release and make Picus a Racket package

  sorawee

  committed
  22d454d

  Copy full SHA for 22d454d

• release: make a new release

  sorawee

  committed
  ace287f

  Copy full SHA for ace287f