vein.git - VEIN: VErification via Interaction Nets

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