vein.git - VEIN: VErification via Interaction Nets

	Commit message (Expand)	Author	Files	Lines
2026-03-25	added FashionMNIST	mirenn	1	-10/+13
2026-03-21	added MatMul and Flatten. Now Inpla produces a balanced tree of TermAdd	mirenn	2	-19/+64
2026-03-21	created class	mirenn	17	-1187/+344
2026-03-18	changed eval() for a proper parser. Now it also handles multiple outputs	mirenn	3	-6/+46
2026-03-18	added proof for ONNX translation	mirenn	4	-355/+442
2026-03-17	changed torch.fx to ONNX	mirenn	4	-164/+514
2026-03-16	defined modules	mirenn	10	-461/+1253
2026-03-12	changed to float	mirenn	4	-86/+84
2026-03-11	added constraint to prover	mirenn	2	-2/+18
2026-03-10	added scale	mirenn	3	-41/+44
2026-03-10	two nets	mirenn	3	-40/+117
2026-03-10	added MLP	mirenn	3	-35/+266
2026-03-10	added prover script	mirenn	4	-87/+112
2026-03-09	linear folding	mirenn	4	-114/+112