5 commits

Author	SHA1	Message	Date
Granahir2	a41dedd362	More congruence precision, backprop bug fix, disjunctive analysis!	2024-06-08 21:54:06 +02:00
Granahir2	2fc13a3ec4	Goto loop termination support	2024-06-04 17:55:32 +02:00
Granahir2	39f938226e	Ensure termination in while/for	2024-06-02 12:09:52 +02:00
Granahir2	041d492986	Fixed up signs, less naive func support	2024-06-01 19:29:10 +02:00
Granahir2	e6ecc3e9b0	Init commit	2024-05-29 11:47:47 +02:00