vein.git - VEIN: VErification via Interaction Nets

	Commit message (Expand)	Author	Files	Lines
2 days	New ONNX ops and testsHEAD master	ericmarin	1	-7/+31
3 days	added MNIST, changed cache and parser	ericmarin	19	-230/+147
7 days	changed name	ericmarin	7	-528/+8
2026-04-01	fixed spacing in IF THEN ELSE	ericmarin	1	-10/+10
2026-04-01	refactored examples	ericmarin	29	-83/+646
2026-03-31	added ONNX Add and ONNX Sub	ericmarin	3	-22/+142
2026-03-30	completed proof	ericmarin	10	-510/+10320
2026-03-26	added LICENSE	ericmarin	17	-188/+796
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