aiken

Author	SHA1	Message	Date
microproofs	fc1b8738df	fix: fixed how the ir was generating for expect Void, expect Bool, let Void add some acceptance tests for the various scenarios	2023-04-12 22:37:33 -04:00
Kasey White	ff290bc582	add expect false test	2023-04-09 17:43:56 -04:00
Kasey White	897011e9bc	misc changes	2023-04-09 17:43:56 -04:00
Kasey White	3f45b524b8	feat: unused validator args are not expect checked	2023-04-09 17:43:56 -04:00
Kasey White	8c8312a412	fix: expect true was always expecting false	2023-04-09 17:43:56 -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	c85240cbed	Fix exception when doing expect boolean = .. Add new Air Assert Bool Add acceptance test 76	2023-03-08 22:31:30 -05:00