gmbytecode

History

* Introduce typereps

* Use typereps for registering oracles

* Add TTL to oracle register

* Introduce oracle query object and ORACLE_QUERY operation

* Stub the remaining oracle instructions

* Adapt oracle respond and extend

* Document oracle ops

* Add unit tests for all oracle instructions

2019-06-18 13:56:48 +02:00

asm_code

Pt 166233685 fate oracles (#52 )

2019-06-18 13:56:48 +02:00

aeb_data_test.erl

Add fate code pretty printer. Add symbol table to binary. Add tests of rundtrip serialization and deserialization.

2019-02-23 22:13:19 +01:00

aeb_fate_asm_test.erl

Pt 166233685 fate oracles (#52 )

2019-06-18 13:56:48 +02:00

aeb_serialize_test.erl

New representation of variant values. (#23 )

2019-03-29 14:52:22 +01:00

aebytecode_SUITE.erl

Copy respository files and add rebar.config

2018-12-21 10:27:02 +01:00