1
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 11, 2025 — Aug 11, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Update README.md More... over 9 years ago
Update README.md More... over 9 years ago
Update README.md More... almost 10 years ago
Update README.md More... almost 10 years ago
Add files via upload More... almost 10 years ago
Delete Florida.png More... almost 10 years ago
Add files via upload More... almost 10 years ago
Delete Florida.png More... almost 10 years ago
Add files via upload More... almost 10 years ago
Added example derivation graph to readme More... almost 10 years ago
Update README.md More... almost 10 years ago
Delete dummy More... almost 10 years ago
Add files via upload More... almost 10 years ago
Update README.md More... almost 10 years ago
Example derivation graph from the thesis More... almost 10 years ago
Create dummy More... almost 10 years ago
Added example derivation graph to readme More... almost 10 years ago
Update README.md More... almost 10 years ago
Update README.md More... almost 10 years ago
Improve package description More... almost 10 years ago
Prepare for version 0.2.0 More... almost 10 years ago
First release final commit
Matthias Hinz
as MatthiasHinz
More... almost 10 years ago
Commit recent changes. Clean up needless demo scripts
Matthias Hinz
as MatthiasHinz
More... almost 10 years ago
MANY bugfixes and improvements; extended mapping of functional types and heuristics
Matthias Hinz
as MatthiasHinz
More... almost 10 years ago
Bugfixes and examples
Matthias Hinz
as MatthiasHinz
More... almost 10 years ago
Some bugfixes and improved graphics + small demo example
Matthias Hinz
as MatthiasHinz
More... almost 10 years ago
Adjustment of the heuristic mapping, renamed getCallSemantics into getDefaultCallSemantics Documentation changes
Matthias Hinz
as MatthiasHinz
More... almost 10 years ago
Added examples, updated documentation, fixed some namespace problems and some other small bugfixes
Matthias Hinz
as MatthiasHinz
More... almost 10 years ago
Update README.md More... almost 10 years ago
package update
Matthias Hinz
as MatthiasHinz
More... almost 10 years ago