aboutsummaryrefslogtreecommitdiff
path: root/jobs
ModeNameSize
-rwxr-xr-xacl2-theorems.before170logplainabout
l---------acl2-theorems.develop.before -> ./acl2-theorems.before22logplainabout
l---------acl2-theorems.develop.run -> ./acl2-theorems.run19logplainabout
-rwxr-xr-xacl2-theorems.run217logplainabout
-rwxr-xr-xacl2-verify.run263logplainabout
l---------blackjack.develop.run -> blackjack.run13logplainabout
-rwxr-xr-xblackjack.run241logplainabout
l---------bookshelf.develop.run -> bookshelf.run13logplainabout
-rwxr-xr-xbookshelf.run239logplainabout
-rwxr-xr-xdeploy-test-tojo-tokyo.run165logplainabout
-rwxr-xr-xdeploy-www-tojo-tokyo.run137logplainabout
-rwxr-xr-xguix-gc.run78logplainabout
-rw-r--r--guix-update.conf14logplainabout
-rwxr-xr-xguix-update.run96logplainabout
l---------learn-acl2.develop.run -> learn-acl2.run14logplainabout
-rwxr-xr-xlearn-acl2.run297logplainabout
-rwxr-xr-xpull-cfg.run72logplainabout
-rwxr-xr-xsicp-acl2.before166logplainabout
l---------sicp-acl2.develop.before -> ./sicp-acl2.before18logplainabout
l---------sicp-acl2.develop.run -> ./sicp-acl2.run15logplainabout
-rwxr-xr-xsicp-acl2.run217logplainabout
l---------standard-52-card-deck.develop.run -> standard-52-card-deck.run25logplainabout
-rwxr-xr-xstandard-52-card-deck.run227logplainabout
l---------vikalpa.develop.run -> vikalpa.run11logplainabout
-rwxr-xr-xvikalpa.run233logplainabout
generated by cgit v1.2.3 (git 2.46.0) at 2024-12-27 07:29:50 +0000