howardwu
|
d5cb59c206
|
Update ci.yml
|
2021-01-02 19:18:38 -04:00 |
|
howardwu
|
c20822e828
|
Update revision
|
2021-01-02 18:17:26 -04:00 |
|
howardwu
|
11fc60c9e0
|
Update revision
|
2020-12-30 18:07:20 -04:00 |
|
howardwu
|
f4ad1ffff4
|
Add revision for snarkvm
|
2020-12-30 12:54:48 -04:00 |
|
howardwu
|
2d64515763
|
Migrate to snarkVM
|
2020-12-30 12:40:45 -04:00 |
|
howardwu
|
141ee7eb0f
|
Resolve merge conflicts
|
2020-12-30 11:37:51 -04:00 |
|
howardwu
|
1d9215a1ac
|
Migrates to hot 1.1.4 and adds memory usage improvements for programs
|
2020-12-30 11:32:10 -04:00 |
|
howardwu
|
1e79277728
|
Remove tracing-subscriber dep from compiler
|
2020-12-20 10:20:13 -04:00 |
|
dependabot-preview[bot]
|
8894f10de7
|
Bump indexmap from 1.6.0 to 1.6.1
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.0 to 1.6.1.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.0...1.6.1)
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
|
2020-12-15 10:44:12 +00:00 |
|
howardwu
|
9038c5a17a
|
chore(leo): bump version for new release
|
2020-12-14 13:57:01 -04:00 |
|
collin
|
1dbdf23d5a
|
use index map in compiler module
|
2020-12-07 12:18:20 -05:00 |
|
howardwu
|
dbae691e49
|
chore(leo): bump version for new release
|
2020-12-03 16:16:42 -04:00 |
|
howardwu
|
74f7f24b19
|
chore(leo): bump version for new release
|
2020-12-01 22:57:11 -04:00 |
|
collin
|
69a8b61efe
|
add type-inference module
|
2020-11-12 10:28:24 -08:00 |
|
collin
|
667392237f
|
add symbol-table module
|
2020-11-11 14:57:39 -08:00 |
|
collin
|
d4b6a6d1f8
|
separate symbol-table module
|
2020-11-11 14:42:57 -08:00 |
|
collin
|
eb301d310b
|
separate type-inference module
|
2020-11-11 14:32:46 -08:00 |
|
collin
|
05a83950e5
|
bump versions fix conflicts
|
2020-11-11 12:04:48 -08:00 |
|
howardwu
|
0d966d1d5c
|
chore(leo): bump version for new release
|
2020-11-06 19:56:12 -08:00 |
|
collin
|
4da923eec4
|
rename core-packages -> core
|
2020-10-30 17:36:48 -07:00 |
|
collin
|
a8c5885836
|
rename core-ast -> ast
|
2020-10-30 17:31:09 -07:00 |
|
collin
|
ffcd93f781
|
rename ast -> grammar 1
|
2020-10-30 17:17:17 -07:00 |
|
collin
|
5a46cb5bb0
|
rename leo-core -> leo-core-packages
|
2020-10-30 13:02:44 -07:00 |
|
collin
|
7589fa65c5
|
rename dynamic-check -> type-inference 2
|
2020-10-30 12:49:01 -07:00 |
|
collin
|
7e7d1e58a0
|
rename typed -> core-ast 2
|
2020-10-30 11:48:40 -07:00 |
|
collin
|
7cf41558bc
|
rename static-check -> symbol-table 3
|
2020-10-30 10:51:45 -07:00 |
|
collin
|
f1490a994b
|
impl dynamic check errors
|
2020-10-23 15:23:48 -07:00 |
|
collin
|
d54749145b
|
use import parser errors in compiler
|
2020-09-18 12:26:51 -07:00 |
|
collin
|
22422c1b55
|
create separate module for imports
|
2020-09-18 12:04:10 -07:00 |
|
collin
|
38d7397c2c
|
add unit and integration tests for core unstable blake2s circuit
|
2020-09-16 13:41:50 -07:00 |
|
collin
|
5341c28805
|
naive call to blake2s function working
|
2020-09-15 12:33:28 -07:00 |
|
howardwu
|
2620ae7bc2
|
chore(leo): bump version for new release
|
2020-09-03 03:08:33 -07:00 |
|
howardwu
|
bf82bf4d1b
|
chore(leo): bump version for new release
|
2020-08-28 23:26:19 -07:00 |
|
howardwu
|
12971b9cbb
|
Update Cargo.toml
|
2020-08-27 01:33:00 -07:00 |
|
howardwu
|
cc183475ee
|
Update logging with custom formatter
|
2020-08-27 00:55:29 -07:00 |
|
collin
|
912a192b5c
|
use tracing in compiler
|
2020-08-21 16:36:50 -07:00 |
|
collin
|
3f1b1e857c
|
use tracing in package and leo cli
|
2020-08-21 16:06:48 -07:00 |
|
collin
|
da843e452e
|
use tracing for build command
|
2020-08-21 15:49:51 -07:00 |
|
howardwu
|
c07958e292
|
Clean up Cargo.toml
|
2020-08-21 05:09:48 -07:00 |
|
howardwu
|
b6238470cc
|
Update Cargo.toml
|
2020-08-21 03:07:15 -07:00 |
|
howardwu
|
4da4fc4344
|
Update cargo.toml
|
2020-08-21 02:54:04 -07:00 |
|
howardwu
|
0405ff4f89
|
Bump version and repair Leo update description
|
2020-08-19 03:00:30 -07:00 |
|
collin
|
ddfe8fa08a
|
merge master
|
2020-08-17 01:12:16 -07:00 |
|
collin
|
25468c4ed8
|
add verify local data commitment method to compiler
|
2020-08-16 00:28:39 -07:00 |
|
collin
|
5efa131c65
|
impl test context with test inputs
|
2020-08-15 22:09:22 -07:00 |
|
howardwu
|
f4f9b30dd2
|
Rename directory types -> typed
|
2020-08-02 21:02:25 -07:00 |
|
howardwu
|
c8b82f12a8
|
Rename directory leo-input -> input
|
2020-08-02 21:00:23 -07:00 |
|
howardwu
|
f40ba91784
|
Rename types -> typed
|
2020-08-02 20:56:22 -07:00 |
|
howardwu
|
3ccfd2c764
|
Adds ci_skip
|
2020-08-02 19:57:28 -07:00 |
|
collin
|
e22e962588
|
rename leo-inputs -> leo-input
|
2020-07-31 18:49:01 -07:00 |
|