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

Remove integer bit operations

2019-01-25 16:09:31 +01:00

bad_events2.aes

Improve Events error message + more tests

2019-02-25 21:53:52 +01:00

bad_events.aes

Add checks on event constructor arguments to type checker

2019-02-08 14:16:06 +01:00

bad_include_and_ns.aes

Add error messages for bad include and nested namespace

2019-02-08 14:16:06 +01:00

basic_auth.aes

Test Auth.tx_hash compilation

2019-04-09 08:40:46 +02: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

Implement namespaces

2019-02-08 14:16:06 +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

deadcode.aes

Deadcode elimination (icode post pass)

2019-02-08 14:16:06 +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

include.aes

Add error messages for bad include and nested namespace

2019-02-08 14:16:06 +01:00

included2.aes

Add include directive

2019-02-08 14:16:06 +01:00

included.aes

Add include directive

2019-02-08 14:16:06 +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

Add builtin bit field type

2019-01-25 16:09:31 +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

namespace_clash.aes

Implement namespaces

2019-02-08 14:16:06 +01:00

namespaces.aes

Clean up test case

2019-02-08 14:16:06 +01:00

nodeadcode.aes

Deadcode elimination (icode post pass)

2019-02-08 14:16:06 +01:00

operators.aes

Remove integer bit operations

2019-01-25 16:09:31 +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

Add checks on event constructor arguments to type checker

2019-02-08 14:16:06 +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

Bind state and event primitives only in contracts (and with the right types)

2019-02-08 14:16:06 +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_clash.aes

Proper checking of types

2019-02-08 14:16:06 +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