1
I Use This!
Inactive

Commits : Listings

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