Commit Graph
259 Commits
Author SHA1 Message Date
pharpend 668fe623cd vdk_rlp appears done 2023-05-28 13:08:45 -06:00
pharpend 7b9df16196 fix vdk_base64 package name, faert appears to be done 2023-05-25 15:50:45 -06:00
pharpend e0fcb7b88a vdk_base58 appears done 2023-05-25 15:47:26 -06:00
pharpend be7b2dd219 base64 appears done 2023-05-25 15:15:19 -06:00
pharpend a548572de9 vdk_binary seems to be done 2023-05-25 15:13:16 -06:00
pharpend ee30eaaf7f [wip] factoring vdk out into several packages 2023-05-25 15:05:48 -06:00
pharpend 35ef2e0b1d vanillae project reorganization 2023-05-25 12:58:23 -06:00
pharpend 6c80c37efa bits more 2023-05-24 00:52:59 -06:00
pharpend 60f56cf25d i think i figured out the boundary case crap 2023-05-15 16:57:02 -06:00
pharpend 93ce93a3bf ts bitstring work 2023-05-12 18:31:30 -06:00
pharpend f63b7f6c7a start bitstring concat rewrite 2023-05-12 14:11:21 -06:00
pharpend eac235e3da bitstring concat test cases 2023-05-11 16:14:54 -06:00
pharpend d36fcf826d start documenting jex: 2023-05-09 16:16:43 -06:00
pharpend d6a8fa87dd vdk bitstring testing 2023-05-09 16:16:30 -06:00
Spivee 80e80f9f9e Complex AACI type coercion (#3)
* build complex and indirected types into AACI

* break up coerce and coerce_step

coerce_step handles the looping and accumulation logic, whereas coerce
just handles one term, and returns {ok, _} or {error, _}. This way
coerce can become recursive, and even without recursion becomes easier
to read, due to fewer nested tuples.

Pretty insignificant change, but it'll be nice to have something to diff
off of more cleanly.

* coerce some more types

Still haven't covered lists or tuples, but these were enough to cover a
real contract that I want to test properly, once I have a node to test
on.

* process types from all contracts in ACI

This includes the contract itself, which is added as an alias for
`contract`. This way the ACI can describe and use contract interfaces,
and `ct_*` contracts can be passed into vanillae.

* coerce lists and tuples
2023-05-09 20:11:31 +09:00
Craig Everett 21040bf4b8 minor 2023-05-07 12:32:19 +09:00
pharpend e99981b73e fix a couple of typos 2023-05-03 14:27:20 -06:00
pharpend 28ddd5ddb4 add bit concat procedure 2023-05-03 14:22:38 -06:00
pharpend c093445978 start js bitstring library 2023-05-03 13:44:15 -06:00
pharpend e470413f77 start sidekick docs 2023-05-02 16:45:20 -06:00
Craig Everett c8d1c8ae60 Version increase 2023-05-01 13:55:18 +09:00
Craig Everett be23f84037 Merge branch 'packaging' 2023-05-01 13:52:43 +09:00
Craig Everett 5a92682c22 Applicationize Vanillae and fix 'ok' assertion 2023-05-01 13:38:34 +09:00
Spivee e8c0242d19 Fix handle_down error message (#2)
* Fix handle_down error message

It was printing a tuple with `~s`, and also tried to pretty print a fat
call stack more than a hundred columns into the first line, which put
together made for some confusing exception-during-error-handling
messages in the erlang console.

* Switch to unicode formatting in handle_down
2023-05-01 13:37:53 +09:00
pharpend 892c9cd9da Merge branch 'pharpend/develop' of github.com:aeternity/Vanillae into pharpend/develop 2023-04-30 14:38:09 -06:00
pharpend c432a32de8 update awcp version as sidekick dep, polishing docs 2023-04-30 01:45:14 -06:00
pharpend 0e030cb395 Merge branch 'pharpend/develop' of github.com:aeternity/Vanillae into pharpend/develop 2023-04-29 17:06:44 -06:00
pharpend 478fcd123f trivial change to vb64 2023-04-28 18:44:52 -06:00
pharpend d79697a9c7 cleaning faert ts implementation 2023-04-28 18:44:29 -06:00
pharpend 662cdbd5de jrx prettification 2023-04-28 18:43:59 -06:00
pharpend a7ff4c5e2e add untested faert implementation 2023-04-21 18:30:59 -06:00
pharpend 261846aa7e move vanillae ts over here 2023-04-21 18:30:37 -06:00
Craig Everett 1b4b810936 Add zomp.meta and fix key_block typo 2023-04-21 11:51:09 +09:00
Craig Everett ab812e4285 Add zomp.meta, fix "key_block " typo. 2023-04-21 11:49:14 +09:00
pharpend da67b6a1ac add thing about passwords/crypto wallets 2023-04-08 20:34:13 -06:00
pharpend abcd435d01 update docs readme 2023-04-06 19:50:21 -06:00
pharpend bd8c94f5a6 draft of keccak explainer is done 2023-04-02 02:09:44 -06:00
pharpend a2eedda9ab have everythinig except the coordinate system 2023-04-02 01:46:32 -06:00
pharpend 4efc812130 update toc again 2023-04-02 00:10:45 -06:00
pharpend 05124629d7 update toc 2023-04-02 00:06:54 -06:00
pharpend 8adf16ffd8 start toc 2023-04-02 00:05:46 -06:00
pharpend db6cffe92c wrote up rho step 2023-04-01 23:37:59 -06:00
pharpend 9a91d6782a done with kek docs for the night 2023-04-01 03:01:11 -06:00
pharpend ce9937b9e4 theta 2023-04-01 02:31:00 -06:00
pharpend 5e107a5044 PIT FALLIN 2023-04-01 02:04:13 -06:00
pharpend 7e317d7151 starting inner keccak explanation 2023-04-01 02:00:47 -06:00
pharpend c2e21e502b document squeeze phase 2023-04-01 01:28:21 -06:00
pharpend 779fae089f kek: explain absorption 2023-04-01 00:44:45 -06:00
pharpend b1b5b37515 kek padding 2023-04-01 00:12:49 -06:00
pharpend 5d02fb0865 wip keccak docs 2023-03-31 23:42:56 -06:00