sophia

reason

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

05_greeter.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

abort_test_int.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

abort_test.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

aens.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

aeproof.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

all_syntax.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

builtin_bug.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

builtin_map_get_bug.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

chain.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

channel_env.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

channel_on_chain_contract_name_resolution.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

channel_on_chain_contract_oracle.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

channel_remote_on_chain_contract_name_resolution.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

chess.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

complex_types.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

contract_types.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

counter.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

dutch_auction.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

environment.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

erc20_token.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

events.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

exploits.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

factorial.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

fundme.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

identity.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

init_error.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

init_type_error.aes

Add missing type check of init function

2019-01-08 12:27:39 +01:00

Makefile

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

map_of_maps.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

maps_benchmark.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

maps.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

minimal_init.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

missing_fields_in_record_expression.aes

Check for missing fields in record expressions

2019-01-11 14:23:53 +01:00

missing_state_type.aes

Add missing type check of init function

2019-01-08 12:27:39 +01:00

multi_sig.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

multiplication_server.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

name_clash.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

operators.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

oracles_err.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

oracles_gas.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

oracles_no_vm.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

oracles.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

polymorphism_test.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

primitive_map.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

remote_call.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

remote_gas_test.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

remote_oracles.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

remote_state.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

remote_type_check.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

remote_value_on_err.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

simple_storage.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

simple.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

spend_test.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

stack.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

state_handling.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

strings.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

test.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

type_errors.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

upfront_charges.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

value_on_err.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

variant_types.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

voting.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00

withdrawal.aes

First test work commit, don't touch

2018-12-22 01:23:40 +01:00