dark64
|
d91a31aebc
|
update nightly version
|
2021-04-28 19:39:54 +02:00 |
|
dark64
|
7bef8f4975
|
add rust-toolchain, wip
|
2021-04-28 19:19:45 +02:00 |
|
dark64
|
d35fdc09ec
|
remove travis files
|
2021-04-28 15:45:21 +02:00 |
|
dark64
|
7dd0271f3e
|
revert commands
|
2021-04-28 15:33:29 +02:00 |
|
dark64
|
a150f2974c
|
add matrix alias
|
2021-04-28 02:02:47 +02:00 |
|
dark64
|
3c262ca669
|
add publish artifacts step
|
2021-04-28 02:00:18 +02:00 |
|
dark64
|
22ea066abf
|
update cmd for macos
|
2021-04-27 22:46:44 +02:00 |
|
dark64
|
109b9a6043
|
change dest folder
|
2021-04-27 22:24:44 +02:00 |
|
dark64
|
eed1f761cb
|
update copy cmd
|
2021-04-27 20:50:16 +02:00 |
|
dark64
|
4afb137857
|
store artifacts
|
2021-04-27 20:00:14 +02:00 |
|
dark64
|
a89641f523
|
Update config.yml
|
2021-04-27 19:12:28 +02:00 |
|
dark64
|
dfcc65da44
|
test build matrix
|
2021-04-27 18:46:14 +02:00 |
|
dark64
|
0ded0c4f39
|
docker in docker
|
2021-04-27 18:13:49 +02:00 |
|
dark64
|
9b377e67dd
|
wip
|
2021-04-27 16:30:01 +02:00 |
|
Thibaut Schaeffer
|
579e5f91d3
|
Merge pull request #835 from Zokrates/remove-internal-identifier
Remove internal identifier
|
2021-04-27 16:29:38 +02:00 |
|
schaeff
|
d4d0545c35
|
fix doc
|
2021-04-27 16:06:32 +02:00 |
|
schaeff
|
b2344aa459
|
remove internal identifier
|
2021-04-27 14:43:00 +02:00 |
|
dark64
|
9ec3ac3cf7
|
visit constants in default folder
|
2021-04-27 13:34:16 +02:00 |
|
dark64
|
231204d7a2
|
fold type
|
2021-04-26 19:53:09 +02:00 |
|
schaeff
|
35f4d93dd3
|
changelog
|
2021-04-26 19:18:36 +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
|
6dbf98df7a
|
Merge pull request #832 from Zokrates/propagation-errors
Handle errors more gracefully in propagation step where applicable
|
2021-04-26 09:53:13 +02:00 |
|
dark64
|
a0f19d78e8
|
use to_string instead of format!(), fix messages
|
2021-04-23 15:48:53 +02:00 |
|
dark64
|
e8ad90e407
|
add changelog
|
2021-04-23 14:35:11 +02:00 |
|
dark64
|
42b7ccc95c
|
handle user errors in propagation where applicable
|
2021-04-23 14:31:39 +02:00 |
|
Thibaut Schaeffer
|
4b9f8a8282
|
Merge pull request #831 from Zokrates/update-oneliner
Add interactive prompt for overwriting in one_liner.sh
|
2021-04-22 17:36:12 +02:00 |
|
dark64
|
df8d2177f3
|
changelog
|
2021-04-22 16:57:46 +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 |
|
Thibaut Schaeffer
|
4c98cdfd61
|
Merge pull request #830 from Zokrates/zir-be-debug
Fix stack overflow on fmt::Debug for zir::BooleanExpression
|
2021-04-22 16:30:04 +02:00 |
|
dark64
|
1689385dec
|
add interactive prompt for overwriting in one_liner.sh
|
2021-04-22 14:57:53 +02:00 |
|
dark64
|
06cc180c08
|
fix stack overflow on fmt::Debug for zir::BooleanExpression
|
2021-04-22 14:07:34 +02:00 |
|
dark64
|
cd276760b1
|
allow clippy rule, remove unreachable arms
|
2021-04-22 13:38:54 +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 |
|
Thibaut Schaeffer
|
4784f4d644
|
Merge pull request #828 from Zokrates/join-error-file-and-position
Remove space between file name and position to make VSCode experience smoother
|
2021-04-21 22:24:57 +02:00 |
|
dark64
|
623b471452
|
clippy
|
2021-04-21 20:55:04 +02:00 |
|
dark64
|
154cdb4827
|
add changelog
|
2021-04-21 20:47:59 +02:00 |
|
dark64
|
7169946b21
|
add custom panic hook
|
2021-04-21 20:43:26 +02:00 |
|
schaeff
|
c05fc38936
|
changelog
|
2021-04-21 20:08:25 +02:00 |
|
schaeff
|
5bca7d5b87
|
remove space
|
2021-04-21 19:59:06 +02:00 |
|
dark64
|
9f69ea3771
|
refactoring
|
2021-04-21 18:15:12 +02:00 |
|
schaeff
|
852f741e9b
|
fix doc comment
|
2021-04-21 17:36:52 +02:00 |
|
schaeff
|
b1297cac25
|
doc, single constraint range enforcement
|
2021-04-21 17:08:26 +02:00 |
|
schaeff
|
6fddd74432
|
clean, fix native le test
|
2021-04-21 16:33:45 +02:00 |
|
schaeff
|
e830b986fb
|
clippy
|
2021-04-20 18:42:47 +02:00 |
|
schaeff
|
c105e801e5
|
fix to_bits, improve naming
|
2021-04-20 18:35:03 +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 |
|
Thibaut Schaeffer
|
8416e435ef
|
Merge pull request #826 from Zokrates/smarter-function-call-matching
Smarter function call matching
|
2021-04-20 16:01:50 +02:00 |
|
schaeff
|
30e695b48d
|
add changelog
|
2021-04-20 12:52:38 +02:00 |
|
schaeff
|
aa5a3b4b32
|
rename and improve example
|
2021-04-20 12:39:41 +02:00 |
|