9 Commits

Include renames

Author	SHA1	Message	Date
Ulf Wiger	ed72e393ab	1st commit: add MLDSA sig verification	2026-01-29 14:14:33 +01:00
zxq9	dbab49936d	Renaming and preparing to remove oracles (#985) ... A few references to oracles still remain, but they have been removed as a feature, at least. Reviewed-on: #985 Reviewed-by: Ulf Wiger <ulfwiger@qpq.swiss> Co-authored-by: Craig Everett <zxq9@zxq9.com> Co-committed-by: Craig Everett <zxq9@zxq9.com>	2025-03-13 12:53:01 +09:00
Hans Svensson	78b758c337	[Ceres]: Allow arbitrary sized message in Crypto.verify_sig (#481) ... * Allow arbitrary sized msg in signature verification * Move Address.to_bytes documentation to correct place	2024-01-31 09:11:30 +01:00
Hans Svensson	dcea538e11	[Ceres]: Introduce AENSv2 to add raw data pointers (#426) ... Remove unused variable in AENSCompat	2024-01-31 09:11:30 +01:00
Radosław RowickiandGaith Hallak	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