Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Basis.getenv | Adam Chlipala | 2012-08-02 |
| | |||
* | Speed up space eating in MonoOpt | Vladimir Shabanov | 2012-05-17 |
| | |||
* | Run-time CSS style validation | Adam Chlipala | 2012-05-06 |
| | |||
* | 'style' attributes | Adam Chlipala | 2012-05-06 |
| | |||
* | First part of changes to avoid depending on C function call argument order ↵ | Adam Chlipala | 2012-01-07 |
| | | | | of evaluation (omitting normal Ur function calls, so far) | ||
* | Fix bug with string literals in unAs | Adam Chlipala | 2011-05-30 |
| | |||
* | getHeader and setHeader | Adam Chlipala | 2011-05-29 |
| | |||
* | Each context gets its own non-repeating sequence of source numbers | Adam Chlipala | 2011-04-09 |
| | |||
* | To generate server-side source JavaScript, try both the old and new ↵ | Adam Chlipala | 2011-03-28 |
| | | | | strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate | ||
* | [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 | ||
* | Basis.cdataChar | Adam Chlipala | 2010-12-21 |
| | |||
* | Simplify Basis.strcat calls in MonoOpt | Adam Chlipala | 2010-11-19 |
| | |||
* | Polymorphic variants | Adam Chlipala | 2010-08-19 |
| | |||
* | URL-escape with '.' instead of '%', to avoid confusing proxies | Adam Chlipala | 2010-05-18 |
| | |||
* | Tone down Reduce and compensate with a new push-lambda-inside-case rule in ↵ | Adam Chlipala | 2010-03-02 |
| | | | | MonoOpt; expand more Basis synonyms in Monoize | ||
* | Basis.url and redirects | Adam Chlipala | 2009-12-10 |
| | |||
* | Move to simpler HTML escaping | Adam Chlipala | 2009-12-08 |
| | |||
* | UTF-8 in dynamic escaping | Adam Chlipala | 2009-12-03 |
| | |||
* | Escaping UTF-8 in MonoOpt | Adam Chlipala | 2009-12-03 |
| | |||
* | Optimizing str1 in MonoOpt | Adam Chlipala | 2009-11-01 |
| | |||
* | Chars working with SQLite | Adam Chlipala | 2009-10-22 |
| | |||
* | Initial support for char in SQL | Adam Chlipala | 2009-10-22 |
| | |||
* | Fix some MySQL hijinks | Adam Chlipala | 2009-10-12 |
| | |||
* | Change string URLification to avoid using the empty string, which confuses ↵ | Adam Chlipala | 2009-09-12 |
| | | | | Apache no2slash() | ||
* | 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 | ||
* | MySQL accepts generated demo DDL | Adam Chlipala | 2009-07-16 |
| | |||
* | MySQL demo/sql succeeds in reading no rows | Adam Chlipala | 2009-07-12 |
| | |||
* | Redo Jscomp | Adam Chlipala | 2009-05-17 |
| | |||
* | allow/deny working in Mono_opt | Adam Chlipala | 2009-05-02 |
| | |||
* | A view query works | Adam Chlipala | 2009-04-28 |
| | |||
* | Returning a blob as page result | Adam Chlipala | 2009-04-26 |
| | |||
* | Classes as optional arguments to Basis.tag | Adam Chlipala | 2009-04-12 |
| | |||
* | URLs | Adam Chlipala | 2009-04-09 |
| | |||
* | CHECK constraints | Adam Chlipala | 2009-04-09 |
| | |||
* | Noisy demo | Adam Chlipala | 2009-03-10 |
| | |||
* | Batch example | Adam Chlipala | 2009-03-10 |
| | |||
* | Harmonized source-setting between server and client | Adam Chlipala | 2008-12-30 |
| | |||
* | Handling singnal bind | Adam Chlipala | 2008-12-21 |
| | |||
* | Start of JsComp | Adam Chlipala | 2008-12-20 |
| | |||
* | Displayed an alert dialog | Adam Chlipala | 2008-12-19 |
| | |||
* | Fusing writes with recursive function calls | Adam Chlipala | 2008-11-25 |
| | |||
* | Fix type calculation for applying-a-case optimization | Adam Chlipala | 2008-11-11 |
| | |||
* | Remove some allocation | Adam Chlipala | 2008-11-09 |
| | |||
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 |
| | |||
* | Almost have that nested save function compiling | Adam Chlipala | 2008-11-01 |
| | |||
* | Remove empty writes | Adam Chlipala | 2008-11-01 |
| | |||
* | time type | Adam Chlipala | 2008-10-30 |
| | |||
* | Push writes inside lets | Adam Chlipala | 2008-09-14 |
| | |||
* | queryX | Adam Chlipala | 2008-09-13 |
| |