Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
| | |||
* | Use new refactored urlification in Sqlcache. | Ziv Scully | 2015-09-21 |
| | |||
* | Merge. | Ziv Scully | 2015-03-27 |
|\ | |||
| * | Evaluate minus and times in MonoOpt | Adam Chlipala | 2015-02-16 |
| | | |||
* | | Merge. | Ziv Scully | 2014-12-11 |
|\| | |||
* | | Basic field-resolution invalidation. | Ziv Scully | 2014-11-29 |
| | | |||
| * | Optimizing writes of single characters | Adam Chlipala | 2014-12-04 |
| | | |||
| * | MonoOpt: remove concatenation with empty string | Adam Chlipala | 2014-12-03 |
| | | |||
| * | Some more optimization of string expressions showing up in JSON generation ↵ | Adam Chlipala | 2014-12-03 |
|/ | | | | (Meta library) | ||
* | Differentiate between HTML and normal string literals | Adam Chlipala | 2014-08-01 |
| | |||
* | HTML5 data-* attributes | Adam Chlipala | 2014-05-02 |
| | |||
* | 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 |
| |