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
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
Alessandro Coglio
a5f74195cf
Merge pull request #1333 from AleoHQ/array-len-function
...
[Feature] Adds .len() postfix to arrays
2021-09-15 10:10:32 -07:00
Alessandro Coglio
4c816dd024
[RFC] Fix two typos.
...
Thanks to Errol Drummond for reporting these.
2021-09-14 09:09:02 -07:00
Alessandro Coglio
65cfffac99
[RFC] Initial draft of record/transaction RFC.
2021-09-13 10:13:47 -07:00
damirka
4f41f09ef2
Merge branch 'master' into array-len-function
2021-09-13 14:26:38 +03:00
damirka
158576f8f5
changed length() to len()
2021-09-10 16:55:32 +03:00
gluaxspeed
93f9f7df30
update built-ins rfc
2021-09-10 06:50:01 -07:00
Alessandro Coglio
dc9864d89c
Merge pull request #1311 from AleoHQ/rfc-tweak
...
[RFC] Streamline RFC author information.
2021-09-08 09:37:32 -07:00
gluaxspeed
80eeacb3c5
fix some refrences
2021-09-07 09:24:00 -07:00
gluaxspeed
9ac0510cb9
update rfc #8
2021-09-07 03:58:28 -07:00
Alessandro Coglio
eee2db223d
[RFC] Streamline RFC author information.
2021-08-31 09:11:26 -07:00
Alessandro Coglio
a42b7f35c2
[RFC] Update an ABNF rule fragment.
...
This was referring to a previous version of the rule, and presumably it is the
reason why 'true' and 'false' were accidentally re-added to the keyword rule.
2021-08-27 11:28:24 -07:00
Alessandro Coglio
378599afba
[RFC] Add more proposed mods to ABNF grammar.
2021-08-23 14:39:59 -07:00
Alessandro Coglio
b2cce0e140
[RFC] Avoid repeated word.
2021-08-23 14:25:15 -07:00
Alessandro Coglio
0732ea15b6
Merge pull request #1248 from AleoHQ/rfc/primitive-types-as-circuits
...
[RFC] Add an RFC for Scalar Methods
2021-08-18 10:53:08 -07:00
Alessandro Coglio
9c3c57c9cd
Merge pull request #1252 from AleoHQ/rfc-native-functions
...
[RFC] Initial proposal for better native functions.
2021-08-18 10:18:09 -07:00
gluaxspeed
c140e666a5
make suggested changes, also renumber as it would conflict with 009 bits/bytes
2021-08-16 11:38:01 -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
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
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