index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
*
Remove closure conversion in favor of zany fun with modules, which also repla...
Adam Chlipala
2008-07-13
*
Fix dependency graph mismatch in sources
Adam Chlipala
2008-07-10
*
Optimizing attrification of constants
Adam Chlipala
2008-07-10
*
More with attributes and efficient serialization
Adam Chlipala
2008-07-10
*
Stringifying attributes
Adam Chlipala
2008-07-10
*
Initial HTML attributes support
Adam Chlipala
2008-07-10
*
Command-line compiler goes the whole nine yards
Adam Chlipala
2008-07-10
*
Writing HTML
Adam Chlipala
2008-07-10
*
First executable generated
Adam Chlipala
2008-07-10
*
page declaration, up through monoize
Adam Chlipala
2008-07-10
*
Fix record type comparison
Adam Chlipala
2008-07-10
*
Fill in more types during closure conversion
Adam Chlipala
2008-07-10
*
Mono optimizations (start with string concat and space eating)
Adam Chlipala
2008-07-03
*
Monoizing joins and tags
Adam Chlipala
2008-07-03
*
Monoizing cdata
Adam Chlipala
2008-07-03
*
More fun with HTML
Adam Chlipala
2008-07-03
*
XML tags with contents
Adam Chlipala
2008-07-03
*
Basic XML stuff
Adam Chlipala
2008-07-03
*
Fancier head normalization pushed inside of Disjoint
Adam Chlipala
2008-07-03
*
Tested constraints through functors
Adam Chlipala
2008-07-01
*
Constraints in modules
Adam Chlipala
2008-07-01
*
Push KUnit and CUnit through the phases
Adam Chlipala
2008-07-01
*
More with disjointness assumptions
Adam Chlipala
2008-07-01
*
Disjointness assumptions in expressions
Adam Chlipala
2008-07-01
*
Disjointness assumptions
Adam Chlipala
2008-07-01
*
Threading disjointness conditions through Elaborate
Adam Chlipala
2008-07-01
*
Initial disjointness prover
Adam Chlipala
2008-07-01
*
Factor some operations into ElabOps
Adam Chlipala
2008-07-01
*
A little more conservative unification
Adam Chlipala
2008-06-29
*
More hardcore unification
Adam Chlipala
2008-06-29
*
Implicit structure members
Adam Chlipala
2008-06-29
*
Broaden unification context
Adam Chlipala
2008-06-29
*
Folding through a functor
Adam Chlipala
2008-06-26
*
Reduce efold
Adam Chlipala
2008-06-26
*
Corify efold
Adam Chlipala
2008-06-26
*
Explify efold
Adam Chlipala
2008-06-26
*
Elaborate efold
Adam Chlipala
2008-06-26
*
Cjrize cfold
Adam Chlipala
2008-06-26
*
Corify cfold
Adam Chlipala
2008-06-26
*
Explify cfold
Adam Chlipala
2008-06-26
*
Elaborating cfold
Adam Chlipala
2008-06-26
*
Proper subsignaturing for sub-structures
Adam Chlipala
2008-06-26
*
Proper subsignaturing for sub-signatures
Adam Chlipala
2008-06-26
*
Proper hiding of shadowed bindings in principal signatures
Adam Chlipala
2008-06-26
*
Signature duplicate entry checking for principal signatures
Adam Chlipala
2008-06-22
*
Signature duplicate entry checking
Adam Chlipala
2008-06-22
*
open
Adam Chlipala
2008-06-22
*
Subsignatures
Adam Chlipala
2008-06-22
*
include
Adam Chlipala
2008-06-22
*
Update main.mlton for group compilation
Adam Chlipala
2008-06-22
[next]