Commit Graph

40 Commits

Author SHA1 Message Date
Jason Schrader
30b3715319 add sips with stubs and links to new loc 2021-02-15 09:39:56 -07:00
Ludovic Galabru
0d26dfd9e4 feat: getting rid of the implicit syntax 2020-12-01 17:24:35 -05:00
Aaron Blankstein
71ee71095c docs: update documentation, mostly by copying content from sip. delete content that is discussed elsewhere (or managed elsewhere, like the tutorials, sdk-quickstart 2020-04-17 15:31:12 -05:00
Terje Norderhaug
8c72d2cd76 Update booleans in sample clarity code 2020-03-28 14:56:47 -07:00
Ludovic Galabru
be3a249763 Fix typo 2020-02-19 17:06:20 -05:00
Ludovic Galabru
fe5fb0c430 Update SIP002 2020-02-12 15:50:25 -05:00
Aaron Blankstein
1d9382b128 add description of (at-block ...) to sip, update the map-... function names 2019-09-16 11:07:49 -05:00
Aaron Blankstein
a5fadb9152 sip edit: _strong_ static type system 2019-09-10 13:08:38 -05:00
Aaron Blankstein
5043c1e922 sip edit: strict _static_ type system 2019-09-10 13:06:11 -05:00
Aaron Blankstein
2320275365 lists as recursive types -> no need to track dimension. eliminate .expand_to_admit in favor of a more rigorous .least_supertype. update sip with a description of the type system 2019-08-30 12:19:00 -05:00
Aaron Blankstein
3ccd3f1bfc update sip-002 with tx-sender/contract-caller 2019-07-29 12:58:42 -05:00
Aaron Blankstein
1a7f45d791 tx-origin + tx-sender 2019-06-28 09:56:50 -05:00
Aaron Blankstein
1f3f810355 fix err to an err 2019-06-20 13:41:14 -05:00
Aaron Blankstein
b01078d5fc null -> none 2019-06-19 14:17:40 -05:00
Aaron Blankstein
42f1999fec find the other bool -> response type mentions 2019-06-19 14:16:40 -05:00
Aaron Blankstein
5aea922cb0 update tuple syntax. use errs/oks in public function responses 2019-06-19 14:14:50 -05:00
Aaron Blankstein
b20bd412e3 add test case for single argument to filter, correct SIP language. 2019-06-11 13:25:17 -05:00
Aaron Blankstein
3241f9d9a2 initial work on improving our type definitions 2019-06-04 10:12:53 -05:00
Aaron Blankstein
34096c3719 add (define-read-only ...) to SIP-002 2019-05-22 10:03:43 -05:00
Aaron Blankstein
85500cc396 Use 128-bit signed integer. 2019-01-23 17:14:51 -06:00
Aaron Blankstein
a5a71f5353 remove a confusing aside 2018-12-10 15:25:09 -06:00
Aaron Blankstein
da24b5a4fd comments on transaction fees, typos 2018-12-10 15:23:15 -06:00
Aaron Blankstein
f1e097bce6 add eager-binding note 2018-12-10 15:10:09 -06:00
Aaron Blankstein
67f0b35610 update text on true/false returns 2018-12-10 15:06:38 -06:00
Aaron Blankstein
c23535d2c8 stop calling functions transactions. more description of how static analysis will work, and how the execute-contract and publish-contract APIs are implemented 2018-12-07 15:11:59 -06:00
Aaron Blankstein
b6fb56db94 flesh out define 2018-12-07 09:57:24 -06:00
Aaron Blankstein
c9841df343 define-tx not deftx 2018-12-06 23:16:57 -06:00
Aaron Blankstein
d8d9087972 signing entity -> spending entity 2018-12-06 19:21:33 -06:00
Aaron Blankstein
c1e813c085 change contract-send-tx to as-contract. add example usage. 2018-12-06 19:20:33 -06:00
Aaron Blankstein
a0926def2e add note about future SIP on database 2018-12-06 16:31:18 -06:00
Aaron Blankstein
ced0fa9faf add example and signature for fetch-contract-entry 2018-12-06 16:29:58 -06:00
Aaron Blankstein
239b282c5b add note for syntactic sugars 2018-12-05 14:45:43 -06:00
Aaron Blankstein
0844262640 note on limits to buffer sizes, contract sizes, etc. 2018-12-05 14:37:37 -06:00
Aaron Blankstein
2c944809d4 add notes on (1) cost metrics and (2) interface with other components and db 2018-12-05 14:25:28 -06:00
Aaron Blankstein
cf1a6f8038 add reading from other smart contracts 2018-12-05 13:14:21 -06:00
Aaron Blankstein
c8374b1f3d describe cross-contract calls, smart contracts as principals, use tx-sender instead of signed-by? 2018-12-05 11:51:20 -06:00
Aaron Blankstein
f5087221bc globally unique preorders in the example contract. add note about full BNS contract. 2018-11-29 16:05:29 -06:00
Aaron Blankstein
8a1e7bed4b remove double As, specify signed/unsigned of integer type 2018-11-29 14:26:20 -06:00
Aaron Blankstein
b7f4100804 principles become principals 2018-11-29 12:47:47 -06:00
Aaron Blankstein
b99400daf3 add initial draft of smart contract language sip 2018-11-29 11:36:55 -06:00