aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/scriptcheck.sml
Commit message (Collapse)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 ↵Gravatar Adam Chlipala2013-03-15
| | | | earlier in compilation
* First part of changes to avoid depending on C function call argument order ↵Gravatar Adam Chlipala2012-01-07
| | | | of evaluation (omitting normal Ur function calls, so far)
* Proper C-side deserialization; Shake.sliceDbGravatar Adam Chlipala2010-01-03
|
* Basis.serialize; separate file for mhash; run transactional finishers in ↵Gravatar Adam Chlipala2009-12-31
| | | | reverse order; set needs_sig properly
* Initializers and setvalGravatar Adam Chlipala2009-12-13
|
* Basis.url and redirectsGravatar Adam Chlipala2009-12-10
|
* Hopefully complete refactoring of Jscomp to output ASTs; partial ↵Gravatar Adam Chlipala2009-09-22
| | | | implementation of interpreter in runtime system (demo/alert works)
* 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 ↵Gravatar Adam Chlipala2009-04-04
| | | | when client IDs must be assigned
* 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