log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/elab_ops.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2012-05-02
Adam Chlipala
In simplifying constructors for error messages, unfold constructor synonyms from modules
2012-04-21
Adam Chlipala
Add another rule to simplify record concatenations for pretty-printing
2012-04-16
Adam Chlipala
Do a lot more type simplification for error messages
2011-12-18
Adam Chlipala
Add a new scoping check for unification variables, to fix a type inference bug
2011-11-05
Adam Chlipala
Tweaks to choices of source positions to use in error messages, including for subSgn
2010-10-10
Adam Chlipala
Hopeful fix for the Great Unification Bug
2009-11-17
Adam Chlipala
Hooks for measuring how much interesting proving is going on in elaboration
2009-10-06
Adam Chlipala
Fix a de Bruijn index bug in map fusion
2009-08-09
Adam Chlipala
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-02-24
Adam Chlipala
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
2009-02-22
Adam Chlipala
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-21
Adam Chlipala
"Hello world" compiles, after replacing type-level fold with map
2008-11-27
Adam Chlipala
Optimized ElabOps.subConInCon
2008-11-12
Adam Chlipala
Map distributivity rule in hnormCon
2008-10-04
Adam Chlipala
Merge CDisjoint and TDisjoint
2008-09-14
Adam Chlipala
Crud supports INSERT
2008-09-13
Adam Chlipala
foldTR2
2008-09-11
Adam Chlipala
Fixed a mind-numbing De Bruijn bug
2008-09-11
Adam Chlipala
Crud list works
2008-08-16
Adam Chlipala
Stub WHERE support
2008-08-14
Adam Chlipala
Non-star SELECT
2008-07-01
Adam Chlipala
Factor some operations into ElabOps
less
more
|
(0)
tip