ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 01:01:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,636 Commits 53 Branches 44 Tags 331 MiB
e3ce9c785a
Commit Graph

152 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
eb4ee1428c Cleanup out dated docs 2022-08-18 15:45:30 -07:00
Alessandro Coglio
7f9b6b09da
Merge pull request #1414 from AleoHQ/rfc/static-circuit-members 
[RFC] Add a way to define static members to circuits to accesses RFC
 2021-10-27 21:46:34 -07:00
gluaxspeed
870dfe8a9d fix typo 2021-10-26 09:09:47 -07:00
Alessandro Coglio
582dfed17d [RFC] Make change suggested by Damir. 2021-10-25 21:23:06 -07:00
gluaxspeed
8600c13dd3 make agreed upon changes 2021-10-25 06:43:09 -07:00
Alessandro Coglio
ae26d4c7d4 [RFC] Add an RFC for const functions. 
The purpose of this RFC is to:
- Provide user documentation for this feature in a more accessible way than
  in the text for https://github.com/AleoHQ/leo/pull/1410, particularly after
  that PR is closed.
- Record the discussion in a recent meeting about broadening the notion of const
  function to map const arguments to const results rather than requiring const
  arguments, as a possible future extension.
 2021-10-24 22:19:33 -07:00
gluaxspeed
a34f36b9c1 add example for static constant 2021-10-21 11:31:40 -07:00
gluaxspeed
5654e8a7a6 add a way to define static members to circuits to accesses rfc 2021-10-21 11:27:02 -07:00
Alessandro Coglio
6e3900dfa2
Merge pull request #1380 from AleoHQ/rfc-import 
[RFC] Some minor edits and some additions to the imports RFC
 2021-10-07 09:12:16 -07:00
Alessandro Coglio
f3a1352ec2 [RFC] Minor edits to the text. 2021-10-05 21:01:47 -07:00
Alessandro Coglio
aa29ce30d4 [RFC] Move some text to explicit background section. 
According to new template, background is at the same level as (and before)
design.
 2021-10-05 20:54:59 -07:00
Alessandro Coglio
7d4198fe43 [RFC] Change some headling levels. 
In accordance with new template.
 2021-10-05 20:53:20 -07:00
Alessandro Coglio
93210e7879 [RFC] Revise the background on pacakges and imports. 
Starting to establish precise nomenclature and definitions for these Leo
concepts.
 2021-10-04 19:04:11 -07:00
Alessandro Coglio
bc9658b972 [RFC] Improve some wording. 2021-10-04 18:51:48 -07:00
Alessandro Coglio
ebc213342b
Merge pull request #1377 from AleoHQ/rfc-recursion 
[RFC] Clarify bounded recursion RFC
 2021-10-01 20:06:07 -07:00
Alessandro Coglio
5b77e1e283 [RFC] Add a background section. 2021-10-01 10:58:45 -07:00
Alessandro Coglio
b37de11116 [RFC] Minor edits (just form, no change of substance). 2021-10-01 10:46:06 -07:00
Alessandro Coglio
8d26cc5676 [RFC] Adjust heading levels according to new template. 2021-10-01 10:38:16 -07:00
Alessandro Coglio
d134548d0e
Merge pull request #1373 from AleoHQ/rfc-strings 
[RFC] Clarify structure of character/string RFC
 2021-09-30 22:13:53 -07:00
Alessandro Coglio
b91864828f
Merge pull request #1372 from AleoHQ/rfc-template 
[RFC] Extend template.
 2021-09-30 22:13:19 -07:00
Alessandro Coglio
a5de1d6ee3
Merge pull request #1368 from AleoHQ/rfc-rec-trans 
[RFC] Updates to record/transaction model
 2021-09-30 22:12:53 -07:00
Alessandro Coglio
aca438aaba [RFC] Move some text under future extensions. 2021-09-30 10:15:15 -07:00
Alessandro Coglio
8b39f54165 [RFC] Move inlining examples to background section. 2021-09-30 10:10:23 -07:00
Alessandro Coglio
d633f93f6f [RFC] Use header levels consistent with (new) template. 2021-09-30 09:55:52 -07:00
Alessandro Coglio
87c8ec2923 [RFC] Move future extensions under future extensions. 
Also add subsections for each future feature.

Also tweak/improve some wording.
 2021-09-29 10:26:53 -07:00
Alessandro Coglio
6340929f28 [RFC] Move future extensions section to the end. 2021-09-29 10:17:09 -07:00
Alessandro Coglio
4bbbac131e [RFC] Use heading levels accoring to template. 2021-09-29 10:15:46 -07:00
Alessandro Coglio
b966b1833c [RFC] Generalize some text. 2021-09-29 10:13:24 -07:00
Alessandro Coglio
c3dab6a153 [RFC] Move future extensions section last. 
Since it may refer to something discussed under alternatives, it makes more
sense to put this after that.
 2021-09-29 10:05:22 -07:00
Alessandro Coglio
2e43c0c58f [RFC] Extend template. 2021-09-28 22:46:38 -07:00
Alessandro Coglio
9daeaf41e0 [RFC] Add some text about input/output files. 2021-09-27 14:25:35 -07:00
Alessandro Coglio
acd217036d [RFC] Move some text under 'alternatives'. 2021-09-27 14:14:18 -07:00
Alessandro Coglio
8f6d1a2d89 [RFC] Add subsection about transaction I/O access. 2021-09-27 13:49:51 -07:00
Alessandro Coglio
da66672a6f [RFC] Add subsection for entry point I/O types. 2021-09-27 13:39:23 -07:00
Alessandro Coglio
012770c2c0
Merge pull request #1361 from AleoHQ/rfc-scalar-methods 
[RFC] Some updates to the RFC for scalar methods.
 2021-09-27 13:13:26 -07:00
Alessandro Coglio
52eedad24c [RFC] Put transaction inputs/outputs into subsection. 2021-09-27 13:05:42 -07:00
Alessandro Coglio
f525d34922 [RFC] Move text on multiple entry points to subsection. 
Also improve that text.
 2021-09-27 12:47:54 -07:00
Alessandro Coglio
eb84e27018
Merge pull request #1360 from AleoHQ/rfc-statuses 
[RFC] Update some statuses.
 2021-09-27 12:45:34 -07:00
Alessandro Coglio
184243b471 [RFC] Make title and summary more precise. 
We are improving the current model, not creating a new one.
 2021-09-27 12:38:24 -07:00
Alessandro Coglio
4c95d41c31 [RFC] Move background to new section. 2021-09-27 12:30:13 -07:00
Alessandro Coglio
5ee579005c [RFC] Add link to Zexe paper. 
Other small improvements to the text.
 2021-09-27 12:27:18 -07:00
Eric McCarthy
547b714d82
fix typo 2021-09-27 11:58:06 -07:00
Eric McCarthy
322aaee280
Add section on implementation decisions. 2021-09-27 11:54:52 -07:00
Alessandro Coglio
4c3b0d344b
Merge pull request #1342 from AleoHQ/rfc 
[RFC] Initial draft of record/transaction RFC.
 2021-09-27 10:55:53 -07:00
Alessandro Coglio
95d0799f9e [RFC] Make some text more precise. 2021-09-27 10:47:59 -07:00
Alessandro Coglio
1db16356ce [RFC] Update status. 2021-09-22 10:24:37 -07:00
Alessandro Coglio
551ac4d747 [RFC] Update grammar changes to apply to latest grammar. 2021-09-22 10:24:07 -07:00
Alessandro Coglio
30cce1a5f1 [RFC] Fix number. 2021-09-22 10:19:23 -07:00
Alessandro Coglio
2b0b460b9a [RFC] Update some statuses. 2021-09-22 10:16:01 -07:00
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