log src/cjrize.sml

age author description
2008-09-14 Adam Chlipala SQL sequences
2008-09-11 Adam Chlipala Unpolyed a polymorphic function of two arguments
2008-09-07 Adam Chlipala First INSERT works
2008-09-07 Adam Chlipala pquery working with all four types of columns
2008-09-07 Adam Chlipala 'read' type class
2008-09-07 Adam Chlipala Converting string to int
2008-09-07 Adam Chlipala 'error' function
2008-09-07 Adam Chlipala Ran a prepared statement with one string parameter
2008-09-02 Adam Chlipala Compiling a parametrized query the inefficient way
2008-09-02 Adam Chlipala Table declarations pushed to Cjr
2008-09-02 Adam Chlipala 'database' declaration threaded through compiler
2008-09-02 Adam Chlipala Cjrize query
2008-08-31 Adam Chlipala Monoized and optimized initial query test
2008-08-31 Adam Chlipala Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
2008-08-09 Adam Chlipala 'Option' datatype encoding
2008-08-09 Adam Chlipala Lists all the way through
2008-08-03 Adam Chlipala Datatype representation optimization
2008-08-03 Adam Chlipala bool in Basis
2008-08-03 Adam Chlipala FFI datatypes
2008-08-03 Adam Chlipala Compiled pattern matching to C
2008-08-03 Adam Chlipala Cjrize ECon
2008-08-03 Adam Chlipala Cjrize EStrcat
2008-08-03 Adam Chlipala First part of getting cases through monoize
2008-07-29 Adam Chlipala Storing datatype constructors in type references past monoize
2008-07-29 Adam Chlipala Start of unurlify for datatypes
2008-07-29 Adam Chlipala Datatypes through cjrize, modulo decoding
2008-07-29 Adam Chlipala Datatypes through monoize
2008-07-22 Adam Chlipala Simple forms work
2008-07-17 Adam Chlipala Compiled (non-mutual) 'val rec'
2008-07-17 Adam Chlipala Tagging (non-mutual) 'val rec'
2008-07-14 Adam Chlipala Multiple arguments to web functions
2008-07-14 Adam Chlipala Passing an argument to a web function
2008-07-13 Adam Chlipala Basic web server
2008-07-13 Adam Chlipala Closure code generation almost there
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10 Adam Chlipala More with attributes and efficient serialization
2008-07-10 Adam Chlipala Writing HTML
2008-07-10 Adam Chlipala First executable generated
2008-06-22 Adam Chlipala FFI through cjrize
2008-06-22 Adam Chlipala FFI through cloconv
2008-06-10 Adam Chlipala Translation to Cjr