vein.git, branch master VEIN: VErification via Interaction Nets http://git.mirenn.dev/vein.git/atom?h=master 2026-10-08T12:49:58+00:00 fixed model 2026-10-08T12:49:58+00:00 mirenn me@mirenn.dev 2026-06-20T11:30:33+00:00 urn:sha1:2b046d5be554d81f2e5841a26de3f62c4681aa43 balanced fanout 2026-06-10T12:28:22+00:00 mirenn me@mirenn.dev 2026-06-05T14:40:44+00:00 urn:sha1:0c63e81f1f851a07db4cecdc16b95d908f63d0a5 New ONNX ops and tests 2026-04-13T19:38:16+00:00 mirenn me@mirenn.dev 2026-04-13T17:42:39+00:00 urn:sha1:840b91f84a926562654c43a93b02fa9c77c6a62b 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 mirenn me@mirenn.dev 2026-04-10T13:06:56+00:00 urn:sha1:abac351e8d68edb45a54eac82e928deb19efda15 changed name 2026-04-09T13:36:02+00:00 mirenn me@mirenn.dev 2026-04-08T12:58:51+00:00 urn:sha1:5bdcc9d8b1a3fd7be2c7317fcd3819982a67d427 fixed spacing in IF THEN ELSE 2026-04-01T14:20:32+00:00 mirenn me@mirenn.dev 2026-04-01T14:20:32+00:00 urn:sha1:a7da490e7ede4135a1bd7e67d8dd7aab391c2011 refactored examples 2026-04-01T13:08:27+00:00 mirenn me@mirenn.dev 2026-03-31T14:43:47+00:00 urn:sha1:d28169f2ed3da94ade0ef800a6dfccaedf71f519 added ONNX Add and ONNX Sub 2026-03-31T14:43:27+00:00 mirenn me@mirenn.dev 2026-03-31T09:14:57+00:00 urn:sha1:613e848081a8c5fc6ddf70992a4b0f1532b4a14e completed proof 2026-03-30T14:56:37+00:00 mirenn me@mirenn.dev 2026-03-28T15:26:27+00:00 urn:sha1:f656703a0d87911627943bf9c8ada7d5952d8a41 added LICENSE 2026-03-26T20:27:10+00:00 mirenn me@mirenn.dev 2026-03-26T19:28:38+00:00 urn:sha1:3414dd9a6a412e5e87b19daef6b1c9ab630c749d