| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | fixed model | ericmarin | 3 months | |
| thesis | using official template + fixing language errors | ericmarin | 3 months | |
| Age | Commit message | Author | Files | Lines |
| 2026-06-25 | fixed modelHEADmaster | ericmarin | 6 | -740/+114 |
| 2026-06-10 | balanced fanout | ericmarin | 20 | -60/+63 |
| 2026-04-13 | New ONNX ops and tests | ericmarin | 12 | -33/+640 |
| 2026-04-13 | added MNIST, changed cache and parser | ericmarin | 19 | -230/+147 |
| 2026-04-09 | 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 |
| [...] | ||||
| Clone | ||||
| https://git.mirenn.dev/vein.git | ||||
 |
index : vein.git | |
| VEIN: VErification via Interaction Nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |