log src/cjrize.sml

age author description
2009-10-25 Adam Chlipala Use call/cc for recv and sleep
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization
2009-08-09 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-05-17 Adam Chlipala Redo Jscomp
2009-05-16 Adam Chlipala Mutual datatypes through Cjrize
2009-05-16 Adam Chlipala Mutual datatypes through Pathcheck
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 Catching duplicate cookie and style paths
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 sleep and better Scriptcheck
2009-04-04 Adam Chlipala _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
2009-03-22 Adam Chlipala Proper recv
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
2009-03-08 Adam Chlipala RPC returning a default datatype
2009-02-15 Adam Chlipala First gimpy RPC
2009-02-15 Adam Chlipala Export RPC functions and push RPC calls through to Mono
2008-12-30 Adam Chlipala Harmonized source-setting between server and client
2008-12-30 Adam Chlipala Setting a source server-side
2008-12-21 Adam Chlipala Trivial use of a source
2008-12-21 Adam Chlipala Handling singnal bind
2008-12-20 Adam Chlipala Successfully generated a page element from a signal
2008-12-20 Adam Chlipala Initial <dyn> support
2008-12-19 Adam Chlipala Displayed an alert dialog
2008-11-06 Adam Chlipala Reading cookies works
2008-11-02 Adam Chlipala Almost have that nested save function compiling
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 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