aiken

Author	SHA1	Message	Date
microproofs	7dd13f8d73	feat: add end to end tests to replace acceptance tests with strict uplc comparison. Add acceptance tests 1,2, 6 as end to end tests	2023-04-19 16:08:55 -04:00
rvcas	c3870e340e	feat(codegen): support multi-validators * rename force_wrap to force * add a bunch of builder methods to Term<Name> * refactor one tiny location to show off builder methods * split generate into `generate` and `generate_test` * create wrap_as_multi_validator function Co-authored-by: Kasey White <kwhitemsg@gmail.com>	2023-03-17 18:40:44 -04:00
KtorZ	20f5baffa7	Enforce newline after assignment / clause. This leads to more consistent formatting across entire Aiken programs. Before that commit, only long expressions would be formatted on a newline, causing non-consistent formatting and additional reading barrier when looking at source code. Programs also now take more vertical space, which is better for more friendly diffing in version control systems (especially git).	2023-03-16 19:46:46 +01:00
Kasey White	31c280552d	add another validator	2023-03-12 00:25:26 -05:00
Kasey White	4a7bbc23df	fix: change in scope was applied in wrong place in pattern_ir for constr expect	2023-03-12 00:25:26 -05:00