ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 01:01:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,127 Commits 53 Branches 44 Tags 331 MiB
37f9b64343
Commit Graph

1127 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Howard Wu
37f9b64343
Merge pull request #331 from AleoHQ/feature/newline-after-test 
Add newline after each successful test run
 2020-09-02 13:44:41 -07:00
Howard Wu
afc8c6b931
Merge pull request #330 from AleoHQ/feature/unsigned-array-access-only 
Add compiler check for signed integer array access
 2020-09-02 13:44:11 -07:00
Howard Wu
feaac9a3b9
Merge pull request #327 from AleoHQ/refactor/conditional-statement 
Simplify pest grammar rule for conditional statements
 2020-09-02 13:41:30 -07:00
Howard Wu
cb3fcf1d1e
Merge pull request #326 from AleoHQ/refactor/array-initializer 
Restrict pest grammar rule for array initializers
 2020-09-02 13:40:55 -07:00
Howard Wu
000293aab7
Merge pull request #325 from AleoHQ/refactor/array-type 
Refactor/array type
 2020-09-02 13:39:11 -07:00
Howard Wu
754725f5b7
Merge pull request #322 from AleoHQ/feature/n-group-notation 
Feature/n group notation
 2020-09-02 13:38:29 -07:00
Howard Wu
335526f4e5
Merge pull request #329 from AleoHQ/feature/leo-add-interface 
Remote functionality in `leo add`
 2020-09-02 13:36:17 -07:00
collin
70ebdb3172 add newline after each successful test run 2020-09-02 13:23:29 -07:00
collin
5210b1ec77 Add compiler check for signed integer array access 2020-09-02 13:11:42 -07:00
raychu86
8eb167d873 Add support for remote 2020-09-02 12:56:35 -07:00
collin
52f20a0d03 simplify grammar rule for conditional statements 2020-09-02 12:28:54 -07:00
collin
0edad533fb restrict grammar rule for array initializers 2020-09-02 12:19:43 -07:00
raychu86
6206a96a89 Update package_name to package 2020-09-02 12:13:16 -07:00
collin
4b14d108b7 update default input file and examples 2020-09-02 12:01:35 -07:00
collin
f286ba241d add type fail tests 2020-09-02 11:40:58 -07:00
collin
8cf5eb8790 all tests pass 2020-09-02 11:25:49 -07:00
collin
e7091b18ed fix tests 2020-09-02 11:12:12 -07:00
collin
77e2d55765 fix input array type parsing bug 2020-09-02 10:58:10 -07:00
collin
a4b0fb1a49 impl array-type for inputs in typed 2020-09-02 10:24:53 -07:00
collin
024618da9b impl array-type in input 2020-09-02 09:55:32 -07:00
collin
2662fd4a94 impl array-type in compiler 2020-09-02 09:40:09 -07:00
collin
02128488ea impl array-type in typed 2020-09-02 09:16:04 -07:00
collin
7a0dc342fb impl array-type in ast 2020-09-02 09:03:22 -07:00
collin
f823d463f2 merge master 2020-08-31 13:31:23 -04:00
collin
4355e1cd5a support n-group notation 2020-08-31 13:27:44 -04:00
howardwu
3b737b2a34 Update leo cli version to dedicated file 2020-08-28 23:38:30 -07:00
howardwu
bf82bf4d1b chore(leo): bump version for new release 2020-08-28 23:26:19 -07:00
howardwu
194f1daf42 Update Cargo.toml 2020-08-28 22:08:37 -07:00
Howard Wu
ca9163a9c5
Merge pull request #319 from AleoHQ/feature/toml-remotes 
Update leo.toml remote convention
 2020-08-28 22:06:41 -07:00
raychu86
d69343f14a Add impl to replace old remote format 2020-08-28 21:45:08 -07:00
Howard Wu
71883deded
Merge pull request #314 from AleoHQ/dependabot/cargo/snarkos-storage-1.1.4 
Bump snarkos-storage from 1.1.3 to 1.1.4
 2020-08-28 20:16:28 -07:00
raychu86
f5aba15d35 Update the remote convention in leo.toml 2020-08-28 20:15:08 -07:00
Howard Wu
b0dcca1345
Merge pull request #316 from AleoHQ/feature/readme-generation 
Add README.md generation to `leo new`
 2020-08-28 20:00:53 -07:00
Howard Wu
41e856ef6a
Merge pull request #317 from AleoHQ/fix/default-license 
Fix default license to MIT
 2020-08-28 19:58:33 -07:00
raychu86
d90df8ef16 Fix default license to MIT 2020-08-28 18:58:37 -07:00
raychu86
535b9f0aa0 Add README.md generation to leo new 2020-08-28 18:47:37 -07:00
dependabot-preview[bot]
30fede9ed9
Bump snarkos-storage from 1.1.3 to 1.1.4 
Bumps [snarkos-storage](https://github.com/AleoHQ/snarkOS) from 1.1.3 to 1.1.4.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases)
- [Changelog](https://github.com/AleoHQ/snarkOS/blob/master/release.toml)
- [Commits](https://github.com/AleoHQ/snarkOS/compare/v1.1.3...v1.1.4)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-08-27 10:34:59 +00:00
howardwu
12971b9cbb Update Cargo.toml 2020-08-27 01:33:00 -07:00
Howard Wu
0023ee8ef4
Merge pull request #306 from AleoHQ/feature/tracing 
Migrate to tracing for console output
 2020-08-27 01:07:56 -07:00
howardwu
cc183475ee Update logging with custom formatter 2020-08-27 00:55:29 -07:00
collin
948188ddaf fix ugly errors 2020-08-21 19:57:27 -07:00
collin
5ab4d62a2b Fix styling and naming 2020-08-21 19:53:56 -07:00
collin
55fdb24bfb add tracing spans to commands. fix clean command 2020-08-21 19:22:01 -07:00
collin
bcab2df709 fix proving output 2020-08-21 18:44:19 -07:00
collin
551595026b fix test output formatting 2020-08-21 18:08:14 -07:00
collin
2e3333cd25 fix test, login, build console output 2020-08-21 17:39:48 -07:00
collin
098ca28231 use tracing in ast 2020-08-21 16:40:34 -07:00
collin
912a192b5c use tracing in compiler 2020-08-21 16:36:50 -07:00
Howard Wu
4736a8f724
Merge pull request #304 from AleoHQ/fix/config-name 
Update leo config file to `config.toml`
 2020-08-21 16:24:16 -07:00
collin
c22ddffe74 impl cli error macro 2020-08-21 16:17:08 -07:00