ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-19 16:21:45 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,266 Commits 54 Branches 46 Tags 339 MiB
402ad7aabb
Commit Graph

3266 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
damirka
e2492ba9e4 more constraints checks 2021-05-12 20:47:03 +03:00
damirka
cb2bd62ea9 Merge branch 'master' into compiler-tests 2021-05-12 20:02:03 +03:00
damirka
17b59fe96f remove otests folder 2021-05-12 19:45:01 +03:00
damirka
6138f8e719 removed old compiler tests 2021-05-12 19:39:27 +03:00
gluax
819fc9087f char type added to ast and asg 2021-05-12 08:39:55 -04:00
dependabot-preview[bot]
2812248a2b
Bump sha2 from 0.9.4 to 0.9.5 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.9.4 to 0.9.5.
- [Release notes](https://github.com/RustCrypto/hashes/releases)
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.9.4...sha2-v0.9.5)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-12 10:51:08 +00:00
damirka
b20f8a0369 added doc 2021-05-11 21:16:55 +03: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
damirka
5d018f4ad2 u* 2021-05-10 21:11:31 +03:00
damirka
1a15ad3a8f i* 2021-05-10 20:19:19 +03:00
damirka
112efb100c clippy 2021-05-10 14:12:31 +03: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
damirka
4fcce10329 remove unnecessary mod 2021-05-06 14:58:36 +03:00
damirka
a39197af62 add const test 2021-05-06 14:52:20 +03:00
damirka
acf5e1dc08 part revert clippy, fix parser 2021-05-06 14:48:41 +03:00
damirka
ac57fe6410 test conflicts + clippy 2021-05-06 14:27:42 +03:00
damirka
6bb14425fd Merge branch 'master' into compiler-tests 2021-05-06 14:15:03 +03:00
damirka
e3983bfa90 array 2021-05-06 14:01:42 +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