schaeff
|
254fad4cfa
|
update book
|
2021-05-17 20:39:58 +02:00 |
|
schaeff
|
ad4717e67f
|
put behind config flag
|
2021-05-17 10:34:37 +02:00 |
|
schaeff
|
09b1e52608
|
implement blocks for all types, add breaking example for edge case
|
2021-05-16 23:03:05 +02:00 |
|
schaeff
|
a1a65378a7
|
introduce block into ast and implement isolation on that
|
2021-05-16 19:16:25 +02:00 |
|
Thibaut Schaeffer
|
3142bebdba
|
Merge pull request #848 from Zokrates/add-uint-to-abi-doc
Add uint to abi doc
|
2021-05-05 16:24:51 +02:00 |
|
Thibaut Schaeffer
|
401a77bdbe
|
Merge pull request #846 from Zokrates/fix-struct-member-type-mismatch
Fix struct member type mismatch crash
|
2021-05-05 16:24:27 +02:00 |
|
schaeff
|
6f6a8a64f1
|
change abi example, add uint comment
|
2021-05-05 11:24:54 +02:00 |
|
schaeff
|
1c2977ec26
|
add comment
|
2021-05-04 19:00:18 +02:00 |
|
schaeff
|
7ee9aed579
|
add tests, changelog
|
2021-05-04 18:57:00 +02:00 |
|
schaeff
|
8652241b12
|
fix nested struct flattening, derive debug
|
2021-05-04 15:47:01 +02:00 |
|
schaeff
|
0e56ff7c57
|
bump versions, generate changelog
|
2021-04-30 11:34:00 +02:00 |
|
Thibaut Schaeffer
|
8b02ca03c9
|
Merge pull request #834 from Zokrates/fix-repeat-inference
Fix integer inference on repeat operator
|
2021-04-30 11:28:04 +02:00 |
|
Thibaut Schaeffer
|
0d804fa6a6
|
Merge pull request #792 from Zokrates/constant-def
Introduce constant definitions
|
2021-04-30 11:11:31 +02:00 |
|
Thibaut Schaeffer
|
4f17446e3d
|
Merge pull request #761 from Zokrates/constant-range-check
Constant range check
|
2021-04-29 20:14:24 +02:00 |
|
schaeff
|
3fa3f3978b
|
fix type of repeat after inference
|
2021-04-26 18:58:01 +02:00 |
|
dark64
|
ae7e095cac
|
refactoring, fix constant aliasing
|
2021-04-26 13:16:25 +02:00 |
|
Thibaut Schaeffer
|
50d51df905
|
Merge pull request #829 from Zokrates/panic-hook
Add a custom panic hook
|
2021-04-22 16:31:52 +02:00 |
|
Darko Macesic
|
55222bdcc5
|
Update zokrates_cli/src/bin.rs
Co-authored-by: Thibaut Schaeffer <thibaut@schaeff.fr>
|
2021-04-21 22:51:08 +02:00 |
|
dark64
|
623b471452
|
clippy
|
2021-04-21 20:55:04 +02:00 |
|
dark64
|
7169946b21
|
add custom panic hook
|
2021-04-21 20:43:26 +02:00 |
|
schaeff
|
5bca7d5b87
|
remove space
|
2021-04-21 19:59:06 +02:00 |
|
Thibaut Schaeffer
|
f4faad94f1
|
Merge pull request #798 from Zokrates/accept-explicit-generics
Accept explicit generic parameters for function calls
|
2021-04-20 16:02:54 +02:00 |
|
schaeff
|
aa5a3b4b32
|
rename and improve example
|
2021-04-20 12:39:41 +02:00 |
|
schaeff
|
7b452db760
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into accept-explicit-generics
|
2021-04-20 10:55:54 +02:00 |
|
schaeff
|
0f2e393a01
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into smarter-function-call-matching
|
2021-04-20 10:45:34 +02:00 |
|
Thibaut Schaeffer
|
b4f02e7db5
|
Merge pull request #799 from Zokrates/refactor-constant-shift-checks
Fail gracefully on variable shifts
|
2021-04-19 20:51:44 +02:00 |
|
Thibaut Schaeffer
|
0d20f6a107
|
Merge pull request #822 from Zokrates/stricter_function_match
Consider input count and generics count in semantic checker
|
2021-04-19 20:50:38 +02:00 |
|
Thibaut Schaeffer
|
f041822ad7
|
Merge pull request #823 from Zokrates/fail-on-assertion
Detect assertion failures at compile time on constant expressions
|
2021-04-19 20:50:01 +02:00 |
|
schaeff
|
2b9bae67c0
|
fix tests, make constant comparison smarter
|
2021-04-19 20:33:47 +02:00 |
|
schaeff
|
7825e43f09
|
Merge branch 'stricter_function_match' of github.com:Zokrates/ZoKrates into smarter-function-call-matching
|
2021-04-19 18:57:07 +02:00 |
|
schaeff
|
3069d598c6
|
generic equivalence, add tests
|
2021-04-19 18:46:13 +02:00 |
|
dark64
|
b94b72080f
|
update example
|
2021-04-19 14:57:53 +02:00 |
|
dark64
|
42900ed3bd
|
update book
|
2021-04-19 14:39:39 +02:00 |
|
dark64
|
a271993832
|
fix tests
|
2021-04-19 10:59:23 +02:00 |
|
dark64
|
39e28615e3
|
merge dev
|
2021-04-16 22:05:29 +02:00 |
|
dark64
|
dafef03b1f
|
fix imports, more tests
|
2021-04-16 21:51:13 +02:00 |
|
dark64
|
a94cb9f9de
|
update assert example
|
2021-04-16 15:19:05 +02:00 |
|
Thibaut Schaeffer
|
eb9326d047
|
Merge pull request #809 from Zokrates/multi-import
Allow importing of multiple symbols in a single import statement
|
2021-04-16 12:29:14 +02:00 |
|
dark64
|
abcf2f050e
|
update assert example
|
2021-04-15 19:40:10 +02:00 |
|
dark64
|
f2faa0a781
|
error out on failed assertion
|
2021-04-15 19:15:06 +02:00 |
|
schaeff
|
a3b22737d8
|
consider input count and generics count in semantic checker, add tests
|
2021-04-15 16:43:11 +02:00 |
|
schaeff
|
02a7626928
|
Merge branch 'deploy' of github.com:Zokrates/ZoKrates into merge-back-070
|
2021-04-13 18:44:13 +02:00 |
|
schaeff
|
07e27d0d24
|
remove no input test
|
2021-04-13 16:11:54 +02:00 |
|
dark64
|
61833d70c4
|
import multiple symbols in a single from-import statement
|
2021-04-12 18:49:58 +02:00 |
|
dark64
|
856a78a378
|
add decimal suffix test
|
2021-04-12 10:05:11 +02:00 |
|
schaeff
|
f290de2b58
|
bump version, generate changelog
|
2021-04-09 15:09:34 +02:00 |
|
schaeff
|
56146cd95f
|
merge dev, < not working, wip
|
2021-04-08 20:00:15 +02:00 |
|
schaeff
|
e193546d8d
|
check shifts are constant earlier, simplify zir
|
2021-04-07 18:56:55 +02:00 |
|
schaeff
|
5faee6a295
|
accept explicit generics in return
|
2021-04-07 16:39:40 +02:00 |
|
Thibaut Schaeffer
|
0579a8f981
|
Merge pull request #762 from Zokrates/neg-pos
Add negative and positive unary operators
|
2021-04-07 11:29:54 +02:00 |
|