log src/mono_print.sml

age author description
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