summaryrefslogtreecommitdiff
path: root/src/mono_opt.sml
Commit message (Collapse)AuthorAge
* 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 ↵Gravatar Adam Chlipala2014-12-03
|/ | | | (Meta library)
* 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 ↵Gravatar Adam Chlipala2012-01-07
| | | | of evaluation (omitting normal Ur function calls, so far)
* 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 ↵Gravatar Adam Chlipala2011-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 ↵Gravatar Adam Chlipala2010-12-23
| | | | JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
* 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 ↵Gravatar Adam Chlipala2010-03-02
| | | | MonoOpt; expand more Basis synonyms in Monoize
* 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 ↵Gravatar Adam Chlipala2009-09-12
| | | | Apache no2slash()
* grid1 compiles but gets stuck in JSGravatar Adam Chlipala2009-08-25
|
* Library improvements; proper list [un]urlification; remove server-side ↵Gravatar Adam Chlipala2009-08-09
| | | | ServerCalls; eta reduction in type inference
* 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
|
* Harmonized source-setting between server and clientGravatar Adam Chlipala2008-12-30
|
* Handling singnal bindGravatar Adam Chlipala2008-12-21
|