vein.git, branch master VEIN: VErification via Interaction Nets http://git.ericmarin.dev/vein.git/atom?h=master 2026-04-13T19:38:16+00:00 New ONNX ops and tests 2026-04-13T19:38:16+00:00 ericmarin maarin.eric@gmail.com 2026-04-13T17:42:39+00:00 urn:sha1:fcbbc960f43137aa170b78ba0be2d89aec3bc766 New ops: Slice, Squeeze, Unsqueeze New tests based on papers: - Wide-to-Deep, Deep-to-Wide Transformation - Pruining of stably inactive (always negative) and active (always positive) ReLUs added MNIST, changed cache and parser 2026-04-13T08:55:06+00:00 ericmarin maarin.eric@gmail.com 2026-04-10T13:06:56+00:00 urn:sha1:8f4f24523235965cfa2041ed00cc40fc0b4bd367 changed name 2026-04-09T13:36:02+00:00 ericmarin maarin.eric@gmail.com 2026-04-08T12:58:51+00:00 urn:sha1:9fb816496d392638fa6981e71800466d71434680 fixed spacing in IF THEN ELSE 2026-04-01T14:20:32+00:00 ericmarin maarin.eric@gmail.com 2026-04-01T14:20:32+00:00 urn:sha1:d48822e9aa91903e77a1496ef559cd42d09ad6d0 refactored examples 2026-04-01T13:08:27+00:00 ericmarin maarin.eric@gmail.com 2026-03-31T14:43:47+00:00 urn:sha1:81d4d604aa43660b732b3538734a52d509d7c5df added ONNX Add and ONNX Sub 2026-03-31T14:43:27+00:00 ericmarin maarin.eric@gmail.com 2026-03-31T09:14:57+00:00 urn:sha1:d1b25fbde6b01529fd1bcfdd5778b6cb378eb865 completed proof 2026-03-30T14:56:37+00:00 ericmarin maarin.eric@gmail.com 2026-03-28T15:26:27+00:00 urn:sha1:dbfc224384cd38b26c3e32d4c4dd8be7bb6d5bdc added LICENSE 2026-03-26T20:27:10+00:00 ericmarin maarin.eric@gmail.com 2026-03-26T19:28:38+00:00 urn:sha1:3e338c3be65638ef1898c32c707c50422acafb18 added FashionMNIST 2026-03-25T09:23:07+00:00 ericmarin maarin.eric@gmail.com 2026-03-23T16:53:21+00:00 urn:sha1:689c34076d08e59b1382864f9efcd983c8665ae5 xd added MatMul and Flatten. Now Inpla produces a balanced tree of TermAdd 2026-03-21T12:08:17+00:00 ericmarin maarin.eric@gmail.com 2026-03-21T12:08:17+00:00 urn:sha1:4a9b66faae8bf362849b961ac2bf5dedc079c6ce