log src/shake.sml

age author description
2010-09-07 Adam Chlipala Server-side 'onError'
2010-05-27 Adam Chlipala Consider view declarations while shaking
2010-04-04 Adam Chlipala Pushing policies through
2010-01-03 Adam Chlipala Proper C-side deserialization; Shake.sliceDb
2009-12-31 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
2009-12-20 Adam Chlipala Another try at reasonable Especialize, this time with a custom traversal
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-12-08 Adam Chlipala Shake bug fix; pattern reduction in ReduceLocal
2009-12-08 Adam Chlipala Fix a Shake bug that led to missing some cons
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-09-17 Adam Chlipala Basic tail recursion introduction seems to be working