log src/cjr.sml

age author description
2009-05-16 Adam Chlipala Mutual datatypes through Cjrize
2009-04-30 Adam Chlipala Basis.list
2009-04-28 Adam Chlipala A view query works
2009-04-26 Adam Chlipala Returning a blob as page result
2009-04-16 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
2009-04-16 Adam Chlipala Catching duplicate cookie and style paths
2009-04-12 Adam Chlipala Stop tracking CSS classes in XML types
2009-04-12 Adam Chlipala style declarations
2009-04-07 Adam Chlipala PRIMARY KEY
2009-04-07 Adam Chlipala UNIQUE constraints
2009-04-04 Adam Chlipala _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
2009-04-02 Adam Chlipala On start-up, delete/nullify rows mentioning clients or channels
2009-03-29 Adam Chlipala Expunging non-nullable rows
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
2009-02-15 Adam Chlipala First gimpy RPC
2008-12-20 Adam Chlipala Successfully generated a page element from a signal
2008-11-06 Adam Chlipala Reading cookies works
2008-10-21 Adam Chlipala Binops; equality tested on int; lame 404 substitute
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 Table declarations pushed to Cjr
2008-09-02 Adam Chlipala 'database' declaration threaded through compiler
2008-09-02 Adam Chlipala Cjrize query
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-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-22 Adam Chlipala Simple forms work
2008-07-17 Adam Chlipala Compiled (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 Cjr ready for dispatch code generation
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-10 Adam Chlipala Translation to Cjr