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

• 8781efebec add more bit options chyanju 2022-04-23 19:44:49 -07:00
• 63ebdc151d cloud run adjustment chyanju 2022-04-23 19:36:49 -07:00
• 2bf3d90065 fix a component prefix on call argument problem with other nits chyanju 2022-04-23 19:11:18 -07:00
• b82cac8963 support inlinearray assignment and some fixes chyanju 2022-04-23 18:18:41 -07:00
• 09113b9171 support inlineswitch, assert and so on, fix ecne benchmarks chyanju 2022-04-23 13:04:43 -07:00
• 93c93fa166 support function and return chyanju 2022-04-23 00:16:35 -07:00
• 1ea2f156c0 nits chyanju 2022-04-22 23:17:48 -07:00
• 00d9a3432e support ecne@gates.circom benchmarks chyanju 2022-04-22 23:01:00 -07:00
• 13daa1a25e bvudiv -> bvsdiv, and others chyanju 2022-04-22 19:24:02 -07:00
• 44e326193f nits chyanju 2022-04-22 18:47:53 -07:00
• ae22f4a5f1 streamline json & incremental deploy chyanju 2022-04-22 18:20:46 -07:00
• de473e500c small triggers chyanju 2022-04-22 17:44:57 -07:00
• a81c551aae migrate to bv data type with boolector support chyanju 2022-04-22 17:25:12 -07:00
• 60770d7e8f (broken) migrate to bitvector representation chyanju 2022-04-22 03:33:36 -07:00
• 14c056106f support more constructs with minor adjustments on terminals chyanju 2022-04-21 17:53:21 -07:00
• ca4571fd23 refactored grammar and other components chyanju 2022-04-21 16:57:19 -07:00
• c466258236 Create NOTES.md chyanju 2022-04-21 16:02:40 -07:00
• 812948feaf quick push before refactoring push chyanju 2022-04-20 16:00:59 -07:00
• 138ee67f57 update benchmarks chyanju 2022-04-20 14:08:30 -07:00
• fb7186de61 circomlib benchmarks Yu Feng 2022-04-20 00:30:18 -07:00
• 39820dad5b clean up chyanju 2022-04-19 18:40:44 -07:00
• 1e39d2fb43 push-button example for equivalence checking chyanju 2022-04-19 18:35:47 -07:00
• d616fe65a3 nits chyanju 2022-04-19 02:19:49 -07:00
• e809e9a4fa raw prototype for circom vm chyanju 2022-04-19 02:16:17 -07:00
• 7a994d0ac3 rust parser from circom Yu Feng 2022-04-09 00:04:23 -07:00
• 8b804743cc nits chyanju 2022-04-08 09:26:23 -07:00
• 9e4aeca71c clean up chyanju 2022-04-08 05:39:45 -07:00
• f1771eead8 Update README.md chyanju 2022-04-08 04:53:12 -07:00
• 3fbfc16379 equivalence init chyanju 2022-04-08 04:50:34 -07:00
• f1d231847b print more info chyanju 2022-04-08 00:05:01 -07:00
• 60bc7aeaef added reasoning precision option chyanju 2022-04-07 23:56:55 -07:00
• 194549d565 regenerate correct versions of testing r1cs files chyanju 2022-04-07 23:54:29 -07:00
• d4ab3aca60 use new r1cs chyanju 2022-04-07 23:49:33 -07:00
• b4e2e676eb separate ecne's r1cs chyanju 2022-04-07 20:27:59 -07:00
• 9353c92078 Update README.md Yu Feng 2022-04-07 18:35:50 -07:00
• 73870e3a86 circom parser Yu Feng 2022-04-07 18:30:04 -07:00
• dbe11fdc99 added more example r1cs from Ecne chyanju 2022-04-07 17:32:45 -07:00
• ad21e08b37 clean up chyanju 2022-04-07 17:27:30 -07:00
• 380b285999 r1cs utils good to go chyanju 2022-04-07 17:26:29 -07:00
• f442433297 added r1cs->string chyanju 2022-04-07 14:22:12 -07:00
• 618ddacce6 Delete picus/compiled/drracket/errortrace directory Yanju Chen 2022-04-07 13:33:42 -07:00
• d86e336194 Delete test-readbin.rkt~ Yanju Chen 2022-04-07 13:32:55 -07:00
• 8b4cc55ae6 strict r1cs parser chyanju 2022-04-07 13:32:24 -07:00
• d7f5b95c0c init r1cs parser chyanju 2022-04-07 03:02:11 -07:00
• 27a479242c Initial commit Yanju Chen 2022-04-05 22:23:02 -07:00