I

Ivor

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 14 hours ago. based on code collected about 18 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 19, 2023 — Apr 19, 2024 Showing page 1 of 7 Search / Filter on:
Switching to git as an experiment	eb	More...				almost 14 years ago
Added SpecStatic option	eb	More...				almost 14 years ago
Correct nameType for constructors in patterns	eb	More...				about 14 years ago
Some helpers for Idris	eb	More...				about 14 years ago
Remove rogue trace	eb	More...				about 14 years ago
Use cabal directory for prefix	eb	More...				about 14 years ago
Tinker with unification	eb	More...				about 14 years ago
Fixed a unification bug and added eta to equality test on terms	eb	More...				about 14 years ago
Evaluate metavars	eb	More...				about 14 years ago
Stared Overloading (not yet working...)	eb	More...				about 14 years ago
Added specialise option to pattern defs	eb	More...				about 14 years ago
Remove -fglasgow-exts	eb	More...				over 14 years ago
Update version number, for hackage uploade	eb	More...				over 14 years ago
Record bound names in schemes	eb	More...				over 14 years ago
Annotations in ViewTerm equality	eb	More...				over 14 years ago
Added some Data.Binary serialisation	eb	More...				over 14 years ago
Tidy up names after evaluation	eb	More...				over 14 years ago
Lifted values into Ivor.Values	eb	More...				over 14 years ago
Unification/evaluation fixes	eb	More...				over 14 years ago
Only add names once in pattern bindings	eb	More...				over 14 years ago
Check that names which need to be inferred actually are	eb	More...				over 14 years ago
Evaluator improvements	eb	More...				over 14 years ago
Add eval_nf_limit (but not quite right yet)	eb	More...				over 14 years ago
Added transform and eval_without	eb	More...				over 14 years ago
Record whether match defs are machine generated (e.g. by with)	eb	More...				over 14 years ago
Make equality proof generation in with rule optional	eb	More...				over 14 years ago
Added equality proofs to with clauses	eb	More...				over 14 years ago
Another unification fix	eb	More...				over 14 years ago
Fixed checkAndBindWith like checkAndBindPair	eb	More...				over 14 years ago
Slightly more helpful error message in doConversion	eb	More...				over 14 years ago

←
1
2
3
4
5
6
7
→