ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-30 23:33:27 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,300 Commits 53 Branches 44 Tags 331 MiB
044b2a10a4
Commit Graph

228 Commits

Author SHA1 Message Date
Alessandro Coglio
1bc19d8b1c [RFC] Extend the native functions RFC a bit more. 
Explicate how the initially proposed design is consistent with Java, and how the
native implementations live in separate files in that design. This better paves
the way to the more recent variant of this proposal, currently discussed under
alternatives but that may be eventually "swapped" if that's also the rest of the
team's consensus.
 2021-08-16 10:22:04 -07:00
Alessandro Coglio
16daa63dea [RFC] Extend native functions RFC based on discussion with Jon. 2021-08-16 10:19:16 -07:00
Alessandro Coglio
110b05bfc2 [RFC] Improve title as suggested by Jon. 2021-08-16 10:11:52 -07:00
gluaxspeed
54eb95c62d Change RFC based on discussion 2021-08-13 18:21:39 -07:00
Alessandro Coglio
f1384787ee [RFC] Initial proposal for native functions. 2021-08-13 12:00:19 -07:00
gluaxspeed
fe3de3900e add rfc for primtive types as circuits 2021-08-12 01:30:24 -07:00
damirka
c8706dd582 adds compiler phases pdf 2021-08-05 20:17:10 +03:00
Alessandro Coglio
87db1bfdb6 [RFC] Add an RFC for bit and byte conversions. 2021-08-03 13:28:57 -07:00
Alessandro Coglio
16947a2808
Merge pull request #1202 from AleoHQ/rfc-built-in-decls 
[RFC] Initial draft of RFC for built-in declarations.
 2021-07-28 11:07:41 -07:00
Alessandro Coglio
c655b636d3
Merge pull request #1187 from AleoHQ/rfc-type-aliases 
[RFC] Initial RFC for type aliases.
 2021-07-28 11:03:35 -07:00
Alessandro Coglio
542638baf9 [RFC] Initial draft of RFC for built-in declarations. 
This has been written to be more broad than type aliases, which were the initial
inspiration for this.
 2021-07-27 13:38:22 -07:00
Alessandro Coglio
14d8c261a1 [RFC] Expand discussion on length operator. 
In particular, this captures a previous GitHub discussion with Jon and Elijah.
 2021-07-26 12:54:20 -07:00
Alessandro Coglio
4a8b857b27 [RFC] Add exmaples to type alias RFCs. 
As suggested by Jon.
 2021-07-23 23:22:56 -07:00
Alessandro Coglio
4919b2cc02 [RFC] Divide 'Design' section into subsections. 2021-07-23 23:13:46 -07:00
Alessandro Coglio
7ea35ef7ab [RFC] Initial RFC for type aliases. 2021-07-23 22:05:12 -07:00
Alessandro Coglio
2605e0a0ee [RFC] Updates some statuses. 2021-07-23 20:32:13 -07:00
Alessandro Coglio
443d02783f
Merge pull request #1166 from AleoHQ/rfc-arrays-no-size 
[RFC] Initial draft for array types with unspecified size.
 2021-07-23 20:27:39 -07:00
Alessandro Coglio
8ae399a412 [RFC[ Add bubble sort as an additional example. 
This was the inspiring example.
 2021-07-21 00:09:17 -07:00
Alessandro Coglio
93bd1dcc4f [RFC] Add idea of <bound> <sign> <var> <sign> <bound>. 2021-07-21 00:02:04 -07:00
Alessandro Coglio
98ce2cf05d [RFC] Discuss idea of explicit up/down indication. 2021-07-20 23:58:11 -07:00
Alessandro Coglio
f1ba1c5806 [RFC] Discuss alternative proposal about flipping bounds. 2021-07-20 23:51:53 -07:00
Alessandro Coglio
8adaff8a76 [RFC] Add an observation based on previous discussion. 2021-07-20 23:29:45 -07:00
Alessandro Coglio
9c2b61b346 [RFC] Move a discussion under 'Alternatives'. 2021-07-20 23:22:12 -07:00
Alessandro Coglio
590ef07e0a [RFC] Add a subsection title for mocking under alternatives. 
This is because the next commits will be adding more subsections there.
 2021-07-20 23:18:40 -07:00
Alessandro Coglio
09f7e4b10d
Merge pull request #1172 from AleoHQ/rfc-import-stabilization 
[RFC] Update import stabilization RFC to follow changes
 2021-07-20 11:08:23 -07:00
damirka
66fbc644d0 grammar fixes 2021-07-20 20:55:45 +03:00
damirka
d986621e1b update rfc to follow changes 2021-07-20 18:04:42 +03:00
Alessandro Coglio
c47a9e47d1 [RFC] Add discussion of loop step and direction. 2021-07-19 17:28:38 -07:00
Alessandro Coglio
229d45d807 Fix RFC number in title. 
Also remove some trailing whitespace.
 2021-07-16 17:55:13 -07:00
Alessandro Coglio
8f26d4d527 [RFC] Initial draft for array types with unspecified size. 2021-07-16 17:12:43 -07:00
Alessandro Coglio
a0923b95c9 [RFC] Extend the countdown loops RFC. 
Discuss a possible extension to designate also the starting bound as inclusive
or exclusive, and discuss (a)symmetries and options.
 2021-07-09 09:59:33 -07:00
Alessandro Coglio
0d3e53e754
Merge pull request #1067 from AleoHQ/backward-loops-rfc 
[RFC] Adds countdown loops RFC
 2021-07-08 14:20:57 -07:00
Alessandro Coglio
82a5527ea0 [RFC] Update the type casts RFC. 
Based on consensus within the Leo team, now the RFC prescribes the
value-preserving semantics. The discussion on value-changing semantics has been
moved to the 'Alternatives' section. Other text has been adapted and improved to
reflect the chosen approach (before, value-preserving and value-changing were
presented as two possible candidates for type casts).
 2021-07-06 16:12:37 -07:00
damirka
d27375d9d6 fix another typo 2021-07-05 19:57:37 +03:00
damirka
cc47350322 fix typo in comment 2021-07-05 16:31:46 +03:00
damirka
d1f8e52eba rework example to shaker sort 2021-07-05 16:28:50 +03:00
damirka
5f840e3b1e fix example - syntax outdated 2021-07-05 15:58:10 +03:00
damirka
f4e270ffd2 post review fixes 2021-07-05 15:47:01 +03:00
Alessandro Coglio
b10343ce7f
Merge pull request #1072 from AleoHQ/imports-stabilization 
[RFC] Extending scope of the RFC to include proving system and curve
 2021-07-02 09:45:13 -07:00
damirka
35660c851b grammar fixes 2021-07-01 19:14:06 +03:00
Alessandro Coglio
322518c196
Merge pull request #1056 from AleoHQ/rfc-type-casts 
[RFC] Add initial RFC for type casts.
 2021-06-30 22:04:28 -07:00
Alessandro Coglio
98b59566f1
Fix typo. 2021-06-30 14:47:34 -07:00
damirka
91078a4414 small edits 2021-06-30 22:14:36 +03:00
damirka
b371fecaea wrap up 2021-06-30 22:00:48 +03:00
Alessandro Coglio
3413f608eb [RFC] Incorporate suggestions from Eric M. 2021-06-29 10:59:23 -07:00
damirka
34777842e5 draft updates for ps and curves 2021-06-28 21:20:45 +03:00
damirka
ad823ae8eb count down to countdown 2021-06-28 20:37:25 +03:00
damirka
f67c45774f adds countdown loops rfc 2021-06-27 20:18:07 +03:00
damirka
1083fc80c2 grammar fixes 2021-06-23 13:07:44 +03:00
Alessandro Coglio
ffd2a81b60 [RFC] Add initial RFC for type casts. 2021-06-22 14:56:17 -07:00
damirka
7b150f3a19 draft for imports RFC 2021-06-22 19:45:19 +03:00
Alessandro Coglio
414cddb96d [RFC] Add concrete proposal for compiler option. 
This is based on today's discussion at the compiler sync. The rationale for the
proposed name is explained in the added text. Open to change, as always.
 2021-06-09 22:12:33 -07:00
Alessandro Coglio
8242cf4eb5
Merge pull request #1011 from AleoHQ/rfc-recursion 
Add RFC for bounded recursion.
 2021-06-08 21:55:05 -07:00
Eric McCarthy
27499429a7
Update 002-bounded-recursion.md 
minor fixups
 2021-06-08 18:32:05 -07:00
Alessandro Coglio
316e781c19 Update status of strings RFC. 2021-06-07 14:09:38 -07:00
Alessandro Coglio
696f877e5b Add RFC for bounded recursion. 2021-06-06 22:01:18 -07:00
Eric McCarthy
b59b77df30
Disallow underbars in \u{} escapes. 
Rust allows `\u{1_____0__F____F______FF__________________________}` to mean `\u{10FFFF}`, in both char and string literals.  This PR, if accepted, would disallow this syntax in Leo char and string literals.
 2021-06-06 20:10:06 -07:00
Eric McCarthy
37e9e35bf4
Update 001-initial-strings.md 
Add references to Rust documentation on character literal syntax and string literal syntax.  Remove example of empty string.
 2021-05-26 09:10:00 -07:00
Alessandro Coglio
31bb04b395 [RFC] Add a clarification. 2021-05-10 19:47:34 -07:00
Alessandro Coglio
b91dc7da4a [RFC] Fix typo found by Eric M. 2021-05-09 14:23:11 -07:00
Alessandro Coglio
bca2bfcf93 [RFC] Update according to today's meeting. 2021-05-07 16:26:54 -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
damirka
6474f3f5ab adds 2 code samples to strings RFC 2021-05-06 15:28:45 +03:00
Alessandro Coglio
4fb3d9cac8 Merge. 2021-05-05 20:34:16 -07:00
gluax
2818d1404f some todos 2021-05-05 14:11:19 -04:00
Eric McCarthy
e7f88a9849
add mention of Javascript and Rust 2021-05-04 12:10:07 -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
Alessandro Coglio
b8f61a2d7f Add initial draft of string RFC. 2021-05-02 14:03:08 -07:00
Damir Shamanaev
df8bcb556c initial commit for RFCs 2021-01-13 17:12:35 +03:00