summaryrefslogtreecommitdiff
path: root/src/mono_opt.sml
Commit message (Expand)AuthorAge
* fixes for review 1Gravatar fab2019-01-21
* fix unit tests. implement urlifyCharGravatar fab2019-01-09
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
* Use new refactored urlification in Sqlcache.Gravatar Ziv Scully2015-09-21
* Merge.Gravatar Ziv Scully2015-03-27
|\
| * Evaluate minus and times in MonoOptGravatar Adam Chlipala2015-02-16
* | Merge.Gravatar Ziv Scully2014-12-11
|\|
* | Basic field-resolution invalidation.Gravatar Ziv Scully2014-11-29
| * Optimizing writes of single charactersGravatar Adam Chlipala2014-12-04
| * MonoOpt: remove concatenation with empty stringGravatar Adam Chlipala2014-12-03
| * Some more optimization of string expressions showing up in JSON generation (M...Gravatar Adam Chlipala2014-12-03
|/
* Differentiate between HTML and normal string literalsGravatar Adam Chlipala2014-08-01
* HTML5 data-* attributesGravatar Adam Chlipala2014-05-02
* Basis.getenvGravatar Adam Chlipala2012-08-02
* Speed up space eating in MonoOptGravatar Vladimir Shabanov2012-05-17
* Run-time CSS style validationGravatar Adam Chlipala2012-05-06
* 'style' attributesGravatar Adam Chlipala2012-05-06
* First part of changes to avoid depending on C function call argument order of...Gravatar Adam Chlipala2012-01-07
* Fix bug with string literals in unAsGravatar Adam Chlipala2011-05-30
* getHeader and setHeaderGravatar Adam Chlipala2011-05-29
* Each context gets its own non-repeating sequence of source numbersGravatar Adam Chlipala2011-04-09
* To generate server-side source JavaScript, try both the old and new strategie...Gravatar Adam Chlipala2011-03-28
* [De]serialization of times in JavaScript; proper integer division in JavaScri...Gravatar Adam Chlipala2010-12-23
* Basis.cdataCharGravatar Adam Chlipala2010-12-21
* Simplify Basis.strcat calls in MonoOptGravatar Adam Chlipala2010-11-19
* Polymorphic variantsGravatar Adam Chlipala2010-08-19
* URL-escape with '.' instead of '%', to avoid confusing proxiesGravatar Adam Chlipala2010-05-18
* Tone down Reduce and compensate with a new push-lambda-inside-case rule in Mo...Gravatar Adam Chlipala2010-03-02
* Basis.url and redirectsGravatar Adam Chlipala2009-12-10
* Move to simpler HTML escapingGravatar Adam Chlipala2009-12-08
* UTF-8 in dynamic escapingGravatar Adam Chlipala2009-12-03
* Escaping UTF-8 in MonoOptGravatar Adam Chlipala2009-12-03
* Optimizing str1 in MonoOptGravatar Adam Chlipala2009-11-01
* Chars working with SQLiteGravatar Adam Chlipala2009-10-22
* Initial support for char in SQLGravatar Adam Chlipala2009-10-22
* Fix some MySQL hijinksGravatar Adam Chlipala2009-10-12
* Change string URLification to avoid using the empty string, which confuses Ap...Gravatar Adam Chlipala2009-09-12
* grid1 compiles but gets stuck in JSGravatar Adam Chlipala2009-08-25
* Library improvements; proper list [un]urlification; remove server-side Server...Gravatar Adam Chlipala2009-08-09
* MySQL accepts generated demo DDLGravatar Adam Chlipala2009-07-16
* MySQL demo/sql succeeds in reading no rowsGravatar Adam Chlipala2009-07-12
* Redo JscompGravatar Adam Chlipala2009-05-17
* allow/deny working in Mono_optGravatar Adam Chlipala2009-05-02
* A view query worksGravatar Adam Chlipala2009-04-28
* Returning a blob as page resultGravatar Adam Chlipala2009-04-26
* Classes as optional arguments to Basis.tagGravatar Adam Chlipala2009-04-12
* URLsGravatar Adam Chlipala2009-04-09
* CHECK constraintsGravatar Adam Chlipala2009-04-09
* Noisy demoGravatar Adam Chlipala2009-03-10
* Batch exampleGravatar Adam Chlipala2009-03-10