schaeff
9e56e912bd
bump versions, update changelog
2023-01-31 12:43:19 +01:00
dark64
37694af016
fix conflicts
2023-01-30 18:54:10 +01:00
Thibaut Schaeffer
3e40945778
Use foundry for integration tests ( #1266 )
...
* remove zokrates_solidity_test, use foundry for integration tests
* fix foundry install
* fix foundry install
* use full path for forge
* wip
* wip
* wip
* test
* test
* test
* test
* test
* add message if foundry is missing, add changelog
* move install script to ci config
* Apply suggestions from code review
---------
Co-authored-by: Thibaut <thibaut@Thibauts-MacBook-Pro.local>
2023-01-30 17:50:20 +01:00
dark64
a76e14c00b
Merge branch 'develop' into ark-parallel
2023-01-30 16:09:25 +01:00
dark64
d273bb5958
update book, merge develop and merge conflicts
2023-01-30 15:27:17 +01:00
dark64
86164bd190
update features on dependencies
2023-01-23 19:53:18 +01:00
Dimitris Apostolou
28ac40923c
Fix typos
2023-01-11 03:14:28 +02:00
dark64
8d9e8899c1
merge develop, fix conflicts
2023-01-02 14:26:22 +01:00
dark64
43cb632c4a
move rng function to proof systems crate
2022-12-27 19:11:44 +01:00
dark64
ed9a0b5440
clippy
2022-12-13 14:42:55 +01:00
dark64
4ac95c7559
add changelog, update zokrates-js
2022-12-13 14:41:56 +01:00
dark64
655a54cf37
fix tests
2022-12-12 18:28:46 +01:00
dark64
0cdcedd9de
allow user-provided randomness in setup
2022-12-12 16:28:16 +01:00
dark64
e95cef8e90
validate expressions, add more tests
2022-12-01 21:07:42 +01:00
dark64
fbfc20c4e6
improvements 2
2022-11-28 20:25:05 +01:00
dark64
8d7e5804df
improvements
2022-11-25 17:54:21 +01:00
dark64
dc68ac40b6
merge develop, fix conflicts
2022-11-22 20:34:44 +01:00
dark64
fd361d68f3
more tests
2022-11-22 20:32:49 +01:00
dark64
c61a481e0b
merge develop
2022-11-17 14:38:12 +01:00
dark64
113ada3638
bitwise op on field
2022-10-31 20:55:31 +01:00
dark64
608a7c41d2
fix tests
2022-10-18 13:43:29 +02:00
schaeff
485be58a78
wip
2022-10-11 09:24:28 -05:00
dark64
9ca495eb71
update changelog, bump versions
2022-10-10 18:00:35 +02:00
dark64
c869649745
wip
2022-10-05 15:27:45 +02:00
Thibaut Schaeffer
9e7f01ca2c
Merge pull request #1224 from Zokrates/private-parameter-check
...
Disallow the use of the private keyword on non-entrypoint functions
2022-09-22 12:20:14 +02:00
dark64
e48afb678c
add test for public, update changelog
2022-09-21 14:54:37 +02:00
dark64
4d09fe1c19
disallow the use of the private keyword on non-entry point functions
2022-09-06 12:55:40 +02:00
schaeff
3e6c0146fa
bump versions, generate changelog
2022-09-05 14:14:28 +02:00
Thibaut Schaeffer
f86172f6a6
Merge pull request #1206 from Zokrates/dead-code-elimination
...
Introduce dead code elimination
2022-09-01 15:59:38 +02:00
schaeff
40f6fe277f
merge dev
2022-08-30 18:07:13 +02:00
dark64
dd61b2f0c3
Merge branch 'develop' into optional-return
2022-08-30 14:03:45 +02:00
dark64
1da27bc55b
update docs
2022-08-30 14:01:01 +02:00
Thibaut Schaeffer
d3d6810f44
Merge pull request #1193 from Zokrates/shadowing
...
Allow shadowing of variables
2022-08-30 10:48:02 +02:00
dark64
bc25bc4816
apply suggestions
2022-08-29 16:25:01 +02:00
dark64
ea98c92879
make return statement optional
2022-08-29 15:17:15 +02:00
schaeff
530991dc16
revert to default prettier version, run prettier
2022-08-29 12:51:16 +02:00
schaeff
e8e943dba9
fix conflict
2022-08-29 11:55:04 +02:00
schaeff
67e46b3a69
add prettier
2022-08-29 11:52:17 +02:00
schaeff
ecac52bc87
bump versions, generate changelog
2022-08-22 22:49:49 +02:00
schaeff
66bb9f12ca
Merge branch 'develop' of github.com:Zokrates/ZoKrates into shadowing
2022-08-22 22:00:02 +02:00
dark64
1448742642
add changelog
2022-08-22 13:56:07 +02:00
dark64
6ab602e88c
fail if log call contains an int expression
2022-08-22 13:01:59 +02:00
schaeff
4cde35ec80
revert example change, fmt tweaks
2022-08-19 17:23:49 +02:00
schaeff
7bbfe68d3c
fix warning, update expected smt2 output with equivalent
2022-08-19 09:01:29 +02:00
schaeff
20292b7a2d
reduce cost of lt for 2**n - 1 bound
2022-08-18 22:40:01 +02:00
schaeff
b9dc1bd65e
introduce conditional expression, fix flattening to avoid quadratic term
2022-08-17 16:07:51 +02:00
schaeff
3fbf63d335
extract panics just before flattening, simplify zir, remove redundant checks in code generation
2022-08-16 18:53:21 +02:00
schaeff
8caa6b4720
wip
2022-08-05 16:23:18 +02:00
schaeff
fdebdd86e1
clean, update docs
2022-07-26 14:18:08 +01:00
schaeff
b2cf1012e8
implement shadowing only at the semantic phase
2022-07-21 17:52:54 +02:00
