Christoph Michelbach
|
b066a66331
|
Format code.
|
2021-09-16 16:38:42 +02:00 |
|
dark64
|
3975437fe4
|
improve tests
|
2021-09-16 15:54:03 +02:00 |
|
dark64
|
6fe6821166
|
remove dbg
|
2021-09-15 21:57:40 +02:00 |
|
dark64
|
d2df0c1f91
|
add changelog
|
2021-09-15 21:48:14 +02:00 |
|
dark64
|
11b595ef21
|
implement ternary operator
|
2021-09-15 19:39:01 +02:00 |
|
schaeff
|
6e066f869c
|
keep original declaration type intact and specialize on the fly
|
2021-09-15 12:38:26 +02:00 |
|
Christoph Michelbach
|
6d382fdd2c
|
Reduce the size of the verifier for scheme G16.
|
2021-09-15 10:53:33 +02:00 |
|
Thibaut Schaeffer
|
af704063ca
|
Merge pull request #998 from Zokrates/uint-bugfix
Remove cast to usize causing wrong values in wasm environment
|
2021-09-14 11:32:14 +02:00 |
|
Thibaut Schaeffer
|
2b2ac26759
|
Merge pull request #1005 from Zokrates/fix-invalid-bitwidth
Fix invalid bitwidth set on select index
|
2021-09-14 11:31:50 +02:00 |
|
dark64
|
ec01008165
|
fix invalid bitwidth set on select index
|
2021-09-13 18:49:13 +02:00 |
|
schaeff
|
dbf0574d3b
|
add comments
|
2021-09-13 17:29:35 +02:00 |
|
schaeff
|
c1155888c2
|
update before and after folding
|
2021-09-13 15:54:12 +02:00 |
|
dark64
|
5843cb2377
|
add changelog
|
2021-09-13 00:18:05 +02:00 |
|
dark64
|
dc84b29ee8
|
remove cast to usize causing wrong values in wasm environment
|
2021-09-12 23:59:36 +02:00 |
|
dark64
|
942901c55b
|
make field to uint casting more strict to match runtime behaviour
|
2021-09-12 19:28:34 +02:00 |
|
schaeff
|
187a1e834b
|
refactor for ordered symbols, clean, propagate constants globally to cover constants in function key
|
2021-09-10 23:27:19 +02:00 |
|
Thibaut Schaeffer
|
9db8818fe5
|
Merge pull request #992 from Zokrates/range-docs
Add range semantics to docs
|
2021-09-09 17:21:57 +02:00 |
|
dark64
|
60f9189458
|
add range semantics to docs
|
2021-09-08 15:51:28 +02:00 |
|
schaeff
|
969bd1c015
|
keep module in program during visit
|
2021-09-07 13:50:12 +02:00 |
|
schaeff
|
ece9694d6b
|
clippy
|
2021-09-06 19:46:41 +02:00 |
|
schaeff
|
8f7cf36eec
|
fold module when id is found for constant calls inliner
|
2021-09-06 19:25:29 +02:00 |
|
schaeff
|
5f7c03dde2
|
detect wrong type in reducer (moved over from const inliner)
|
2021-09-06 17:31:00 +02:00 |
|
Thibaut Schaeffer
|
db25d3f159
|
Merge pull request #977 from Zokrates/handle-unconstrained-vars
Graceful handling of unconstrained variable detection
|
2021-09-06 16:47:23 +02:00 |
|
schaeff
|
0e57c59542
|
remove propagation from constant inliner, simplify
|
2021-09-06 16:36:36 +02:00 |
|
dark64
|
7c248fd77d
|
pass prog as reference, fix tests
|
2021-09-06 12:53:08 +02:00 |
|
schaeff
|
97a034cdb9
|
implement imported constants, implement inference on generic structs
|
2021-09-04 23:36:14 +02:00 |
|
Thibaut Schaeffer
|
b18ea01525
|
Merge pull request #987 from Zokrates/fix-empty-spread-propagation
Fix empty spread propagation
|
2021-09-01 00:08:04 +02:00 |
|
schaeff
|
469664b069
|
changelog
|
2021-08-30 18:04:00 +02:00 |
|
schaeff
|
8169e1839a
|
fix rule by using PartialEq<UExpression>
|
2021-08-30 18:01:35 +02:00 |
|
schaeff
|
edc8c015c4
|
add breaking test
|
2021-08-30 18:00:48 +02:00 |
|
dark64
|
34b631b644
|
fix libsnark tests
|
2021-08-30 15:18:15 +02:00 |
|
dark64
|
fce2c9f32c
|
flatten prog struct
|
2021-08-30 15:06:21 +02:00 |
|
Thibaut Schaeffer
|
c6f7bbe4a7
|
Merge pull request #984 from Zokrates/remove-unused-embed
Remove U32ToField
|
2021-08-27 17:29:00 +02:00 |
|
schaeff
|
28b2a28ed3
|
remove U32ToField
|
2021-08-27 16:05:59 +02:00 |
|
schaeff
|
0d3fc27d5e
|
clippy
|
2021-08-27 16:03:38 +02:00 |
|
Thibaut Schaeffer
|
cf9ca9bf72
|
Merge pull request #957 from Zokrates/zir-propagation
Apply propagation in ZIR
|
2021-08-27 15:59:17 +02:00 |
|
schaeff
|
88197a57d6
|
refactor to keep constants until reduction, then try to inline their definitions
|
2021-08-27 15:57:14 +02:00 |
|
dark64
|
18b599696b
|
fix test in semantic checker
|
2021-08-25 18:29:14 +02:00 |
|
dark64
|
5c5410915c
|
add changelog
|
2021-08-25 18:25:55 +02:00 |
|
dark64
|
2a94af6ff0
|
implement type aliasing
|
2021-08-25 18:21:41 +02:00 |
|
dark64
|
53e139da78
|
add changelog
|
2021-08-23 21:47:23 +02:00 |
|
dark64
|
13ebd1e4d7
|
use visitor instead of folding
|
2021-08-23 21:42:09 +02:00 |
|
dark64
|
3235cf4df9
|
fix div by zero test
|
2021-08-23 21:23:44 +02:00 |
|
schaeff
|
300fd08966
|
remove unneeded annotation
|
2021-08-23 19:33:59 +02:00 |
|
dark64
|
b01c477a55
|
merge develop, fix conflicts
|
2021-08-23 15:54:53 +02:00 |
|
dark64
|
b7a035025d
|
add test for unconstrained input
|
2021-08-23 15:51:56 +02:00 |
|
dark64
|
389d7d0a04
|
fix warnings
|
2021-08-23 15:47:28 +02:00 |
|
dark64
|
ed97e815c7
|
refactor flatten_embed_call
|
2021-08-23 15:21:53 +02:00 |
|
schaeff
|
02873b9a78
|
remove comment
|
2021-08-23 13:11:42 +02:00 |
|
schaeff
|
ce158ca5dc
|
add breaking test when propagation is not powerful enough
|
2021-08-23 13:10:23 +02:00 |
|