aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/scriptcheck.sml
Commit message (Expand)AuthorAge
* Extend ScriptCheck to take RPCs into accountGravatar Adam Chlipala2014-08-24
* New phase: DbmodecheckGravatar Adam Chlipala2014-08-17
* Make Scriptcheck catch more script/message-passing uses, and move the phase e...Gravatar Adam Chlipala2013-03-15
* First part of changes to avoid depending on C function call argument order of...Gravatar Adam Chlipala2012-01-07
* Proper C-side deserialization; Shake.sliceDbGravatar Adam Chlipala2010-01-03
* Basis.serialize; separate file for mhash; run transactional finishers in reve...Gravatar Adam Chlipala2009-12-31
* Initializers and setvalGravatar Adam Chlipala2009-12-13
* Basis.url and redirectsGravatar Adam Chlipala2009-12-10
* Hopefully complete refactoring of Jscomp to output ASTs; partial implementati...Gravatar Adam Chlipala2009-09-22
* Avoid using prepared statements for non-persistent protocolsGravatar Adam Chlipala2009-06-27
* Initial implementation of protocols in SettingsGravatar Adam Chlipala2009-06-23
* cselect.onchangeGravatar Adam Chlipala2009-05-14
* Returning a blob as page resultGravatar Adam Chlipala2009-04-26
* onErrorGravatar Adam Chlipala2009-04-16
* sleep and better ScriptcheckGravatar Adam Chlipala2009-04-04
* _Really_ implement embedded closure GC; extend Scriptcheck to figure out when...Gravatar Adam Chlipala2009-04-04
* Proper recvGravatar Adam Chlipala2009-03-22
* First message send delivered, but not interpretedGravatar Adam Chlipala2009-03-22
* React demoGravatar Adam Chlipala2009-03-10
* Avoid any JavaScript when pages don't need it; update demo proseGravatar Adam Chlipala2009-03-10