ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-02 23:07:27 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,566 Commits 53 Branches 44 Tags 331 MiB
c809c43ef0
Commit Graph

63 Commits

Author SHA1 Message Date
howardwu
0d966d1d5c chore(leo): bump version for new release 2020-11-06 19:56:12 -08:00
ljedrz
710bbc6730 perf: reduce allocations in Boolean's SignExtend impl 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
78f98f1f26 perf: reduce allocations in signed_integer's CondSelectGadget impl 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
f9e6b3caa8 perf: a small optimization to signed_integer equality checks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
63f80c0472 perf: reduce allocations in AllocGadget::{alloc, alloc_input} 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
55d0f2e340 perf: reduce allocations in the Neg impl for Vec<Boolean> 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
1e25738890 refactor: minor tweaks for signed_integer::div 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
09d456c01e bench: introduce integer arithmetic benchmarks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
c62337e1fe perf: remove a redundant clone 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 09:36:08 +02:00
ljedrz
5fc4179e20 cleanup: remove a redundant map 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 09:36:08 +02:00
ljedrz
afe669babd perf: make signed_integer's is_constant method faster 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 09:36:08 +02:00
ljedrz
e1e22a2310 perf: vector pre-allocation and associated tweaks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-08 11:47:03 +02:00
ljedrz
bbcafd16de clippy: fix match_ref_parts 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 13:37:51 +02:00
ljedrz
1fc9b902dd clippy: fix redundant_clone & clone_on_copy 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
266e6247e4 clippy: fix assign_op_pattern 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
c21b5ad2f3 clippy: fix useless_format 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:12:35 +02:00
ljedrz
b4ae089d29 clippy: fix double_must_use 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-05 17:18:29 +02:00
howardwu
2620ae7bc2 chore(leo): bump version for new release 2020-09-03 03:08:33 -07:00
howardwu
bf82bf4d1b chore(leo): bump version for new release 2020-08-28 23:26:19 -07:00
howardwu
12971b9cbb Update Cargo.toml 2020-08-27 01:33:00 -07:00
howardwu
cc183475ee Update logging with custom formatter 2020-08-27 00:55:29 -07:00
howardwu
c07958e292 Clean up Cargo.toml 2020-08-21 05:09:48 -07:00
howardwu
13f4a68903 Update Cargo.toml 2020-08-21 03:17:09 -07:00
howardwu
b6238470cc Update Cargo.toml 2020-08-21 03:07:15 -07:00
howardwu
4da4fc4344 Update cargo.toml 2020-08-21 02:54:04 -07:00
howardwu
0405ff4f89 Bump version and repair Leo update description 2020-08-19 03:00:30 -07:00
raychu86
ae10a78eb5 Add license header 2020-08-18 03:50:26 -07:00
raychu86
c13852dc88 Add and fix tests for all signed integer types 2020-08-14 16:10:48 -07:00
raychu86
ce4c2977a8 Update signed integer pow impl 2020-08-14 16:10:26 -07:00
collin
279c322f2d fix division max value bug 2020-08-03 18:54:27 -07:00
howardwu
61d92ecc91 Remove revision peg for snarkOS dependency, change Leo to groth16, update to proper calling convention for snarks 2020-07-30 19:09:27 -07:00
collin
92bfad8cc3 clean up pr. remove field comparison 2020-07-17 16:14:13 -07:00
collin
6f9db500c7 add mul pseudocode 2020-07-17 14:15:22 -07:00
collin
7405a6284a rename gadgets, remove unused files 2020-07-17 13:56:13 -07:00
collin
cc33c68bea fix field tests, use num_bigint 2020-07-17 12:44:08 -07:00
collin
77d93d11bd refactor arithmetic gadgets into separate module 2020-07-16 22:35:30 -07:00
collin
2607204b79 remove unused zero extend 2020-07-16 21:07:42 -07:00
collin
402abac841 remove unnecessary clone 2020-07-16 20:35:41 -07:00
collin
2938a31aee fix int pow gadget 2020-07-16 20:19:51 -07:00
collin
f3b605546a shorten pow test 2020-07-16 20:16:54 -07:00
collin
d89e1c1e59 rename twos comp to negate 2020-07-16 20:12:29 -07:00
collin
d542a9716b fix uint and int comparators 2020-07-16 17:27:58 -07:00
collin
078c7e8a5a use helpers and rename errors 2020-07-15 22:44:20 -07:00
collin
fe2f29ccad add tests for i types 2020-07-15 21:55:45 -07:00
collin
2f39ecdbc3 impl infra for i type tests 2020-07-15 21:31:23 -07:00
collin
5ccda0750a add i8 i16 i32 i64 i128 types 2020-07-15 19:32:55 -07:00
collin
9ad0f34d07 impl pow for int types. add tests 2020-07-15 12:19:38 -07:00
collin
6ccc45f3d6 finish i type division and test 2020-07-15 00:10:29 -07:00
collin
f52dd77373 division i type wip 2020-07-14 20:17:37 -07:00
collin
eb5ab1fbe1 move comparator into leo-gadgets. impl cmp for i types 2020-07-14 18:32:54 -07:00