ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 19:51:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,607 Commits 54 Branches 46 Tags 340 MiB
b37de11116
Commit Graph

3607 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alessandro Coglio
b37de11116 [RFC] Minor edits (just form, no change of substance). 2021-10-01 10:46:06 -07:00
Alessandro Coglio
8d26cc5676 [RFC] Adjust heading levels according to new template. 2021-10-01 10:38:16 -07:00
Alessandro Coglio
43c1b29a52
Merge pull request #1348 from AleoHQ/leo-wasm 
[Implementation] WASM for Leo
 2021-09-30 09:45:16 -07:00
Collin Chin
419a6bd454
Update main.leo 2021-09-29 12:26:40 -07:00
damirka
4e45b1b327 adds error docs 2021-09-28 19:14:29 +03:00
damirka
e42a3186a0 Merge branch 'master' into leo-wasm 2021-09-28 19:13:01 +03:00
Alessandro Coglio
884061ffd6
Merge pull request #1369 from AleoHQ/fix-array-eq 
[Fix] Throw an error when comparing arrays of different lengths
 2021-09-28 09:10:05 -07:00
damirka
a1aa5326ad fixes eq for arrays with unspecified size 2021-09-28 11:09:56 +03:00
Alessandro Coglio
012770c2c0
Merge pull request #1361 from AleoHQ/rfc-scalar-methods 
[RFC] Some updates to the RFC for scalar methods.
 2021-09-27 13:13:26 -07:00
Alessandro Coglio
eb84e27018
Merge pull request #1360 from AleoHQ/rfc-statuses 
[RFC] Update some statuses.
 2021-09-27 12:45:34 -07:00
Eric McCarthy
547b714d82
fix typo 2021-09-27 11:58:06 -07:00
Eric McCarthy
322aaee280
Add section on implementation decisions. 2021-09-27 11:54:52 -07:00
Alessandro Coglio
67c34a6a25
Merge pull request #1367 from AleoHQ/abnf 
[ABNF] Remove 'string' from the keywords.
 2021-09-27 11:07:51 -07:00
Alessandro Coglio
4c3b0d344b
Merge pull request #1342 from AleoHQ/rfc 
[RFC] Initial draft of record/transaction RFC.
 2021-09-27 10:55:53 -07:00
Alessandro Coglio
95d0799f9e [RFC] Make some text more precise. 2021-09-27 10:47:59 -07:00
damirka
8120384ebc remove console.log 2021-09-27 19:53:11 +03:00
Damir S
ec8096a40f
Update wasm/src/lib.rs 
Co-authored-by: Mazdak Farrokhzad <twingoow@gmail.com>
 2021-09-27 17:52:55 +03:00
damirka
85059a682d Merge branch 'master' into leo-wasm 2021-09-25 12:14:46 +03:00
damirka
0aa6eabb0c adds README, extends error object 2021-09-25 12:13:59 +03:00
Alessandro Coglio
003758cdad [ABNF] Re-generate the markdown. 2021-09-24 15:46:33 -07:00
Alessandro Coglio
cc46ec060f [ABNF] Remove 'string' from the keywords. 
Now that the stdlib includes the type alias declaration

type string = [char; _];

in order for that type declaration to be legal and not "special", 'string' must
be an identifier.
 2021-09-24 15:43:16 -07:00
Alessandro Coglio
caf27b3243
Merge pull request #1363 from AleoHQ/clippy-cleanup 
Misc cleanups of warnings & etc
 2021-09-24 08:36:51 -07:00
damirka
aadd998665 fix matrix, remove sscache 2021-09-23 19:27:09 +03:00
damirka
e33b41ea1c install wasm-pack with cargo 2021-09-23 19:24:43 +03:00
damirka
dbf40f9d23 add Rust to CI 2021-09-23 19:14:38 +03:00
damirka
6ffd8a5e49 fix name of the CI 2021-09-23 19:06:27 +03:00
damirka
5d7fea6215 adds a CI 2021-09-23 18:59:36 +03:00
Mazdak Farrokhzad
3ad7d2fdb2 cleanup courtesy of clippy 2021-09-23 17:06:48 +02:00
damirka
1ffcede96c adds .ts tests for parser 2021-09-23 17:05:00 +03:00
Alessandro Coglio
1db16356ce [RFC] Update status. 2021-09-22 10:24:37 -07:00
Alessandro Coglio
551ac4d747 [RFC] Update grammar changes to apply to latest grammar. 2021-09-22 10:24:07 -07:00
Alessandro Coglio
30cce1a5f1 [RFC] Fix number. 2021-09-22 10:19:23 -07:00
Alessandro Coglio
2b0b460b9a [RFC] Update some statuses. 2021-09-22 10:16:01 -07:00
Alessandro Coglio
e08d2522f1 [RFC] Revise discussion of 'input' treatment. 
Incorporate suggestions from Eric and Mazdak on this.
 2021-09-21 09:49:36 -07:00
Alessandro Coglio
1fc9814421 [RFC] Incorporate suggestion. 2021-09-21 09:12:04 -07:00
Alessandro Coglio
151366ba5c [RFC] Add a new idea for handling transaction outputs. 2021-09-20 11:04:51 -07:00
Alessandro Coglio
d863d1e3ed [RFC] Mention also Output as suggested. 2021-09-20 10:07:49 -07:00
Alessandro Coglio
59cadadf2d [RFC] Incorporate naming suggestion. 2021-09-20 09:55:50 -07:00
Alessandro Coglio
0e96bf8d7d
Merge pull request #1346 from AleoHQ/feature/count-untested-errors 
Feature/count untested errors
 2021-09-20 09:30:29 -07:00
dependabot[bot]
85a3dddd8c
Bump dirs from 3.0.2 to 4.0.0 (#1347) 
Bumps [dirs](https://github.com/soc/dirs-rs) from 3.0.2 to 4.0.0.
- [Release notes](https://github.com/soc/dirs-rs/releases)
- [Commits](https://github.com/soc/dirs-rs/commits)

---
updated-dependencies:
- dependency-name: dirs
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: damirka <damirka.ru@gmail.com>
 2021-09-20 14:31:32 +03:00
dependabot[bot]
1eea668e4a
Bump tracing from 0.1.27 to 0.1.28 (#1355) 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.27 to 0.1.28.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.27...tracing-0.1.28)

---
updated-dependencies:
- dependency-name: tracing
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2021-09-20 14:03:34 +03:00
Alessandro Coglio
bdfc79e90a
Merge pull request #1352 from AleoHQ/more-tests 
[Tests] Adds .len() parser tests, sanitizes some tests
 2021-09-17 11:05:39 -07:00
Pranav Gaddamadugu
8b95f3b779 Enabled CircleCI, triggering again 2021-09-17 10:27:01 -07:00
Alessandro Coglio
a5d388681c
Merge pull request #1349 from AleoHQ/tgc-ci-formatting 
[tgc CI] make log more readable; allow tgc type inference to run even…
 2021-09-17 10:18:48 -07:00
Alessandro Coglio
b08e63124b [RFC] interface -> entrypoint 
This emerged as consensus from yesterday's meeting.
 2021-09-17 10:10:39 -07:00
Alessandro Coglio
43a4a6e414 [RFC] Fix typo. 2021-09-17 10:07:51 -07:00
Alessandro Coglio
c491a16f36 [RFC] Use x instead of * -- Eric M.'s suggestion. 2021-09-17 10:07:10 -07:00
Pranav Gaddamadugu
45c1e86b59 Trigger CI 2021-09-17 09:32:57 -07:00
damirka
af777c085d adds .len() parser tests 2021-09-17 17:39:28 +03:00
damirka
27d9fffab7 fix test expectations 2021-09-17 14:44:11 +03:00