Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Server-side 'onError' | Adam Chlipala | 2010-09-07 |
| | |||
* | 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 |
| | |||
* | Consider view declarations while shaking | Adam Chlipala | 2010-05-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 |
| | |||
* | 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 |
| | |||
* | Mutual datatypes through Pathcheck | Adam Chlipala | 2009-05-16 |
| | |||
* | A view query works | Adam Chlipala | 2009-04-28 |
| | |||
* | Catching duplicate cookie and style paths | Adam Chlipala | 2009-04-16 |
| | |||
* | style declarations | Adam Chlipala | 2009-04-12 |
| | |||
* | On start-up, delete/nullify rows mentioning clients or channels | Adam Chlipala | 2009-04-02 |
| | |||
* | Expunging non-nullable rows | Adam Chlipala | 2009-03-29 |
| | |||
* | First gimpy RPC | Adam Chlipala | 2009-02-15 |
| | |||
* | Successfully generated a page element from a signal | Adam Chlipala | 2008-12-20 |
| | |||
* | SQL sequences | Adam Chlipala | 2008-09-14 |
| | |||
* | Table declarations pushed to Cjr | Adam Chlipala | 2008-09-02 |
| | |||
* | 'database' declaration threaded through compiler | Adam Chlipala | 2008-09-02 |
| | |||
* | Lists all the way through | Adam Chlipala | 2008-08-09 |
| | |||
* | Datatype representation optimization | Adam Chlipala | 2008-08-03 |
| | |||
* | First part of getting cases through monoize | Adam Chlipala | 2008-08-03 |
| | |||
* | Storing datatype constructors in type references past monoize | Adam Chlipala | 2008-07-29 |
| | |||
* | Datatypes through monoize | Adam Chlipala | 2008-07-29 |
| | |||
* | Simple forms work | Adam Chlipala | 2008-07-22 |
| | |||
* | MonoShake | Adam Chlipala | 2008-07-17 |