Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [De]serialization of times in JavaScript; proper integer division in ↵ | Adam Chlipala | 2010-12-23 |
| | | | | JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types | ||
* | Server-side 'onError' | Adam Chlipala | 2010-09-07 |
| | |||
* | tryDml | Adam Chlipala | 2010-09-05 |
| | |||
* | Roll back WHERE checking | Adam Chlipala | 2010-07-27 |
| | |||
* | equalAny policies | Adam Chlipala | 2010-07-27 |
| | |||
* | Initial version of equalKnown working for secret | Adam Chlipala | 2010-07-27 |
| | |||
* | sendOwnIds policies | Adam Chlipala | 2010-04-11 |
| | |||
* | Update policies | Adam Chlipala | 2010-04-11 |
| | |||
* | Delete policies | Adam Chlipala | 2010-04-11 |
| | |||
* | Insert policies | Adam Chlipala | 2010-04-11 |
| | |||
* | Change query_policy to sendClient; all arguments passed to SQL predicates ↵ | Adam Chlipala | 2010-04-08 |
| | | | | are variables | ||
* | Pushing policies through | Adam Chlipala | 2010-04-04 |
| | |||
* | Proper C-side deserialization; Shake.sliceDb | Adam Chlipala | 2010-01-03 |
| | |||
* | Eta-expand bodies of transaction functions in Monoization, to enable later ↵ | Adam Chlipala | 2009-12-31 |
| | | | | optimization | ||
* | Basis.serialize; separate file for mhash; run transactional finishers in ↵ | Adam Chlipala | 2009-12-31 |
| | | | | reverse order; set needs_sig properly | ||
* | Convert to task syntax | Adam Chlipala | 2009-12-15 |
| | |||
* | Initializers and setval | Adam Chlipala | 2009-12-13 |
| | |||
* | Basis.url and redirects | Adam Chlipala | 2009-12-10 |
| | |||
* | Use call/cc for recv and sleep | Adam Chlipala | 2009-10-25 |
| | |||
* | RPC uses VM support for call/cc | Adam Chlipala | 2009-10-25 |
| | |||
* | grid1 compiles but gets stuck in JS | Adam Chlipala | 2009-08-25 |
| | |||
* | Library improvements; proper list [un]urlification; remove server-side ↵ | Adam Chlipala | 2009-08-09 |
| | | | | ServerCalls; eta reduction in type inference | ||
* | Start of Option; Basis.current; fix missed cases in Jscomp.isNullable | Adam Chlipala | 2009-06-07 |
| | |||
* | Redo Jscomp | Adam Chlipala | 2009-05-17 |
| | |||
* | Mutual datatypes through Pathcheck | Adam Chlipala | 2009-05-16 |
| | |||
* | Basis.list | Adam Chlipala | 2009-04-30 |
| | |||
* | A view query works | Adam Chlipala | 2009-04-28 |
| | |||
* | Returning a blob as page result | Adam Chlipala | 2009-04-26 |
| | |||
* | Cookie signatures for RPCs | Adam Chlipala | 2009-04-23 |
| | |||
* | Effectness analysis | Adam Chlipala | 2009-04-16 |
| | |||
* | Catching duplicate cookie and style paths | Adam Chlipala | 2009-04-16 |
| | |||
* | Stop tracking CSS classes in XML types | Adam Chlipala | 2009-04-12 |
| | |||
* | style declarations | Adam Chlipala | 2009-04-12 |
| | |||
* | PRIMARY KEY | Adam Chlipala | 2009-04-07 |
| | |||
* | UNIQUE constraints | Adam Chlipala | 2009-04-07 |
| | |||
* | sleep and better Scriptcheck | Adam Chlipala | 2009-04-04 |
| | |||
* | On start-up, delete/nullify rows mentioning clients or channels | Adam Chlipala | 2009-04-02 |
| | |||
* | Expunging non-nullable rows | Adam Chlipala | 2009-03-29 |
| | |||
* | Proper recv | Adam Chlipala | 2009-03-22 |
| | |||
* | Parameterized RPC query | Adam Chlipala | 2009-02-15 |
| | |||
* | First gimpy RPC | Adam Chlipala | 2009-02-15 |
| | |||
* | Export RPC functions and push RPC calls through to Mono | Adam Chlipala | 2009-02-15 |
| | |||
* | Injecting a float | Adam Chlipala | 2009-01-01 |
| | |||
* | Harmonized source-setting between server and client | Adam Chlipala | 2008-12-30 |
| | |||
* | Setting a source server-side | Adam Chlipala | 2008-12-30 |
| | |||
* | Trivial use of a source | Adam Chlipala | 2008-12-21 |
| | |||
* | Handling singnal bind | Adam Chlipala | 2008-12-21 |
| | |||
* | Successfully generated a page element from a signal | Adam Chlipala | 2008-12-20 |
| | |||
* | Initial <dyn> support | Adam Chlipala | 2008-12-20 |
| | |||
* | Displayed an alert dialog | Adam Chlipala | 2008-12-19 |
| |