schaeff
|
bd0373bf99
|
add more details to the map, change header, format, remove spaces
|
2021-09-28 15:57:49 +03:00 |
|
dark64
|
f41639864a
|
minor refactor
|
2021-09-28 14:23:29 +02:00 |
|
Thibaut Schaeffer
|
1baccb2f76
|
Merge pull request #1016 from Zokrates/infer-generics
Infer struct generics
|
2021-09-28 15:14:30 +03:00 |
|
schaeff
|
38f0b4a83a
|
add changelog
|
2021-09-28 15:12:42 +03:00 |
|
dark64
|
04ff417d87
|
update operators section
|
2021-09-27 22:32:12 +02:00 |
|
dark64
|
3ad8938897
|
add failing test for unpack
|
2021-09-27 20:51:30 +02:00 |
|
schaeff
|
0fd1e0fb5c
|
include g2 lib for gm17
|
2021-09-27 21:37:09 +03:00 |
|
Thibaut Schaeffer
|
eff6185e80
|
Merge pull request #1018 from johnnydotdev/patch-1
Fix typo
|
2021-09-27 21:28:53 +03:00 |
|
Thibaut Schaeffer
|
995851a03c
|
Create 1016-schaeff
|
2021-09-27 20:58:04 +03:00 |
|
dark64
|
2ff4189ab9
|
add changelog
|
2021-09-27 15:10:07 +02:00 |
|
dark64
|
42fd168029
|
safe unpack on field to uint casts
|
2021-09-27 15:07:14 +02:00 |
|
schaeff
|
2e2360c4c3
|
fix renaming
|
2021-09-27 10:33:19 +03:00 |
|
Thibaut Schaeffer
|
9a4d6e4c80
|
Merge pull request #1015 from Zokrates/dark64-patch-3
Improve error message on unconstrained variable detection
|
2021-09-27 10:16:18 +03:00 |
|
Thibaut Schaeffer
|
38ee47f8b6
|
Merge pull request #1020 from Zokrates/update-ci
Fix CI issues
|
2021-09-27 10:15:23 +03:00 |
|
dark64
|
0d8d7549a2
|
canonicalize paths
|
2021-09-26 17:00:37 +02:00 |
|
dark64
|
11d9dd939b
|
fix integration tests
|
2021-09-26 16:52:51 +02:00 |
|
dark64
|
a514f400ae
|
Set output timeout for zokrates_js_test job
|
2021-09-26 16:47:55 +02:00 |
|
Johnny
|
73c5e10569
|
Update introduction.md
|
2021-09-25 12:32:20 -07:00 |
|
Johnny
|
c502ecfec1
|
Fix typo
|
2021-09-25 12:27:59 -07:00 |
|
dark64
|
d1a17e059b
|
add changelog
|
2021-09-24 20:43:07 +02:00 |
|
dark64
|
9efec3f5da
|
update docs around field type
|
2021-09-24 20:15:42 +02:00 |
|
schaeff
|
ca55c984e3
|
address review comments
|
2021-09-24 17:54:16 +03:00 |
|
Christoph Michelbach
|
3c97ecfbcf
|
Apply cargo clippy rules.
|
2021-09-24 14:41:05 +02:00 |
|
schaeff
|
87115c8cd1
|
check generics on structs and infer them
|
2021-09-24 15:15:58 +03:00 |
|
dark64
|
58389bf809
|
fix tests
|
2021-09-24 13:32:59 +02:00 |
|
Christoph Michelbach
|
4993b71455
|
Format code again.
|
2021-09-23 21:53:23 +02:00 |
|
schaeff
|
9895e85ea6
|
remap generics when checking struct alias
|
2021-09-23 16:49:20 +03:00 |
|
Darko Macesic
|
d55ddc639d
|
Update unconstrained_vars.rs
|
2021-09-23 15:33:09 +02:00 |
|
schaeff
|
4b99a99815
|
remove explicit generics where applicable
|
2021-09-23 14:45:45 +03:00 |
|
dark64
|
018e5bf29e
|
cleanup
|
2021-09-23 13:26:15 +02:00 |
|
schaeff
|
b8e831ed5b
|
avoid visiting members
|
2021-09-23 14:13:21 +03:00 |
|
schaeff
|
30ebec6f37
|
simplify treatment of user defined types
|
2021-09-23 11:14:18 +03:00 |
|
Darko Macesic
|
8a82ea93b7
|
Merge pull request #1013 from Zokrates/oob-graceful-fail
Handle OOB accesses gracefully
|
2021-09-22 15:29:09 +02:00 |
|
schaeff
|
1ffbc024b2
|
fix tests
|
2021-09-21 17:39:13 +03:00 |
|
schaeff
|
2e589796d7
|
refactor GenericIdentifier to avoid dummy names
|
2021-09-21 15:34:51 +03:00 |
|
Christoph Michelbach
|
d21a032dca
|
Fix formatting violations that are not fixed by cargo fmt.
|
2021-09-21 14:30:02 +02:00 |
|
Christoph Michelbach
|
f41fddb7ac
|
Eliminate redundant code.
|
2021-09-21 14:20:12 +02:00 |
|
schaeff
|
fad1b2fa37
|
clean, use u32 for concrete array sizes, introduce functions to map using generic assignments
|
2021-09-21 15:14:26 +03:00 |
|
schaeff
|
ae825b7f36
|
update highlighters
|
2021-09-21 14:01:49 +03:00 |
|
schaeff
|
77a3888600
|
fix example
|
2021-09-21 13:07:26 +03:00 |
|
schaeff
|
1d1dca3b65
|
changelog
|
2021-09-21 13:05:12 +03:00 |
|
schaeff
|
43f4934586
|
detect out of bounds reads and writes
|
2021-09-21 13:00:36 +03:00 |
|
dark64
|
302f561993
|
fix indentation
|
2021-09-20 18:30:03 +02:00 |
|
dark64
|
7cc8279460
|
add changelog
|
2021-09-20 18:24:38 +02:00 |
|
dark64
|
1dbd753ac7
|
Add optional message to assert statement
|
2021-09-20 18:23:24 +02:00 |
|
schaeff
|
5d91fa5828
|
clean
|
2021-09-17 19:23:16 +03:00 |
|
schaeff
|
84a43597cc
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into allow-calls-in-constants
|
2021-09-17 17:25:37 +03:00 |
|
schaeff
|
a3bfa9f6d6
|
clippy
|
2021-09-17 16:21:52 +03:00 |
|
dark64
|
3a54229f9b
|
correct max constraint count
|
2021-09-16 18:10:45 +02:00 |
|
schaeff
|
6f8b73ab0f
|
fix abi with concretization, fix StructType
|
2021-09-16 18:36:17 +03:00 |
|