11 commits

Author	SHA1	Message	Date
Simon Cruanes	6b09a562c5	comment out tests for now	2022-08-14 14:17:18 -04:00
Simon Cruanes	7d46a38e2c	fix compilation in unittest	2022-08-13 13:29:35 -04:00
Simon Cruanes	fc5ce9bf87	wip: make it compile	2022-08-08 21:52:47 -04:00
Simon Cruanes	2a8eb0c166	refactor tests for mini-cc	2022-08-08 21:22:33 -04:00
Simon Cruanes	68c03a39b3	feat(core-logic): add a few builtins (=, bool, ite, not, true, false)	2022-07-28 20:50:12 -04:00
Simon Cruanes	a4db8b6e94	small improvement	2022-07-28 15:27:14 -04:00
Simon Cruanes	e235a65567	test: add more to unittest/core-logic	2022-07-28 14:52:02 -04:00
Simon Cruanes	dbd20c999b	refactor test	2022-07-28 13:55:09 -04:00
Simon Cruanes	435845d1d4	update tests	2022-07-27 22:45:10 -04:00
Simon Cruanes	2db3343bcd	improve unittest for core-ast	2022-07-27 22:40:36 -04:00
Simon Cruanes	e52a7ac0ea	test: add basic unit-test for core-ast	2022-07-27 21:41:59 -04:00