Commit Graph

Select branches

Hide Pull Requests

basis2-fix

main

#1

#10

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#4

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#57

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#67

#68

#68

#69

#69

#7

#8

#9

Mono Color

• 138b151d3a release: make a new release main Sorawee Porncharoenwase 2024-03-11 23:58:07 +07:00
• 771bb34f65 readme: update readme for public release and make Picus a Racket package Sorawee Porncharoenwase 2024-03-11 05:18:02 +07:00
• 0cbeedfe08 gnark: update the format to reflect changes in picus_gnark Sorawee Porncharoenwase 2024-03-08 17:16:28 +07:00
• 4966f65687 gnark: infer num-wires from sr1cs Sorawee Porncharoenwase 2024-02-28 14:08:39 -08:00
• e0b56b4919 test: add a complete test suite (but do not run them on GHA) Sorawee Porncharoenwase 2024-02-05 11:59:08 -08:00
• 8b7e9211c1 test: record more information on test failure Sorawee Porncharoenwase 2024-02-19 11:40:57 -08:00
• 5193fe4afd ci: add an ability to run only quick tests Sorawee Porncharoenwase 2024-02-18 21:36:33 -08:00
• d96a1e0e52 core: change the variable representation Sorawee Porncharoenwase 2024-02-16 10:21:40 -08:00
• 23dcab4798 fix: fix performance in basis2 lemma Sorawee Porncharoenwase 2024-02-09 09:31:31 -08:00
• 8370390286 ci: make main test extensible via reusable workflow Sorawee Porncharoenwase 2024-02-05 20:09:26 -08:00
• 9e5547f765 ci: unify configuration tests Sorawee Porncharoenwase 2024-02-05 14:27:09 -08:00
• 154ee76357 ci: make adjustments to improve ci Sorawee Porncharoenwase 2024-02-05 11:27:21 -08:00
• b4b2e265eb fix: fix performance issue in the inference Sorawee Porncharoenwase 2024-02-04 23:12:01 -08:00
• cfb4a1b42a refactor: hoist range inference so that it's run only once Sorawee Porncharoenwase 2024-02-04 14:34:49 -08:00
• 523ce52abc fix: avoid unnecessary bytes copy Sorawee Porncharoenwase 2024-02-03 16:29:35 -08:00
• 4d7e42cf50 feat: log inferred known variable count (#43) sorawee 2024-02-01 15:36:58 -08:00
• 397deebf34 test: create a testing library (#42) sorawee 2024-02-01 15:36:48 -08:00
• c05025a3e6 ci: workflow reorganization (#41) sorawee 2024-02-01 15:31:39 -08:00
• 13e0b1c3c7 fix: update readme and command line help Sorawee Porncharoenwase 2024-01-31 12:17:38 -08:00
• c5a43b1cda fix: correct the sr1cs constraints (#39) sorawee 2024-01-31 12:25:42 -08:00
• f0026ede99 gnark: revamp the gnark support (#38) sorawee 2024-01-31 11:35:41 -08:00
• fbd1861923 bench: add gnark-plonky2-verifier benchmark (#37) sorawee 2024-01-29 07:01:10 -08:00
• 5220887790 feat: add gnark support Sorawee Porncharoenwase 2024-01-28 16:23:30 -08:00
• a35578f069 refactor: make reader more modular in preparation for gnark support Sorawee Porncharoenwase 2024-01-28 15:12:35 -08:00
• 127e297ce8 fix: make default log-level agree with README and fix discrepancies in command-line help Sorawee Porncharoenwase 2023-12-22 18:22:42 -08:00
• 5233b9564e ci: add a filename extension so that GHA workflow can be run Sorawee Porncharoenwase 2024-01-10 19:02:52 -08:00
• d3c8a24efc docker: support cvc5-ff-range Sorawee Porncharoenwase 2023-12-29 12:12:53 -08:00
• 1027ba095c docker: add an image to build custom circom for modular Picus Sorawee Porncharoenwase 2023-12-26 14:06:48 -08:00
• 091d078841 readme: update cvc5 installation guide Sorawee Porncharoenwase 2023-11-21 15:12:35 -08:00
• bfae7be963 feat: support JSON file output Sorawee Porncharoenwase 2023-12-22 17:57:36 -08:00
• 1083652e5e feat: add a way to override solver's executable (#29) sorawee 2023-12-11 09:03:03 -08:00
• 3fb7584d39 test: remove redundant tests (#28) sorawee 2023-12-04 12:25:34 -08:00
• 4ca32962a3 logging: log inferred known vars (#27) sorawee 2023-12-01 12:32:33 -08:00
• d88a659052 cvc5: use mainline cvc5 (#25) sorawee 2023-11-21 15:00:16 -08:00
• 783b4e538f chore: refactor encoder Sorawee Porncharoenwase 2023-11-18 12:32:42 -08:00
• e488bd83da chore: refactor subp-optimizers (#23) sorawee 2023-11-20 09:02:45 -08:00
• 26a02230d3 chore: refactored the inclusion of definitions related to the prime. (#22) sorawee 2023-11-17 12:01:48 -08:00
• 65d817a134 chore: refactor solver interfaces to use Racket class/object system (#21) sorawee 2023-11-15 09:20:32 -08:00
• 3c246d728e chore: refactor selector to use Racket class/object system (#20) sorawee 2023-11-15 09:05:14 -08:00
• ec6b6842cc chore: refactor constraints Sorawee Porncharoenwase 2023-11-14 12:44:20 -08:00
• c6b8fe099f chore: more refactoring for the framework (#18) sorawee 2023-11-14 12:48:56 -08:00
• d588d87f39 cnst gen: always generate full xvec and yvec (#17) sorawee 2023-11-10 14:56:10 -08:00
• 3b012049d8 logging: omit excessive logging Sorawee Porncharoenwase 2023-11-10 03:58:07 -08:00
• 37c2e9c76f Create release v1.0.2 (#15) shankarapailoor 2023-11-02 13:56:32 -05:00
• 7d2c7dbeb8 logging: fix ansi code stripping Sorawee Porncharoenwase 2023-11-02 09:38:12 -07:00
• 784da6b12a Create v1.0.1 release (#13) Nikos Chondros 2023-11-01 13:48:01 +02:00
• f72939fced fix: fix the format of accounting logging Sorawee Porncharoenwase 2023-10-30 08:29:50 -05:00
• 2e92d671b4 changelog: remove changes that are not interesting to public Sorawee Porncharoenwase 2023-10-26 15:12:50 +01:00
• b124afe394 Setup release files sorawee 2023-10-26 14:01:56 +00:00
• ca0b12db2e Setup pre-release files sorawee 2023-10-26 04:41:47 +00:00
• d788ca2cd1 Add initial empty CHANGELOG.md mkonstant 2023-10-25 21:19:39 +03:00
• 3f182e795f logging: strip ANSI code Sorawee Porncharoenwase 2023-10-22 17:50:18 +07:00
• a8e86d6925 chore: ignore .venv dir Sorawee Porncharoenwase 2023-10-22 00:21:55 +07:00
• 1bb80a054e docker: fix username and password Sorawee Porncharoenwase 2023-10-21 17:24:29 +07:00
• c1712a589a docker: bump Circom version to 2.1.6 Sorawee Porncharoenwase 2023-10-21 16:07:49 +07:00
• 17e24e47d9 docker: use path context Sorawee Porncharoenwase 2023-10-21 11:11:03 +07:00
• 09dd87c292 add diffing for other Sorawee Porncharoenwase 2023-10-19 06:07:37 +07:00
• c18ff46080 ci: only build Docker in the private repo Sorawee Porncharoenwase 2023-10-19 21:19:17 +07:00
• 695acd8cb6 logging: more debugging info for linear lemma (#62) sorawee 2023-10-19 21:21:30 +07:00
• e68c42d0a3 logging: use a more detailed name (#60) sorawee 2023-10-17 18:39:57 +07:00
• 3696b54d4e feat: add accounting logging (#61) sorawee 2023-10-17 18:39:24 +07:00
• ac5abf12ef docker: do not copy benchmarks dir (#59) sorawee 2023-10-16 21:20:03 +07:00
• 976a14d122 ci: only run amd64 for now Sorawee Porncharoenwase 2023-10-12 01:51:57 +07:00
• e2c83319db feat: add a new exit code for unknown (#54) sorawee 2023-10-11 21:31:14 +07:00
• e14e06d3cd fix: make run-picus locate the Racket file correctly (#57) sorawee 2023-10-11 21:03:13 +07:00
• 10109dbbe2 docker: build compiled files (#56) sorawee 2023-10-11 21:02:35 +07:00
• 2fbe7bb823 ci: add a workflow to build the base image (#55) sorawee 2023-10-11 21:01:58 +07:00
• 10bbc38526 feat: add a main script run-picus (#53) sorawee 2023-10-10 21:28:56 +07:00
• 4ee45bc00a feat: support wtns generation Sorawee Porncharoenwase 2023-10-04 17:27:04 +07:00
• 40816c5706 feat: fetch some envvars + relativize logged path Sorawee Porncharoenwase 2023-10-06 10:04:33 +07:00
• cb8d3578b5 ci: also build a linux/arm64 image (#51) sorawee 2023-10-06 22:39:34 +07:00
• 9f57b52a46 fix: add a missing argument to circom comp error case Sorawee Porncharoenwase 2023-10-06 00:41:47 +07:00
• 3a801645ba feat: switch Picus to use the SaaS framework (#47) sorawee 2023-10-03 22:44:26 +07:00
• 0e008000ea feat: framework for SaaS (#45) sorawee 2023-10-03 20:05:13 +07:00
• a30b903495 Docker: update required software (#46) sorawee 2023-10-03 19:15:03 +07:00
• 73c547cfa8 Do not show Circom's output in --verbose 0 (#44) sorawee 2023-09-29 21:11:13 +07:00
• 9c8310c375 ci: unify configuration tests (#43) sorawee 2023-09-29 00:07:32 +07:00
• aa3ca122cf ci: parallelize tests on GHA (#42) sorawee 2023-09-28 09:05:54 +07:00
• d56518c751 Make cvc5 default Sorawee Porncharoenwase 2023-09-28 08:12:47 +07:00
• 8432a9bfb6 Make --weak the default (#40) sorawee 2023-09-28 08:22:33 +07:00
• 0da4653001 ci: additionally check that Picus terminates properly Sorawee Porncharoenwase 2023-09-26 06:58:46 +07:00
• eb2e8cda80 chore: adjust behavior of no verbose Sorawee Porncharoenwase 2023-09-26 00:14:06 +07:00
• c612a21a34 fix: only remove tmpdir when tmpdir actually is created (#38) sorawee 2023-09-26 06:53:26 +07:00
• 2bf2874c1a feat: support patching properly (#36) sorawee 2023-09-25 23:59:06 +07:00
• 8a71edc19d chore: put files under picus subdirectory (#35) sorawee 2023-09-22 01:09:05 +07:00
• daa20d1676 Use temporary directory more effectively (#34) sorawee 2023-09-21 11:12:53 +07:00
• 0af4b4dd9b feat: support optimization level for circom compilation Sorawee Porncharoenwase 2023-09-16 02:18:09 +07:00
• 6bc51990c9 feat: support processing circom file directly Sorawee Porncharoenwase 2023-09-16 01:54:30 +07:00
• affb4cc3e8 ci: support timing out and optimization flag (#31) sorawee 2023-09-07 16:57:22 -07:00
• f696a052a2 fix: speed up variable extractions (#32) sorawee 2023-09-07 16:46:05 -07:00
• 2b28e47055 fix: handle interrupt correctly (#30) sorawee 2023-09-01 12:01:15 -07:00
• 0013e5c0ce ci: improve the output Sorawee Porncharoenwase 2023-08-30 17:42:01 -07:00
• 37605c0d76 fix: make printer for query generation more efficient Sorawee Porncharoenwase 2023-08-30 14:20:44 -07:00
• d9ae5ed3d9 fix: make query generation more efficient Sorawee Porncharoenwase 2023-08-30 14:16:05 -07:00
• 4d6e48bcc7 fix: make binary01-lemma more efficient (#22) sorawee 2023-08-30 12:40:35 -07:00
• 8515124cdf fix: make aboz lemma more efficient (#24) sorawee 2023-08-30 12:38:15 -07:00
• 9505e67158 fix: make bim lemma more efficient (#25) sorawee 2023-08-30 12:37:43 -07:00
• 6cbdd78d71 Merge pull request #21 from sorawee/fix-basis2-lemma-efficiency Yanju Chen 2023-08-30 10:52:31 -07:00
• e5c3b09e73 fix: improve performance of basis2-lemma Sorawee Porncharoenwase 2023-08-30 10:13:00 -07:00
• 186d62db39 fix: reimplement linear lemma to make it more efficient (#18) sorawee 2023-08-30 10:03:28 -07:00