ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-19 16:21:45 +03:00
Code Issues Packages Projects Releases Wiki Activity
652 Commits 54 Branches 46 Tags 339 MiB
1b6a2b55d4
Commit Graph

30 Commits

Author SHA1 Message Date
collin
a4448cdd12 add manual main input method for testing. fix field tests 2020-07-29 23:32:21 -07:00
collin
61f7c54858 refactor testing compiler to handle .in .out .state files. fix boolean tests 2020-07-29 20:52:37 -07:00
collin
1b99d62de8 adds compiler output file and output bytes data structures 2020-07-29 18:32:35 -07:00
collin
cc33c68bea fix field tests, use num_bigint 2020-07-17 12:44:08 -07:00
collin
8f397a3382 fix field comparator 2020-07-16 20:00:28 -07:00
collin
eb5ab1fbe1 move comparator into leo-gadgets. impl cmp for i types 2020-07-14 18:32:54 -07:00
collin
8ca5f5ce66 use account public key in snarkos dpc 2020-07-06 03:18:20 -07:00
Collin Chin
84002cf3e7
Merge pull request #82 from AleoHQ/dependabot/cargo/sha2-0.9.0 
Bump sha2 from 0.8.2 to 0.9.0
 2020-06-29 13:56:39 -07:00
collin
4e4e21a53e merge master 2020-06-29 12:46:38 -07:00
dependabot-preview[bot]
f061c8ea82
Bump sha2 from 0.8.2 to 0.9.0 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.8.2 to 0.9.0.
- [Release notes](https://github.com/RustCrypto/hashes/releases)
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.8.2...sha2-v0.9.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-06-29 11:09:36 +00:00
Howard Wu
b4cfa64167
Adds ci.yml (#77) 
* Adds ci.yml

* Update ci script

* Update Cargo.toml

* Update to ubuntu-latest

* Update dependencies

* Update git deps with rev

* Update ci script

* Update ci script

* Update ci script

* Update code coverage

* Update code coverage

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI script

* Update CI script
 2020-06-27 20:16:38 -07:00
collin
504480b3d7 serialize program into bytes file 2020-06-24 21:05:11 -07:00
collin
4d1bf9071c add span to input values 2020-06-16 19:13:11 -07:00
howardwu
7a8aaf8166 Improves compilation time by turning off unused features in snarkOS 2020-06-15 21:27:25 -07:00
collin
643cd3026e initial private boolean input support 2020-06-09 16:36:15 -07:00
howardwu
79bea057b3 Remove unused dependencies, add profiles 2020-06-07 23:01:57 -07:00
howardwu
653f0de69f Update dependencies 2020-06-07 22:43:53 -07:00
howardwu
85ccf1b423 Introduces LeoParser, removes pest for leo-compiler 2020-06-07 22:21:31 -07:00
howardwu
b9baafd57f Migrates integer, identifier, and input_value 2020-06-07 18:22:59 -07:00
howardwu
3286eac221 Removes unused imports and reorders toml in leo-compiler 2020-06-06 23:26:48 -07:00
howardwu
a72a333877 Migrates ast to leo-ast module 2020-06-06 23:17:40 -07:00
collin
3e21184631 use snarkos master 2020-06-04 22:53:52 -07:00
collin
5c005c4b8f pest implicit number type 2020-05-15 12:51:08 -07:00
collin
36018853a7 impl compiler error handling 2020-05-08 16:35:00 -07:00
howardwu
1350834bcd Implements caching of builds and setups for reusable work 2020-05-02 20:10:22 -07:00
howardwu
219f90cb17 Adds starter integration tests for u32 2020-05-01 22:10:40 -07:00
howardwu
d115870815 Moves compiler.rs to leo-compiler module 2020-04-26 22:37:08 -07:00
howardwu
026b59a67a Rename program to compiler 2020-04-26 22:34:15 -07:00
howardwu
8c5be763ff Compiler wip 2020-04-23 23:57:05 -07:00
howardwu
0a49dd1ec3 Adds compiler module 2020-04-23 18:52:43 -07:00