log src/compiler.sig

age author description
2008-10-19 Adam Chlipala Support for URL prefixes that works with local demo
2008-10-19 Adam Chlipala Proper generation of relation names; checking that sequences exist
2008-10-04 Adam Chlipala Small clean-ups in crud; Compiler.check
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-09-09 Adam Chlipala Termination checking
2008-09-07 Adam Chlipala Ran a prepared statement with one string parameter
2008-09-02 Adam Chlipala Generating SQL files
2008-09-02 Adam Chlipala Parsing jobs
2008-08-31 Adam Chlipala Monoize ASC/DESC
2008-08-31 Adam Chlipala Avoid unnecessary WHERE clause
2008-08-31 Adam Chlipala Laconic -> Ur
2008-08-12 Adam Chlipala Finish moving all phases to the new interface
2008-08-12 Adam Chlipala Consolidating compiler phase interface and adding timing
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-08-03 Adam Chlipala Optimizing 'case' in Mono_reduce
2008-07-17 Adam Chlipala MonoShake
2008-07-17 Adam Chlipala MonoReduce
2008-07-17 Adam Chlipala Proper topological sorting in untangle
2008-07-17 Adam Chlipala Untangle
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-03 Adam Chlipala Mono optimizations (start with string concat and space eating)
2008-06-22 Adam Chlipala Separate compilation and automatic basis importation
2008-06-22 Adam Chlipala Parsing signature files
2008-06-19 Adam Chlipala Corify removes modules
2008-06-19 Adam Chlipala Explify
2008-06-12 Adam Chlipala Simple signature matching
2008-06-10 Adam Chlipala Translation to Cjr
2008-06-10 Adam Chlipala Closure conversion
2008-06-10 Adam Chlipala Monoize
2008-06-08 Adam Chlipala Tree-shaking
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Conversion to Core
2008-01-26 Adam Chlipala Elaborating files
2008-01-26 Adam Chlipala Rename Laconic* modules to Source*
2008-01-26 Adam Chlipala Initial parsing and pretty-printing