projects / machines.hs.git / shortlog
| 2024-09-07 | Evgenii Akentev | Add Virtual CLS and SECD machines master | commit | commitdiff | tree | snapshot |
| 2024-09-07 | Evgenii Akentev | Add Virtual VEC machine | commit | commitdiff | tree | snapshot |
| 2024-09-07 | Evgenii Akentev | Add CAM virtual machine | commit | commitdiff | tree | snapshot |
| 2024-09-07 | Evgenii Akentev | Add Virtual CEK and Krivine machines | commit | commitdiff | tree | snapshot |
| 2024-09-06 | Evgenii Akentev | Add Abstract and Virtual sections | commit | commitdiff | tree | snapshot |
| 2024-09-06 | Evgenii Akentev | Cleanup | commit | commitdiff | tree | snapshot |
| 2024-09-05 | Evgenii Akentev | Add SE and EC | commit | commitdiff | tree | snapshot |
| 2024-09-05 | Evgenii Akentev | Add SEC machine | commit | commitdiff | tree | snapshot |
| 2024-09-05 | Evgenii Akentev | Add SECD | commit | commitdiff | tree | snapshot |
| 2024-09-04 | Evgenii Akentev | Add Krivine, CEK & stubs | commit | commitdiff | tree | snapshot |