0
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected over 1 year ago.
May 31, 2022 — May 31, 2023
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
merge 0.6.2. More... over 8 years ago
Fixes for things caught by Rascal typechecker More... about 9 years ago
bump version and release More... about 9 years ago
fix problem with getters/setters causing exception in Module data struct when passed through signature() More... about 9 years ago
Fix #259 More... over 9 years ago
Fix missing line in help output More... over 9 years ago
Make require imply signature() More... over 9 years ago
Turn catching of exceptions in typecheckers back on More... over 9 years ago
New experimental release 0.5.1 More... over 9 years ago
Include only API operations in the generated program interface More... over 9 years ago
Fix problem with stray operators in external package names More... over 9 years ago
experimental release More... over 9 years ago
Fix problem where bindings list was applied to itself (causing re-renaming) More... over 9 years ago
Debug instrumentation More... over 9 years ago
Bugfix in invariant check More... over 9 years ago
Try to avoid line breaking in hover help using nbsp More... over 9 years ago
Remove formatting More... over 9 years ago
Use correct typing in constructor, even in case of error More... over 9 years ago
Fix two instantiation problems: More... over 9 years ago
Make names easier to trace through the compiler More... over 9 years ago
Nullness More... over 9 years ago
Fix problems with equals More... over 9 years ago
More fixes for merging and instantiation More... over 9 years ago
Fix some internal errors; better error reporting when merging instantiations More... over 9 years ago
Send help to std::cout More... over 9 years ago
Fix some axiom merging problems More... over 9 years ago
Set up code for optimiser; new icons for toolbar buttons More... over 9 years ago
Implement return from block expressions More... over 9 years ago
Drop old file More... over 9 years ago
Extend BlockExpr syntax with return type More... over 9 years ago