log src/sources

age author description
2013-06-15 Adam Chlipala Add Sigcheck phase to avoid issues with signatures in global initializers
2012-08-02 Adam Chlipala New NameJs phase, still needing some debugging
2012-04-29 Adam Chlipala Initial support for reusing elaboration results
2012-03-12 Edward Z. Yang Refactor SQL parsing code from Iflow to Sql, add querydml parser.
2012-01-02 Adam Chlipala Fix handling of quotes in generating C literals
2011-11-14 Adam Chlipala Better error messages about server-side use of client-side functions
2011-11-05 Adam Chlipala Support the full set of XHTML character entities
2011-07-15 Adam Chlipala Generated pretty-printed HTML for a simple tutorial source file
2010-08-22 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
2010-06-05 Adam Chlipala Another run of Specialize, using ReduceLocal on datatype parameters
2010-04-13 Adam Chlipala Command-line use of Iflow
2010-04-04 Adam Chlipala Generated basic dummy Iflow conditions
2010-02-27 Adam Chlipala Basic analysis of tag and CSS class usage
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-09-17 Adam Chlipala Grid changed to use Dlist.replace; filters stopped working
2009-07-17 Adam Chlipala demo/sql works with SQLite
2009-07-17 Adam Chlipala Fix dependency misordering
2009-07-16 Adam Chlipala Demo working with MySQL
2009-07-12 Adam Chlipala Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet
2009-06-28 Adam Chlipala Start of multi-DBMS support
2009-06-28 Adam Chlipala Move http protocol into its own file
2009-06-27 Adam Chlipala Successfully starting FastCGI sessions with Apache
2009-06-27 Adam Chlipala Avoid using prepared statements for non-persistent protocols
2009-04-30 Adam Chlipala C FFI compiler options
2009-04-16 Adam Chlipala Effectness analysis
2009-04-16 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
2009-04-07 Adam Chlipala Track uniqueness sets in table types
2009-03-28 Adam Chlipala Marshalcheck
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
2009-02-14 Adam Chlipala Start of RPCification
2008-12-20 Adam Chlipala Start of JsComp
2008-11-27 Adam Chlipala Untangle and shake within Especialize loop
2008-11-25 Adam Chlipala Fusing writes with recursive function calls
2008-11-09 Adam Chlipala Defunctionalization gets CommentBlog working
2008-11-09 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass
2008-11-02 Adam Chlipala Nested save compiles
2008-11-02 Adam Chlipala Almost have that nested save function compiling
2008-11-01 Adam Chlipala First Unnest tests working
2008-10-30 Adam Chlipala Especialize
2008-10-19 Adam Chlipala Demo HTML generation, minus source code
2008-10-19 Adam Chlipala Proper configuration and installation
2008-10-19 Adam Chlipala Proper generation of relation names; checking that sequences exist
2008-09-13 Adam Chlipala foldTR2
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-08-31 Adam Chlipala Laconic -> Ur
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-07-17 Adam Chlipala MonoShake
2008-07-17 Adam Chlipala MonoReduce
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-10 Adam Chlipala Fix dependency graph mismatch in sources
2008-07-03 Adam Chlipala Mono optimizations (start with string concat and space eating)
2008-07-01 Adam Chlipala Initial disjointness prover
2008-07-01 Adam Chlipala Factor some operations into ElabOps
2008-06-19 Adam Chlipala Explify
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-06-08 Adam Chlipala Primitive type constants
2008-06-08 Adam Chlipala Lifting cons in ElabEnv
2008-03-28 Adam Chlipala Start of elaborating expressions
2008-01-26 Adam Chlipala Check for leftover kind unifs
2008-01-26 Adam Chlipala Elaborating files
2008-01-26 Adam Chlipala Rename Laconic* modules to Source*
2008-01-26 Adam Chlipala Elaborating cons and decls
2008-01-26 Adam Chlipala Start of elaboration
2008-01-26 Adam Chlipala Initial parsing and pretty-printing
2008-01-26 Adam Chlipala Initial skeleton