log

age author description
2008-07-13 Adam Chlipala Serving pages
2008-07-13 Adam Chlipala Basic web server
2008-07-13 Adam Chlipala Cjr ready for dispatch code generation
2008-07-13 Adam Chlipala Print a message on Laconic compilation failure
2008-07-13 Adam Chlipala Turn on gcc -O3
2008-07-13 Adam Chlipala Handling duplicate tags
2008-07-13 Adam Chlipala Closure code generation almost there
2008-07-13 Adam Chlipala Starting with closure links
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10 Adam Chlipala Fix dependency graph mismatch in sources
2008-07-10 Adam Chlipala Optimizing attrification of constants
2008-07-10 Adam Chlipala More with attributes and efficient serialization
2008-07-10 Adam Chlipala Stringifying attributes
2008-07-10 Adam Chlipala Initial HTML attributes support
2008-07-10 Adam Chlipala Command-line compiler goes the whole nine yards
2008-07-10 Adam Chlipala Writing HTML
2008-07-10 Adam Chlipala First executable generated
2008-07-10 Adam Chlipala page declaration, up through monoize
2008-07-10 Adam Chlipala Fix record type comparison
2008-07-10 Adam Chlipala Fill in more types during closure conversion
2008-07-03 Adam Chlipala Simplify HTML examples, until the dispatching is ready
2008-07-03 Adam Chlipala Mono optimizations (start with string concat and space eating)
2008-07-03 Adam Chlipala Monoizing joins and tags
2008-07-03 Adam Chlipala Monoizing cdata
2008-07-03 Adam Chlipala More fun with HTML
2008-07-03 Adam Chlipala XML tags with contents
2008-07-03 Adam Chlipala Basic XML stuff
2008-07-03 Adam Chlipala Fancier head normalization pushed inside of Disjoint
2008-07-01 Adam Chlipala Tested constraints through functors
2008-07-01 Adam Chlipala Constraints in modules
2008-07-01 Adam Chlipala Push KUnit and CUnit through the phases
2008-07-01 Adam Chlipala More with disjointness assumptions
2008-07-01 Adam Chlipala Disjointness assumptions in expressions
2008-07-01 Adam Chlipala Disjointness assumptions
2008-07-01 Adam Chlipala Threading disjointness conditions through Elaborate
2008-07-01 Adam Chlipala Initial disjointness prover
2008-07-01 Adam Chlipala Factor some operations into ElabOps
2008-06-29 Adam Chlipala A little more conservative unification
2008-06-29 Adam Chlipala More hardcore unification
2008-06-29 Adam Chlipala Implicit structure members
2008-06-29 Adam Chlipala Another test of broad unification
2008-06-29 Adam Chlipala Broaden unification context
2008-06-26 Adam Chlipala Folding through a functor
2008-06-26 Adam Chlipala Reduce efold
2008-06-26 Adam Chlipala Corify efold
2008-06-26 Adam Chlipala Explify efold
2008-06-26 Adam Chlipala Elaborate efold
2008-06-26 Adam Chlipala Cjrize cfold
2008-06-26 Adam Chlipala Corify cfold
2008-06-26 Adam Chlipala Explify cfold
2008-06-26 Adam Chlipala Elaborating cfold
2008-06-26 Adam Chlipala Proper subsignaturing for sub-structures
2008-06-26 Adam Chlipala Proper subsignaturing for sub-signatures
2008-06-26 Adam Chlipala Proper hiding of shadowed bindings in principal signatures
2008-06-23 Adam Chlipala Signature duplicate entry checking for principal signatures
2008-06-22 Adam Chlipala Signature duplicate entry checking
2008-06-22 Adam Chlipala open
2008-06-22 Adam Chlipala Subsignatures example
2008-06-22 Adam Chlipala Subsignatures
2008-06-22 Adam Chlipala include