Alessandro Coglio
a15aba3c2d
Merge pull request #1231 from AleoHQ/rfc-bit-byte-conv
...
[RFC] Add an RFC for bit and byte conversions.
2021-08-17 10:07:17 -07:00
Alessandro Coglio
6047886446
[RFC] Extend bit/byte conversion RFC.
...
Add a paragraph clarifying what an adequate implementation strategy could be.
In any case, we are likely to go with methods on scalar types directly.
2021-08-16 10:48:24 -07:00
Alessandro Coglio
6e264b86ef
[RFC] Extend bit/byte conversion RFC.
...
Add an alternative in which we go to methods directly. This seems more likely at
this point, given that we seem to have a fairly simple and quick way to support
methods on scalar types that does not involve turning scalar types into circuit
types.
2021-08-16 10:44:10 -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
