Commit Graph

724 Commits

Author SHA1 Message Date
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
collin
35cf68c01d impl sub for int types 2020-07-10 19:34:20 -07:00
collin
e9056cfd41 impl twos complement gadget 2020-07-10 19:14:59 -07:00
collin
5288134fd9 make add compatible with i128 2020-07-10 18:14:51 -07:00
collin
159e7cba9d impl binary adder, rca, addition test 2020-07-10 18:05:37 -07:00
collin
390296126b impl alloc 2020-07-10 04:04:55 -07:00
collin
5717d1f1ad impl addition for i types 2020-07-10 02:07:00 -07:00
collin
d4c8c4252d add skeleton macros for arithmetic 2020-07-10 00:33:54 -07:00
collin
192e6ba2dd add testing framework 2020-07-09 23:48:11 -07:00
collin
b032c2ce45 add signed-integers gadget member to workspace 2020-07-09 22:39:11 -07:00
collin
540c0de69f add unknown parameter test 2020-07-09 19:33:10 -07:00
collin
118b50fb58 add macro tests 2020-07-09 19:23:15 -07:00