1
I Use This!
Inactive

Commits : Listings

Analyzed about 14 hours ago. based on code collected about 14 hours ago.
Jun 12, 2024 — Jun 12, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'next' More... over 12 years ago
Merge branch 'code/bldchn' into next More... over 13 years ago
bldchn, allow to choose the lisp flavour at configure time More... over 13 years ago
Merge branch 'code/hygiene' into next More... over 13 years ago
minor, kick pushnew-many and facilitate sbcl builds More... over 13 years ago
Merge branch 'next' More... over 13 years ago
Merge branch 'feat/state-rela' into next More... over 13 years ago
minor, correctly cope with inhibitions and requisites More... over 13 years ago
minor, refactor activity rules More... over 13 years ago
Merge branch 'next' More... over 13 years ago
Merge remote-tracking branch 'rudi/fixes' More... over 13 years ago
Merge branch 'feat/rule-depends' into next More... over 13 years ago
minor, provide state dependencies, via (X-requires Y) More... over 13 years ago
build, distribute cl_compile.sh and cl_link.sh
rudimeier
as Ruediger Meier
More... over 13 years ago
Merge branch 'feat/cli-wrapper' into next More... over 13 years ago
minor, support an interactive mode More... over 13 years ago
Merge branch 'next' More... over 13 years ago
Merge branch 'feat/rule-plugging' into next More... over 13 years ago
minor, traverse next-events until after inhibitions the state flips More... over 13 years ago
fix, cannot use thhrule's while macro in thhcc More... over 13 years ago
minor, rewrite main loop using the while macro More... over 13 years ago
minor, provide while macro More... over 13 years ago
minor, delete lexenv based macro More... over 13 years ago
minor, support inhibitions More... over 13 years ago
minor, provide #'MKT-observes helpers More... over 13 years ago
fix, upon auto-generation of families check for symbol before checking for binding More... over 13 years ago
Merge branch 'next' More... over 13 years ago
Merge branch 'next' More... over 13 years ago
Merge branch 'feat/state-tensor' into next More... over 13 years ago
minor, provide convenience getter for the rule tuples behind a state in a famiter More... over 13 years ago