ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-24 07:48:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,790 Commits 53 Branches 44 Tags 331 MiB
29cd920075
Commit Graph

2790 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluax
29cd920075 input, output and compiler tests 2021-05-13 07:16:59 -04:00
gluax
0ef7ca3d8e just need to fix input file parsing for chars to work 2021-05-12 18:56:27 -04:00
gluax
602300ea64 chars are implemented with no operations 2021-05-12 16:34:34 -04:00
gluax
10b97023ba type inference test update - though I would like to wait for compilers test merge? 2021-05-12 15:42:41 -04:00
gluax
90f9215a0b char lexer/tokenize/parsing done 2021-05-12 15:33:37 -04:00
gluax
819fc9087f char type added to ast and asg 2021-05-12 08:39:55 -04:00
Collin Chin
b3ec8ca8b9
Merge pull request #938 from AleoHQ/dependabot/cargo/self_update-0.27.0 
Bump self_update from 0.26.0 to 0.27.0
 2021-05-11 10:37:18 -07:00
Collin Chin
c084a3f5a6
Merge pull request #925 from AleoHQ/dependabot/cargo/sha2-0.9.4 
Bump sha2 from 0.9.3 to 0.9.4
 2021-05-11 09:54:06 -07:00
Collin Chin
0795b79016
Merge pull request #911 from AleoHQ/dependabot/cargo/tracing-subscriber-0.2.18 
Bump tracing-subscriber from 0.2.17 to 0.2.18
 2021-05-11 09:53:43 -07:00
Collin Chin
eda84a6264
Merge pull request #910 from AleoHQ/dependabot/cargo/tracing-0.1.26 
Bump tracing from 0.1.25 to 0.1.26
 2021-05-11 09:53:17 -07:00
Alessandro Coglio
602a2da067
Merge pull request #936 from AleoHQ/rfc-strings-clarify 
[RFC] Add a clarification.
 2021-05-11 09:26:43 -07:00
dependabot-preview[bot]
90d247daaf
Bump self_update from 0.26.0 to 0.27.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.26.0 to 0.27.0.
- [Release notes](https://github.com/jaemk/self_update/releases)
- [Changelog](https://github.com/jaemk/self_update/blob/master/CHANGELOG.md)
- [Commits](https://github.com/jaemk/self_update/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-11 10:50:33 +00:00
Alessandro Coglio
31bb04b395 [RFC] Add a clarification. 2021-05-10 19:47:34 -07:00
Alessandro Coglio
04e9bf2094
Merge pull request #930 from AleoHQ/doc-rfc-strings 
[RFC] Update according to today's meeting.
 2021-05-10 00:55:45 -07:00
Alessandro Coglio
b91dc7da4a [RFC] Fix typo found by Eric M. 2021-05-09 14:23:11 -07:00
Alessandro Coglio
1dcd226656
Merge pull request #931 from AleoHQ/fix-typo-in-error-msg 
Fix typo in error message.
 2021-05-08 14:21:23 -07:00
Alessandro Coglio
41e4b8f756
Merge pull request #932 from AleoHQ/abnf 
[ABNF] Expand some doc and break some lines.
 2021-05-08 14:20:58 -07:00
Alessandro Coglio
7ac1de7353 [ABNF] Expand some doc and break some lines. 
Explain the new syntax for circuit member variables.

Explain the tighter syntax for import declarations.

Keep lines to 80 columns max, so that they fit well in the figures in the LaTeX
document.
 2021-05-07 21:33:15 -07:00
Alessandro Coglio
7a6384e118 Fix typo in error message. 2021-05-07 17:29:33 -07:00
Alessandro Coglio
bca2bfcf93 [RFC] Update according to today's meeting. 2021-05-07 16:26:54 -07:00
Alessandro Coglio
16888656e1
Merge pull request #923 from AleoHQ/bug/import-bugs 
Import Bug Fixes
 2021-05-07 11:24:36 -07:00
gluax
f32a1e9ddb merge master, add a parser test to try and improve code coverage 2021-05-07 13:34:10 -04:00
Alessandro Coglio
5ee18b45c8
Merge pull request #928 from AleoHQ/rfc-strings-updates 
Strings RFC updates
 2021-05-07 09:19:58 -07:00
Alessandro Coglio
50e6f93a44 Fix typo found by Eric M. 
Also auto-remove trailing whitespace.
 2021-05-07 08:56:56 -07:00
Alessandro Coglio
554cc30c55 [RFC] Make a TODO clearer. 2021-05-06 21:08:44 -07:00
Alessandro Coglio
9c72b37d4d [RFC] Add discussion of ordering operations. 
This is based on a Slack conversation with Pratyush.
 2021-05-06 21:03:13 -07:00
Alessandro Coglio
fd42473b4a [RFC] Add a couple more ops to consider. 2021-05-06 20:31:21 -07:00
Alessandro Coglio
bda2dbf92d [RFC] Add TODO about \x.. escapes. 2021-05-06 20:25:03 -07:00
Alessandro Coglio
79fd365702 [RFC] Add discussion of conversions with (arrays of) integers. 2021-05-06 20:19:14 -07:00
Alessandro Coglio
6f5655f95f [RFC] Minor edits. 
Fix a few typos, improve some text, streamline some text.
 2021-05-06 20:19:03 -07:00
Alessandro Coglio
3efe3eab97
Merge pull request #926 from AleoHQ/rfc-strings-example 
[RFC Strings] Adds code samples to strings RFC
 2021-05-06 12:43:02 -07:00
Alessandro Coglio
2ddb474dce
Merge pull request #903 from AleoHQ/bug/abnf-circuit-grammar 
Bug/abnf-circuit-grammar
 2021-05-06 11:50:20 -07:00
damirka
6474f3f5ab adds 2 code samples to strings RFC 2021-05-06 15:28:45 +03:00
dependabot-preview[bot]
d88d57eb1c
Bump sha2 from 0.9.3 to 0.9.4 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.9.3 to 0.9.4.
- [Release notes](https://github.com/RustCrypto/hashes/releases)
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.9.3...sha2-v0.9.4)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-06 10:44:46 +00:00
Alessandro Coglio
15deef6dab
Merge pull request #924 from AleoHQ/doc/rfc-strings 
Make PR for Eric M.'s edits on the doc/rfc-strings branch
 2021-05-05 21:45:48 -07:00
Alessandro Coglio
4fb3d9cac8 Merge. 2021-05-05 20:34:16 -07:00
Alessandro Coglio
ca6495d636
Merge pull request #922 from AleoHQ/string-rfc-todos 
RFC Todos
 2021-05-05 20:09:45 -07:00
Alessandro Coglio
7450e27de3
Merge pull request #912 from AleoHQ/bug/909-const-vars-not-enforced 
Bug 909 Fix const vars not enforced
 2021-05-05 14:33:46 -07:00
gluax
29ca0d9a12 no empty import lists, star is a span, grammar fix 2021-05-05 16:10:51 -04:00
gluax
c063200d44 clippy fix 2021-05-05 14:57:48 -04:00
gluax
5587d8dd8d don't allow mixing of semi-colons and commas 2021-05-05 14:53:46 -04:00
gluax
2818d1404f some todos 2021-05-05 14:11:19 -04:00
gluax
f4c9c2c1f0 update grammar readme after master merge 2021-05-05 13:18:13 -04:00
Alessandro Coglio
7e83de8df4
Merge pull request #914 from AleoHQ/fix/abnf-identifier 
Fix/abnf identifier comment
 2021-05-04 12:35:28 -07:00
Eric McCarthy
e7f88a9849
add mention of Javascript and Rust 2021-05-04 12:10:07 -07:00
Alessandro Coglio
c79194bfa0
Merge pull request #908 from AleoHQ/doc/rfc-strings 
Add initial draft of string RFC, including some additions by @bendyarm.
 2021-05-04 11:56:10 -07:00
Alessandro Coglio
6b7999f0eb Use markdown for some of the added text. 2021-05-04 09:57:18 -07:00
Alessandro Coglio
d3e46386c1 Fix type names. 2021-05-04 09:56:25 -07:00
Eric McCarthy
2fc07908d7
fix typo in name 2021-05-04 08:50:09 -07:00
Eric McCarthy
050dc72952
Update 001-initial-strings.md 2021-05-04 00:56:31 -07:00