ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 11:45:00 +03:00
Code Issues Packages Projects Releases Wiki Activity
812 Commits 54 Branches 46 Tags 340 MiB
a63c86c5bd
Commit Graph

812 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
4566ac8e03 fix import tests 2020-07-30 13:01:04 -07:00
collin
f03d0be080 fix group tests 2020-07-30 12:54:34 -07:00
collin
6dfc17ea46 fix function tests 2020-07-30 12:10:33 -07:00
collin
41559ba3a0 fix circuit tests 2020-07-30 11:11:54 -07:00
collin
df9b94ef73 fix array tests 2020-07-30 00:56:17 -07:00
collin
14498c4836 fix address tests 2020-07-30 00:15:14 -07:00
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
ac8c940169 add parsing for .in and .state files and update errors 2020-07-29 13:20:44 -07:00
howardwu
5bd6ab78b9 Refactor compiler to have a separate typed ast infrastucture 2020-07-29 01:12:17 -07:00
collin
3d3e8f5e72 compiler successfully parsing record, registers, state, state_leaf variables with access 2020-07-29 00:18:19 -07:00
Howard Wu
8767d01abc
Merge pull request #119 from AleoHQ/feature/serialization 
Adds serialization of Leo AST for unit testing and formal verification
 2020-07-28 23:27:50 -07:00
howardwu
6a199d1256 Add test for span 2020-07-28 22:54:32 -07:00
howardwu
695ca8d998 Unintended commits removed 2020-07-28 22:46:38 -07:00
howardwu
d440c2b57e Update documentation 2020-07-28 22:36:10 -07:00
howardwu
d3894ff546 Adds AST JSON generator 2020-07-28 22:26:28 -07:00
collin
d5ac5e6709 use input section macro in leo types 2020-07-28 21:22:31 -07:00
howardwu
47bfd2e096 Adds serialization of Leo AST for unit testing and rformal verification 2020-07-28 21:18:43 -07:00
collin
82b0b576dd parse input file before program file 2020-07-28 20:46:26 -07:00
collin
9fc9e16367 parse main, record, registers, state, state_leaf types to compiler input 2020-07-28 16:57:03 -07:00
Howard Wu
7bf299903b
Update config.yml 2020-07-27 21:26:09 -07:00
Howard Wu
a9c07c0ae7
Create config.yml 2020-07-27 21:19:48 -07:00
Howard Wu
dd75dda33d
Update 02_bug_report.md 2020-07-27 21:19:14 -07:00
Howard Wu
3952af5f94
Update and rename 01_feature_request.md to 01_bug_report.md 2020-07-27 21:18:37 -07:00
collin
b9b459ecff add main, record, registers, state, state_leaf sections to types 2020-07-27 16:28:56 -07:00
collin
5ae8d550e5 add main, record, registers, state, state_leaf section headers to pest 2020-07-27 15:06:36 -07:00
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