AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-12-30 05:02:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
751 Commits 54 Branches 46 Tags 341 MiB
d584810b1d
Commit Graph

751 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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