6 Commits

Author	SHA1	Message	Date
gluaxspeed	470a4075f8	refactor theorem to ast for out file hashes, migrate old tests	2021-07-16 03:20:36 -07:00
gluax	bce10cc885	quick test fix	2021-05-22 18:21:11 -04:00
gluax	1c57eb4196	input string syntax	2021-05-22 17:57:05 -04:00
gluax	ddbdd485d2	Revert "change pest according to suggestion fixes it" ... This reverts commit c8e63a21d6.	2021-05-22 10:41:54 -04:00
gluax	c8e63a21d6	change pest according to suggestion fixes it	2021-05-20 20:10:00 -04:00
gluax	ca59ff3177	tests for now should be changed to use input strings when they are in	2021-05-20 14:30:12 -04:00