| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update for n-queens | Shinya Sato | 2022-08-28 | 14 | -5/+425 |
| | | |||||
| * | v0.8.2-2 | Shinya Sato | 2022-05-30 | 19 | -12/+620 |
| | | |||||
| * | v0.8.2-1 | Shinya Sato | 2022-05-02 | 27 | -25/+723 |
| | | |||||
| * | v0.8.2 | Shinya Sato | 2022-04-28 | 24 | -143/+439 |
| | | |||||
| * | Remove redundant letters | Shinya Sato | 2022-04-27 | 20 | -56/+2 |
| | | |||||
| * | Benchmarks for OCaml | Shinya Sato | 2022-04-16 | 10 | -5/+178 |
| | | |||||
| * | v0.8.1 | Shinya Sato | 2022-03-03 | 3 | -127/+0 |
| | | |||||
| * | v0.8.0 | Shinya Sato | 2022-02-27 | 2 | -3/+4 |
| | | |||||
| * | v0.7.0 | Shinya Sato | 2022-01-30 | 2 | -14/+14 |
| | | |||||
| * | v0.6.0 | Shinya Sato | 2022-01-09 | 2 | -7/+10 |
| | | |||||
| * | Bug Fix | Shinya Sato | 2021-11-10 | 2 | -43/+10 |
| | | |||||
| * | Upload the comparison directory | Shinya Sato | 2021-10-24 | 42 | -0/+1333 |
 |
index : inpla.git | |
| A fork of Inpla, a multi-threaded parallel interpreter of interaction nets | mirenn |
| aboutsummaryrefslogtreecommitdiff |