log src/mono_shake.sml

age author description
2013-03-15 Adam Chlipala Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
2011-12-03 Adam Chlipala Better error messages about non-SQL-izability of types
2011-08-14 Adam Chlipala Remove commented-out code
2011-08-13 Karn Kallio Handle case where shakeExp can remove datatype.
2010-09-07 Adam Chlipala Server-side 'onError'
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-05-27 Adam Chlipala Consider view declarations while shaking
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
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-05-16 Adam Chlipala Mutual datatypes through Pathcheck
2009-04-28 Adam Chlipala A view query works
2009-04-16 Adam Chlipala Catching duplicate cookie and style paths
2009-04-12 Adam Chlipala style declarations
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-02-15 Adam Chlipala First gimpy RPC
2008-12-20 Adam Chlipala Successfully generated a page element from a signal
2008-09-14 Adam Chlipala SQL sequences
2008-09-02 Adam Chlipala Table declarations pushed to Cjr
2008-09-02 Adam Chlipala 'database' declaration threaded through compiler
2008-08-09 Adam Chlipala Lists all the way through
2008-08-03 Adam Chlipala Datatype representation optimization
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 MonoShake