Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 30, 2024 — Aug 30, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
port intro
Benedikt Schmidt
More... about 9 years ago
readme
Jannik Dreier
More... about 9 years ago
remove old entries
Benedikt Schmidt
More... about 9 years ago
change order term algebra / equational theories
Benedikt Schmidt
More... about 9 years ago
disable plugin
Benedikt Schmidt
More... about 9 years ago
initial version
Benedikt Schmidt
More... about 9 years ago
first implementation of general theories
Charles Dumenil
More... about 9 years ago
Merge pull request #173 from lordqwerty/jwhitefield
Ralf Sasse
More... about 9 years ago
Fix ToC links
Jorden Whitefield
More... about 9 years ago
Enhanced Mac OS X instructions and test step
Jorden Whitefield
More... about 9 years ago
Merge pull request #172 from lordqwerty/jwhitefield
Ralf Sasse
More... about 9 years ago
Stack ports instruction a bit more clear
Jorden Whitefield
More... about 9 years ago
Made MD compliant and ToC added
Jorden Whitefield
More... about 9 years ago
Added emoji :smile:
Jorden Whitefield
More... about 9 years ago
Homebrew `haskell-stack`
Jorden Whitefield
More... about 9 years ago
Maude in hoomebrew/science
Jorden Whitefield
More... about 9 years ago
Extended MacOS X installation instructions
Ralf Sasse
More... over 9 years ago
Extended MacOS X installation instructions (adjust indentation)
Ralf Sasse
More... over 9 years ago
Extended MacOS X installation instructions (adjust indentation)
Ralf Sasse
More... over 9 years ago
Extended MacOS X installation instructions
Ralf Sasse
More... over 9 years ago
Merge remote-tracking branch 'upstream/develop' into develop
Jannik Dreier
More... over 9 years ago
Merge remote-tracking branch 'upstream/develop' into develop
Jannik Dreier
More... over 9 years ago
fixed looping precomputations
Jannik Dreier
More... over 9 years ago
Merge remote-tracking branch 'upstream/develop' into develop
Jannik Dreier
More... over 9 years ago
Merge remote-tracking branch 'upstream/develop' into develop
Ralf Sasse
More... over 9 years ago
Replaced regression due to changed heuristic, which leads to different order of cases.
Ralf Sasse
More... over 9 years ago
Merge remote-tracking branch 'upstream/develop' into develop
Ralf Sasse
More... over 9 years ago
Merge pull request #160 from katrielalex/develop
Ralf Sasse
More... over 9 years ago
Merge remote-tracking branch 'upstream/develop' into develop (now includes JSON-based graph output)
Ralf Sasse
More... over 9 years ago
Merge pull request #168 from dschoop/develop
Simon Meier
More... over 9 years ago