log

age author description
Thu, 21 Aug 2008 12:54:09 -0400 Adam Chlipala GROUP BY added to query type, with trivial parsing, for now
Thu, 21 Aug 2008 12:49:29 -0400 Adam Chlipala Queries back to working as well as before, after start of refactoring to support grouping
Sat, 16 Aug 2008 17:50:10 -0400 Adam Chlipala Integer and float constants in SQL
Sat, 16 Aug 2008 17:46:26 -0400 Adam Chlipala Fields in SQL expressions
Sat, 16 Aug 2008 17:35:28 -0400 Adam Chlipala SQL boolean operators
Sat, 16 Aug 2008 17:18:00 -0400 Adam Chlipala SQL comparison operators
Sat, 16 Aug 2008 16:57:21 -0400 Adam Chlipala Signature ascription for type classes
Sat, 16 Aug 2008 16:30:07 -0400 Adam Chlipala Fun with type classes and modules
Sat, 16 Aug 2008 15:58:25 -0400 Adam Chlipala Looking up in a type class from a module
Sat, 16 Aug 2008 15:09:53 -0400 Adam Chlipala Compiling a con-tuple-using test case
Sat, 16 Aug 2008 15:03:05 -0400 Adam Chlipala Corifying con-tuples
Sat, 16 Aug 2008 14:45:23 -0400 Adam Chlipala Explifying type classes
Sat, 16 Aug 2008 14:36:17 -0400 Adam Chlipala Testing type-class-parameterized functions
Sat, 16 Aug 2008 14:32:18 -0400 Adam Chlipala Initial type class support
Sat, 16 Aug 2008 12:35:46 -0400 Adam Chlipala Inferring sql_type's
Sat, 16 Aug 2008 12:15:38 -0400 Adam Chlipala Stub WHERE support
Sat, 16 Aug 2008 10:54:46 -0400 Adam Chlipala -timing option for command-line compiler
Thu, 14 Aug 2008 18:35:08 -0400 Adam Chlipala Non-star SELECT
Thu, 14 Aug 2008 15:27:35 -0400 Adam Chlipala Remove extraneous disjointness goal
Thu, 14 Aug 2008 15:24:59 -0400 Adam Chlipala Elaborating 'SELECT *' queries
Thu, 14 Aug 2008 13:59:11 -0400 Adam Chlipala Parsing the simplest SQL query
Thu, 14 Aug 2008 13:20:29 -0400 Adam Chlipala Parsing and elaborating 'table'
Tue, 12 Aug 2008 14:55:05 -0400 Adam Chlipala Finish moving all phases to the new interface
Tue, 12 Aug 2008 14:40:07 -0400 Adam Chlipala Consolidating compiler phase interface and adding timing
Sat, 09 Aug 2008 20:08:29 -0400 Adam Chlipala Urlifying records
Sat, 09 Aug 2008 19:46:12 -0400 Adam Chlipala strings get 'Option' datatype handling; fix datatype unurlifying
Sat, 09 Aug 2008 19:23:31 -0400 Adam Chlipala 'Option' datatype encoding
Sat, 09 Aug 2008 16:54:04 -0400 Adam Chlipala Re-consistent-ify naming of union members
Sat, 09 Aug 2008 16:48:32 -0400 Adam Chlipala Lists all the way through
Sat, 09 Aug 2008 12:50:49 -0400 Adam Chlipala Tuples syntactic sugar
Sat, 09 Aug 2008 08:47:36 -0400 Adam Chlipala A multi-parameter datatype all the way through
Fri, 08 Aug 2008 17:55:51 -0400 Adam Chlipala Specialization of single-parameter datatypes
Fri, 08 Aug 2008 10:59:06 -0400 Adam Chlipala Parametrized datatypes through corify
Fri, 08 Aug 2008 10:28:32 -0400 Adam Chlipala Parametrized datatypes through explify
Thu, 07 Aug 2008 13:09:26 -0400 Adam Chlipala Checkboxes
Sun, 03 Aug 2008 19:52:37 -0400 Adam Chlipala Update bool to follow datatype representation change
Sun, 03 Aug 2008 19:49:21 -0400 Adam Chlipala Datatype representation optimization
Sun, 03 Aug 2008 19:01:16 -0400 Adam Chlipala Mono_opt for urlifying bools
Sun, 03 Aug 2008 18:53:20 -0400 Adam Chlipala bool in Basis
Sun, 03 Aug 2008 17:57:47 -0400 Adam Chlipala FFI datatypes
Sun, 03 Aug 2008 16:53:13 -0400 Adam Chlipala Push write inside case
Sun, 03 Aug 2008 13:30:27 -0400 Adam Chlipala Optimizing 'case' in Mono_reduce
Sun, 03 Aug 2008 12:43:20 -0400 Adam Chlipala Compiled pattern matching to C
Sun, 03 Aug 2008 11:17:33 -0400 Adam Chlipala Cjrize ECon
Sun, 03 Aug 2008 11:03:35 -0400 Adam Chlipala Cjrize EStrcat
Sun, 03 Aug 2008 10:48:36 -0400 Adam Chlipala Cases through monoize
Sun, 03 Aug 2008 09:26:49 -0400 Adam Chlipala First part of getting cases through monoize
Sat, 02 Aug 2008 11:15:32 -0400 Adam Chlipala Case through corify
Thu, 31 Jul 2008 16:28:55 -0400 Adam Chlipala Case through explify
Thu, 31 Jul 2008 13:08:57 -0400 Adam Chlipala Elaborating record patterns
Thu, 31 Jul 2008 11:28:55 -0400 Adam Chlipala Elaborating module constructor patterns; parsing record patterns
Thu, 31 Jul 2008 10:44:52 -0400 Adam Chlipala Patterns for int and string constants
Thu, 31 Jul 2008 10:31:30 -0400 Adam Chlipala Pattern match coverage checking
Thu, 31 Jul 2008 10:06:27 -0400 Adam Chlipala Elaborating some basic pattern matching
Tue, 29 Jul 2008 16:38:15 -0400 Adam Chlipala Parsing basic patterns
Tue, 29 Jul 2008 16:02:02 -0400 Adam Chlipala Took more advantage of new ability to exit with an error message
Tue, 29 Jul 2008 15:43:17 -0400 Adam Chlipala Storing datatype constructors in type references past monoize
Tue, 29 Jul 2008 15:25:42 -0400 Adam Chlipala Unurlifying a datatype; longjmp-based error signaling mechanism
Tue, 29 Jul 2008 14:28:44 -0400 Adam Chlipala Start of unurlify for datatypes
Tue, 29 Jul 2008 13:50:53 -0400 Adam Chlipala Datatypes through cjrize, modulo decoding
Tue, 29 Jul 2008 13:32:07 -0400 Adam Chlipala Datatypes through monoize
Tue, 29 Jul 2008 13:16:21 -0400 Adam Chlipala Datatypes through corify
Tue, 29 Jul 2008 12:30:04 -0400 Adam Chlipala Add datatype import constructor annotations; datatypes through explify
Thu, 24 Jul 2008 16:51:24 -0400 Adam Chlipala Normalize datatype choice during SgiDatatypeImp elaboration
Thu, 24 Jul 2008 16:48:47 -0400 Adam Chlipala Datatype import signature-matches abstract datatype
Thu, 24 Jul 2008 16:41:12 -0400 Adam Chlipala Abstracting datatypes with signature ascription
Thu, 24 Jul 2008 16:36:41 -0400 Adam Chlipala More datatype module stuff
Thu, 24 Jul 2008 15:49:30 -0400 Adam Chlipala Basic datatype importing works
Thu, 24 Jul 2008 15:02:03 -0400 Adam Chlipala Start of datatype support
Thu, 24 Jul 2008 11:32:01 -0400 Adam Chlipala Password inputs
Thu, 24 Jul 2008 11:16:54 -0400 Adam Chlipala HTML select
Thu, 24 Jul 2008 11:10:23 -0400 Adam Chlipala radio and radioOption
Thu, 24 Jul 2008 10:41:53 -0400 Adam Chlipala textarea
Thu, 24 Jul 2008 10:26:18 -0400 Adam Chlipala gformText test
Thu, 24 Jul 2008 10:15:49 -0400 Adam Chlipala Full gform test works
Thu, 24 Jul 2008 10:09:21 -0400 Adam Chlipala Record cut
Tue, 22 Jul 2008 19:12:25 -0400 Adam Chlipala gform in proper order
Tue, 22 Jul 2008 18:46:04 -0400 Adam Chlipala Meta-programming forms
Tue, 22 Jul 2008 18:20:13 -0400 Adam Chlipala Fix opening and corifying of functors
Tue, 22 Jul 2008 15:22:34 -0400 Adam Chlipala Fix GET parsing for inputs without =
Tue, 22 Jul 2008 15:12:20 -0400 Adam Chlipala Simple forms work
Sun, 20 Jul 2008 13:30:19 -0400 Adam Chlipala Almost ready to have a form work
Sun, 20 Jul 2008 12:21:30 -0400 Adam Chlipala Form submission type-checking
Sun, 20 Jul 2008 11:33:23 -0400 Adam Chlipala Initial form support
Sun, 20 Jul 2008 10:40:25 -0400 Adam Chlipala A simpler context encoding
Sun, 20 Jul 2008 10:11:16 -0400 Adam Chlipala Form binding parameters threaded through
Sat, 19 Jul 2008 18:56:57 -0400 Adam Chlipala Change driver to use Pthreads
Thu, 17 Jul 2008 14:32:49 -0400 Adam Chlipala Replaced allocation stubs
Thu, 17 Jul 2008 14:18:57 -0400 Adam Chlipala Dynamic arena allocation
Thu, 17 Jul 2008 13:33:56 -0400 Adam Chlipala Proper escaping of cdata
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:40:21 -0400 Adam Chlipala Proper topological sorting in untangle
Thu, 17 Jul 2008 12:19:44 -0400 Adam Chlipala Untangle
Thu, 17 Jul 2008 11:20:07 -0400 Adam Chlipala Compiled mutual 'val rec'
Thu, 17 Jul 2008 11:02:10 -0400 Adam Chlipala Compiled (non-mutual) 'val rec'