ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 12:13:41 +03:00
Code Issues Packages Projects Releases Wiki Activity
635 Commits 54 Branches 46 Tags 340 MiB
08f33eda01
Commit Graph

635 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
08f33eda01 add double bracket syntax to pest for public/private 2020-07-27 13:59:51 -07:00
Collin Chin
706777c773
Merge pull request #117 from AleoHQ/dependabot/cargo/serde_json-1.0.57 
Bump serde_json from 1.0.56 to 1.0.57
 2020-07-27 10:51:05 -07:00
dependabot-preview[bot]
e4c4684702
Bump serde_json from 1.0.56 to 1.0.57 
Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.56 to 1.0.57.
- [Release notes](https://github.com/serde-rs/json/releases)
- [Commits](https://github.com/serde-rs/json/compare/v1.0.56...v1.0.57)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-07-27 10:44:10 +00:00
Collin Chin
42f443ec4a
Merge pull request #113 from AleoHQ/dependabot/cargo/log-0.4.11 
Bump log from 0.4.8 to 0.4.11
 2020-07-20 23:41:49 -07:00
dependabot-preview[bot]
73806e4526
Bump log from 0.4.8 to 0.4.11 
Bumps [log](https://github.com/rust-lang/log) from 0.4.8 to 0.4.11.
- [Release notes](https://github.com/rust-lang/log/releases)
- [Changelog](https://github.com/rust-lang/log/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/log/compare/0.4.8...0.4.11)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-07-17 23:31:28 +00:00
Howard Wu
45e57cc0e2
Merge pull request #112 from AleoHQ/feature/signed-integer-syntax 
Feature/signed integer syntax
 2020-07-17 16:29:36 -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
1707d43be0 fix indents 2020-07-17 12:59:18 -07:00
collin
cc33c68bea fix field tests, use num_bigint 2020-07-17 12:44:08 -07:00
collin
1ede8db1cd fix traits in compiler 2020-07-16 22:48:56 -07:00
collin
77d93d11bd refactor arithmetic gadgets into separate module 2020-07-16 22:35:30 -07:00
collin
c3e2ba420f rename _test to test_ 2020-07-16 21:27:40 -07:00
collin
dbaa334eb6 add checked neg check in tests 2020-07-16 21:26:39 -07:00
collin
2607204b79 remove unused zero extend 2020-07-16 21:07:42 -07:00
collin
5fb77fd457 fix tests 2020-07-16 20:47:47 -07:00
collin
929ea95fe2 Merge branch 'master' of github.com:AleoHQ/leo into feature/signed-integer-syntax 2020-07-16 20:37:41 -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
8f397a3382 fix field comparator 2020-07-16 20:00:28 -07:00
collin
d542a9716b fix uint and int comparators 2020-07-16 17:27:58 -07:00
Collin Chin
c85a8e1595
Merge pull request #110 from AleoHQ/fix/doc-bugs 
Fix/doc bugs
 2020-07-16 01:09:33 -07:00
collin
6f2e468771 update protected names 2020-07-16 01:06:29 -07:00
collin
078c7e8a5a use helpers and rename errors 2020-07-15 22:44:20 -07:00
collin
0fd7422b68 Merge branch 'master' of github.com:AleoHQ/leo into fix/doc-bugs 2020-07-15 21:58:46 -07:00
collin
df49f798de fix leo-inputs pest for i types 2020-07-15 21:57:55 -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
bfda4bb95c fix tests 2020-07-15 20:42:57 -07:00
collin
d30d72d76e impl i8 i16 i32 i64 i128 for leo-inputs 2020-07-15 20:28:22 -07:00
collin
6f36dc6cd6 fix uint tests 2020-07-15 19:55:04 -07:00
collin
5ccda0750a add i8 i16 i32 i64 i128 types 2020-07-15 19:32:55 -07:00
collin
c584e382d9 Merge branch 'fix/doc-bugs' of github.com:AleoHQ/leo into feature/signed-integer-syntax 2020-07-15 12:34:48 -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
collin
a1f2366fe8 add evaluate eq gadget for i types 2020-07-14 17:37:04 -07:00
collin
d4d8550a15 update protected names in pest 2020-07-14 16:50:14 -07:00
collin
3a53b91632 fix operator precedence 2020-07-14 13:43:39 -07:00
collin
1f76098f45 print compiled library file success 2020-07-14 13:10:13 -07:00
Howard Wu
e3bb6c5f39
Merge pull request #108 from AleoHQ/dependabot/cargo/colored-2.0.0 
Bump colored from 1.9.3 to 2.0.0
 2020-07-14 11:01:26 -07:00
dependabot-preview[bot]
818ad03317
Bump colored from 1.9.3 to 2.0.0 
Bumps [colored](https://github.com/mackwic/colored) from 1.9.3 to 2.0.0.
- [Release notes](https://github.com/mackwic/colored/releases)
- [Changelog](https://github.com/mackwic/colored/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mackwic/colored/compare/v1.9.3...v2.0.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-07-14 10:39:50 +00:00
Howard Wu
16b044d8c0
Merge pull request #107 from AleoHQ/feature/macros 
Feature/macros
 2020-07-13 12:04:10 -07:00
collin
6c0a5ed872 add cmp gadget 2020-07-13 09:44:40 -07:00
collin
5d25770b72 impl mul for int types. fix alloc 2020-07-11 04:00:42 -07:00
collin
615c3a763a impl cond select gadget for int types 2020-07-10 21:13:19 -07:00