| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | acl2-theorems.before | 170 | logplain |
| l--------- | acl2-theorems.develop.before -> ./acl2-theorems.before | 22 | logplain |
| l--------- | acl2-theorems.develop.run -> ./acl2-theorems.run | 19 | logplain |
| -rwxr-xr-x | acl2-theorems.run | 217 | logplain |
| -rwxr-xr-x | acl2-verify.run | 429 | logplain |
| -rwxr-xr-x | deploy-test-tojo-tokyo.run | 278 | logplain |
| -rwxr-xr-x | deploy-www-tojo-tokyo.run | 250 | logplain |
| -rwxr-xr-x | pull-cfg.run | 72 | logplain |
| -rwxr-xr-x | sicp-acl2.before | 166 | logplain |
| l--------- | sicp-acl2.develop.before -> ./sicp-acl2.before | 18 | logplain |
| l--------- | sicp-acl2.develop.run -> ./sicp-acl2.run | 15 | logplain |
| -rwxr-xr-x | sicp-acl2.run | 217 | logplain |
 |
index : ci.git | |
| ci.tojo.tokyo の CI の設定 | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |