| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Update guards. | Masaya Tojo | 4 years | |
| Age | Commit message | Author | ||
| 2021-08-22 | Update guards.HEADmaster | Masaya Tojo | ||
| 2021-08-22 | Add Makefile. | Masaya Tojo | ||
| 2021-08-22 | Update. | Masaya Tojo | ||
| 2021-08-22 | Add standard-52-card-deck submodule. | Masaya Tojo | ||
| 2021-08-21 | Rename functions and theorems. | Masaya Tojo | ||
| 2021-08-21 | Remove gitlab-ci.yml•••Use ci.tojo.tokyo. | Masaya Tojo | ||
| 2021-02-04 | Update CI settings | Masaya Tojo | ||
| 2021-02-03 | Update CI settings | Masaya Tojo | ||
| 2021-02-03 | Update CI settings. | Masaya Tojo | ||
| 2021-02-02 | Add CI settings. | Masaya Tojo | ||
| [...] | ||||
 |
index : blackjack.git | |
| A blackJack game implemented in ACL2 | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |