| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | 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 | |
| |\| | ||||||
| | * | v0.7.3 | Shinya Sato | 2022-02-20 | 8 | -1691/+2263 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-12 | 3 | -9/+19 | |
| |\| | ||||||
| | * | 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 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-09 | 1 | -2/+2 | |
| |\| | ||||||
| | * | v0.7.2 | Shinya Sato | 2022-02-09 | 1 | -2/+2 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-09 | 1 | -2/+2 | |
| |\| | ||||||
| | * | Update Changelog.md | Shinya Sato | 2022-02-09 | 1 | -2/+2 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-09 | 11 | -357/+402 | |
| |\| | ||||||
| | * | v0.7.2 | Shinya Sato | 2022-02-09 | 11 | -357/+402 | |
| * | | Merge branch 'develop' | Shinya Sato | 2022-02-05 | 1 | -1/+1 | |
| |\| | ||||||
| | * | Update README.md | Shinya Sato | 2022-02-05 | 1 | -1/+1 | |
 |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |