7 Commits

Author	SHA1	Message	Date
Hans Svensson	51c523d6b0	Allow arbitrary sized msg in signature verification	2023-08-24 14:53:57 +02:00
Hans Svensson	31f8f36eb5	[Ceres]: Introduce AENSv2 to add raw data pointers (#426) ... Remove unused variable in AENSCompat	2023-08-24 14:45:12 +02:00
Radosław Rowicki	0af45dfd19	Deprecate AEVM (#375) ... * Deprecate AEVM * Fix test, changelog * Restore old rebar * rebar lock fix * undo export Co-authored-by: Gaith Hallak <gaithhallak@gmail.com> * undo export Co-authored-by: Gaith Hallak <gaithhallak@gmail.com> * Solve GH suggestions * Fix the docs * update docs * Remove unused tests * undo weird change Co-authored-by: Gaith Hallak <gaithhallak@gmail.com>	2022-05-10 15:33:59 +02:00
Radosław Rowicki	1d9f59fec3	Contract factories and bytecode introspection (#305) ... * Support for CREATE, CLONE and BYTECODE_HASH * Add missing files * Pushed the clone example through the typechecker * CLONE compiles * Fix dependent type in CLONE * Bytecode hash fixes * Refactor * Refactor 2 * move some logic away * Fixed some error messages. Type inference of child contract still does some random shit\n(mistakes arguments with result type) * CREATE sometimes compiles and sometimes not * Fix some scoping/constraint issues * works, needs cleanup * cleanup * Fix some tests. Remove optimization of singleton tuples * Fix default argument for clone * Cleanup * CHANGELOG * Mention void type * Address review, fix some dialyzer errors * Please dialyzer * Fix failing tests * Write negative tests * Docs * TOC * missing 'the' * missing 'the' * missing 'the' * missing 'the' * mention pre-fund * format * pre-fund clarification * format * Grammar in docs	2021-05-18 12:21:57 +02:00
Hans Svensson	b9acf24dca	Make String.aes a stdlib + add more string functions ... This means moving the FATE operations to StringInternal and adding to/from_list (and Char.to/from_int + Char.to_upper/lower).	2020-02-21 09:45:11 +01:00
Hans Svensson	db01e237c1	Add Oracle.expiry	2020-02-03 12:24:27 +01:00
Ulf Norell	d8adfce465	Tests for unapplied builtins	2019-09-04 10:45:43 +02:00