sophia

History

* Assume that void is a supertype of all types

* Add test for void supertype

* Unify functions with decls from implemented interfaces

* Rename delete_if_implementation

* Match only with function name and without typesig

2022-10-04 12:40:50 +03:00

contracts

Polymorphism fixes (#415 )

2022-10-04 12:40:50 +03:00

aeso_abi_tests.erl

Deprecate AEVM (#375 )

2022-05-10 15:33:59 +02:00

aeso_aci_tests.erl

Handle all user generated code errors in the type checker (#394 )

2022-07-25 19:48:46 +04:00

aeso_calldata_tests.erl

Handle all user generated code errors in the type checker (#394 )

2022-07-25 19:48:46 +04:00

aeso_compiler_tests.erl

Polymorphism fixes (#415 )

2022-10-04 12:40:50 +03:00

aeso_eunit_SUITE.erl

Add very basic ACI testing

2019-02-28 16:13:57 +01:00

aeso_parser_tests.erl

Polymorphism support (#357 )

2022-06-17 13:09:07 +04:00

aeso_scan_tests.erl

Letrec and letfun (#65 )

2019-05-10 13:27:57 +02:00

aeso_test_utils.erl

update changes from epoch master

2019-01-07 19:17:49 +01:00