1
I Use This!
Inactive

Commits : Listings

Analyzed about 3 hours ago. based on code collected 1 day ago.
Jun 13, 2025 — Jun 13, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Update README.md More... about 9 years ago
Update README.md More... about 9 years ago
Update README.md More... over 9 years ago
Update README.md More... over 9 years ago
Add files via upload More... over 9 years ago
Delete Florida.png More... over 9 years ago
Add files via upload More... over 9 years ago
Delete Florida.png More... over 9 years ago
Add files via upload More... over 9 years ago
Added example derivation graph to readme More... over 9 years ago
Update README.md More... over 9 years ago
Delete dummy More... over 9 years ago
Add files via upload More... over 9 years ago
Update README.md More... over 9 years ago
Example derivation graph from the thesis More... over 9 years ago
Create dummy More... over 9 years ago
Added example derivation graph to readme More... over 9 years ago
Update README.md More... over 9 years ago
Update README.md More... over 9 years ago
Improve package description More... over 9 years ago
Prepare for version 0.2.0 More... over 9 years ago
First release final commit
Matthias Hinz
as MatthiasHinz
More... over 9 years ago
Commit recent changes. Clean up needless demo scripts
Matthias Hinz
as MatthiasHinz
More... over 9 years ago
MANY bugfixes and improvements; extended mapping of functional types and heuristics
Matthias Hinz
as MatthiasHinz
More... over 9 years ago
Bugfixes and examples
Matthias Hinz
as MatthiasHinz
More... over 9 years ago
Some bugfixes and improved graphics + small demo example
Matthias Hinz
as MatthiasHinz
More... over 9 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