log src/mono_print.sml

age author description
2013-12-11 Adam Chlipala Change handling of returned text blobs, to activate the normal EWrite optimizations
2013-04-16 Adam Chlipala Basis.tryRpc
2013-03-15 Adam Chlipala Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
2012-04-30 Adam Chlipala Fix generation of normal datatypes from polymorphic variants
2012-01-07 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
2010-12-23 Adam Chlipala [De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
2010-09-07 Adam Chlipala Server-side 'onError'
2010-09-05 Adam Chlipala tryDml
2010-07-27 Adam Chlipala Roll back WHERE checking
2010-07-27 Adam Chlipala equalAny policies
2010-07-27 Adam Chlipala Initial version of equalKnown working for secret
2010-04-11 Adam Chlipala sendOwnIds policies
2010-04-11 Adam Chlipala Update policies
2010-04-11 Adam Chlipala Delete policies
2010-04-11 Adam Chlipala Insert policies
2010-04-08 Adam Chlipala Change query_policy to sendClient; all arguments passed to SQL predicates are variables
2010-04-04 Adam Chlipala Pushing policies through
2010-01-03 Adam Chlipala Proper C-side deserialization; Shake.sliceDb
2009-12-31 Adam Chlipala Eta-expand bodies of transaction functions in Monoization, to enable later optimization
2009-12-31 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-12-10 Adam Chlipala Basis.url and redirects
2009-10-25 Adam Chlipala Use call/cc for recv and sleep
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-08-25 Adam Chlipala grid1 compiles but gets stuck in JS
2009-08-09 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-06-07 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
2009-05-17 Adam Chlipala Redo Jscomp
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-23 Adam Chlipala Cookie signatures for RPCs
2009-04-16 Adam Chlipala Effectness analysis
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 sleep and better Scriptcheck
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-22 Adam Chlipala Proper recv
2009-02-15 Adam Chlipala Parameterized RPC query
2009-02-15 Adam Chlipala First gimpy RPC
2009-02-15 Adam Chlipala Export RPC functions and push RPC calls through to Mono
2009-01-01 Adam Chlipala Injecting a float
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-10-21 Adam Chlipala Binops; equality tested on int; lame 404 substitute
2008-09-14 Adam Chlipala SQL sequences
2008-09-13 Adam Chlipala Optimize immediate writes of query results
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 Error-parsing ints
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-02 Adam Chlipala Table declarations pushed to Cjr
2008-09-02 Adam Chlipala 'database' declaration threaded through compiler
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-31 Adam Chlipala Laconic -> Ur
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 Optimizing 'case' in Mono_reduce
2008-08-03 Adam Chlipala Compiled pattern matching to C
2008-08-03 Adam Chlipala Cases through monoize
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 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 Passing an argument to a web function
2008-07-13 Adam Chlipala Cjr ready for dispatch code generation
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 page declaration, up through monoize
2008-07-03 Adam Chlipala Monoizing cdata
2008-06-22 Adam Chlipala FFI through monoize
2008-06-12 Adam Chlipala Simple signature matching
2008-06-10 Adam Chlipala Translation to Cjr
2008-06-10 Adam Chlipala Closure conversion
2008-06-10 Adam Chlipala Monoize