1
I Use This!
Inactive

Commits : Listings

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