| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | v0.8.2-1 | Shinya Sato | 2022-05-02 | 37 | -229/+2199 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-04-28 | 32 | -260/+657 | |
| |\| | ||||||
| | * | Update README.md | Shinya Sato | 2022-04-28 | 1 | -1/+1 | |
| | * | v0.8.2 | Shinya Sato | 2022-04-28 | 32 | -260/+657 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-04-27 | 1 | -1/+0 | |
| |\| | ||||||
| | * | Delete .#-emacsI0w9oW | Shinya Sato | 2022-04-27 | 1 | -1/+0 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-04-27 | 22 | -62/+9 | |
| |\| | ||||||
| | * | 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 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-04-16 | 1 | -1/+1 | |
| |\| | ||||||
| | * | Update README.md | Shinya Sato | 2022-04-16 | 1 | -1/+1 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-04-16 | 4 | -12/+16 | |
| |\| | ||||||
| | * | v0.8.1-2 | Shinya Sato | 2022-04-16 | 4 | -12/+16 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-04-16 | 12 | -16/+197 | |
| |\| | ||||||
| | * | 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 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-03-26 | 1 | -1/+2 | |
| |\| | ||||||
| | * | Update hanoi.in | Shinya Sato | 2022-03-26 | 1 | -1/+2 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-03-10 | 1 | -1/+3 | |
| |\| | ||||||
| | * | Update Changelog.md | Shinya Sato | 2022-03-10 | 1 | -1/+3 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-03-10 | 8 | -58/+204 | |
| |\| | ||||||
| | * | v0.8.1-1 | Shinya Sato | 2022-03-10 | 8 | -58/+204 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-03-10 | 1 | -0/+39 | |
| |\| | ||||||
| | * | Create hanoi.in | Shinya Sato | 2022-03-10 | 1 | -0/+39 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-03-05 | 1 | -3/+3 | |
| |\| | ||||||
| | * | Update Changelog.md | Shinya Sato | 2022-03-05 | 1 | -3/+3 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-03-03 | 1 | -3/+3 | |
| |\| | ||||||
| | * | Update Changelog.md | Shinya Sato | 2022-03-03 | 1 | -3/+3 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-03-03 | 1 | -2/+2 | |
| |\| | ||||||
| | * | Update Changelog.md | Shinya Sato | 2022-03-03 | 1 | -2/+2 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-03-03 | 11 | -366/+857 | |
| |\| | ||||||
| | * | v0.8.1 | Shinya Sato | 2022-03-03 | 2 | -1/+8 | |
| | * | v0.8.1 | Shinya Sato | 2022-03-03 | 11 | -366/+850 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-28 | 2 | -10/+10 | |
| |\| | ||||||
| | * | v0.8.0 | Shinya Sato | 2022-02-28 | 2 | -10/+10 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-27 | 9 | -307/+946 | |
| |\| | ||||||
| | * | v0.8.0 | Shinya Sato | 2022-02-27 | 3 | -3/+0 | |
| | * | v0.8.0 | Shinya Sato | 2022-02-27 | 12 | -307/+949 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-24 | 3 | -11/+40 | |
| |\| | ||||||
| | * | v0.7.3-1 | Shinya Sato | 2022-02-24 | 3 | -11/+40 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-21 | 1 | -5/+5 | |
| |\| | ||||||
| | * | 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 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-20 | 8 | -1691/+2263 | |
| |\| | ||||||
 |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |