log src/sources

age author description
Fri, 08 Aug 2008 17:55:51 -0400 Adam Chlipala Specialization of single-parameter datatypes
Thu, 17 Jul 2008 13:12:16 -0400 Adam Chlipala MonoShake
Thu, 17 Jul 2008 12:59:52 -0400 Adam Chlipala MonoReduce
Thu, 17 Jul 2008 12:19:44 -0400 Adam Chlipala Untangle
Sun, 13 Jul 2008 11:43:57 -0400 Adam Chlipala Starting with closure links
Sun, 13 Jul 2008 10:17:06 -0400 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Thu, 10 Jul 2008 16:05:14 -0400 Adam Chlipala Fix dependency graph mismatch in sources
Thu, 03 Jul 2008 18:06:52 -0400 Adam Chlipala Mono optimizations (start with string concat and space eating)
Tue, 01 Jul 2008 10:55:38 -0400 Adam Chlipala Initial disjointness prover
Tue, 01 Jul 2008 09:29:49 -0400 Adam Chlipala Factor some operations into ElabOps
Thu, 19 Jun 2008 10:06:59 -0400 Adam Chlipala Explify
Tue, 10 Jun 2008 18:28:43 -0400 Adam Chlipala Translation to Cjr
Tue, 10 Jun 2008 15:56:33 -0400 Adam Chlipala Closure conversion
Tue, 10 Jun 2008 13:14:45 -0400 Adam Chlipala Monoize
Sun, 08 Jun 2008 17:15:09 -0400 Adam Chlipala Tree-shaking
Sun, 08 Jun 2008 15:47:44 -0400 Adam Chlipala Some con reducing
Sun, 08 Jun 2008 13:59:29 -0400 Adam Chlipala Conversion to Core
Sun, 08 Jun 2008 12:27:08 -0400 Adam Chlipala Primitive type constants
Sun, 08 Jun 2008 11:32:48 -0400 Adam Chlipala Lifting cons in ElabEnv
Fri, 28 Mar 2008 13:59:03 -0400 Adam Chlipala Start of elaborating expressions
Sat, 26 Jan 2008 16:44:39 -0500 Adam Chlipala Check for leftover kind unifs
Sat, 26 Jan 2008 16:02:47 -0500 Adam Chlipala Elaborating files
Sat, 26 Jan 2008 15:29:09 -0500 Adam Chlipala Rename Laconic* modules to Source*
Sat, 26 Jan 2008 15:26:12 -0500 Adam Chlipala Elaborating cons and decls
Sat, 26 Jan 2008 14:27:33 -0500 Adam Chlipala Start of elaboration
Sat, 26 Jan 2008 12:35:32 -0500 Adam Chlipala Initial parsing and pretty-printing
Sat, 26 Jan 2008 10:06:22 -0500 Adam Chlipala Initial skeleton