vein.git - VEIN: VErification via Interaction Nets

	Commit message (Expand)	Author	Files	Lines
2026-03-21	created class	ericmarin	1	-0/+0
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