Mercurial > urweb
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 |