4 Commits

Author	SHA1	Message	Date
gluax	a7c3696e90	merge testnet3 into required types, also remove identifier type	2022-05-02 19:43:46 -07:00
gluaxspeed	56996f989e	fix ternary bug	2021-08-18 01:09:45 -07:00
gluaxspeed	470a4075f8	refactor theorem to ast for out file hashes, migrate old tests	2021-07-16 03:20:36 -07:00
damirka	8464c5b9d2	i8 + mutability	2021-05-03 17:28:53 +03:00