| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update README.md | Shinya Sato | 2022-05-02 | 1 | -1/+2 |
| | | |||||
| * | v0.8.2-1 | Shinya Sato | 2022-05-02 | 37 | -229/+2199 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-04-28 | 1 | -1/+1 |
| | | |||||
| * | v0.8.2 | Shinya Sato | 2022-04-28 | 32 | -260/+657 |
| | | |||||
| * | Delete .#-emacsI0w9oW | Shinya Sato | 2022-04-27 | 1 | -1/+0 |
| | | |||||
| * | Remove redundant letters | Shinya Sato | 2022-04-27 | 21 | -56/+3 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-04-27 | 1 | -1/+1 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-04-27 | 1 | -1/+1 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-04-27 | 1 | -6/+6 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-04-27 | 1 | -1/+1 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-04-16 | 1 | -1/+1 |
| | | |||||
| * | v0.8.1-2 | Shinya Sato | 2022-04-16 | 4 | -12/+16 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-04-16 | 1 | -1/+1 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-04-16 | 1 | -11/+11 |
| | | |||||
| * | Benchmarks for OCaml | Shinya Sato | 2022-04-16 | 11 | -5/+186 |
| | | |||||
| * | Update hanoi.in | Shinya Sato | 2022-03-26 | 1 | -1/+2 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-03-10 | 1 | -1/+3 |
| | | |||||
| * | v0.8.1-1 | Shinya Sato | 2022-03-10 | 8 | -58/+204 |
| | | |||||
| * | Create hanoi.in | Shinya Sato | 2022-03-10 | 1 | -0/+39 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-03-05 | 1 | -3/+3 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-03-03 | 1 | -3/+3 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-03-03 | 1 | -2/+2 |
| | | |||||
| * | v0.8.1 | Shinya Sato | 2022-03-03 | 2 | -1/+8 |
| | | |||||
| * | v0.8.1 | Shinya Sato | 2022-03-03 | 11 | -366/+850 |
| | | |||||
| * | v0.8.0 | Shinya Sato | 2022-02-28 | 2 | -10/+10 |
| | | |||||
| * | v0.8.0 | Shinya Sato | 2022-02-27 | 3 | -3/+0 |
| | | |||||
| * | v0.8.0 | Shinya Sato | 2022-02-27 | 12 | -307/+949 |
| | | |||||
| * | v0.7.3-1 | Shinya Sato | 2022-02-24 | 3 | -11/+40 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-02-21 | 1 | -1/+1 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-02-21 | 1 | -2/+2 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-02-21 | 1 | -1/+1 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-02-21 | 1 | -5/+5 |
| | | |||||
| * | v0.7.3 | Shinya Sato | 2022-02-20 | 8 | -1691/+2263 |
| | | |||||
| * | v0.7.2-1 | Shinya Sato | 2022-02-12 | 1 | -1/+1 |
| | | |||||
| * | v0.7.2-1 | Shinya Sato | 2022-02-12 | 1 | -2/+2 |
| | | |||||
| * | v0.7.2-1 | Shinya Sato | 2022-02-12 | 3 | -9/+19 |
| | | |||||
| * | v0.7.2 | Shinya Sato | 2022-02-09 | 1 | -2/+2 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-02-09 | 1 | -2/+2 |
| | | |||||
| * | v0.7.2 | Shinya Sato | 2022-02-09 | 11 | -357/+402 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-02-05 | 1 | -1/+1 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-02-05 | 1 | -2/+2 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-02-04 | 1 | -4/+4 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-02-04 | 1 | -1/+1 |
| | | |||||
| * | v0.7.1 | Shinya Sato | 2022-02-04 | 7 | -997/+2060 |
| | | |||||
| * | Update Changelog.md | Shinya Sato | 2022-02-03 | 1 | -1/+1 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-02-03 | 1 | -2/+2 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-02-01 | 1 | -1/+1 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-02-01 | 1 | -5/+6 |
| | | |||||
| * | Update README.md | Shinya Sato | 2022-01-31 | 1 | -3/+3 |
| | | |||||
| * | v0.7.0 | Shinya Sato | 2022-01-30 | 10 | -467/+1064 |
| | | |||||
 |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |