summaryrefslogtreecommitdiff
path: root/src/mono_opt.sml
Commit message (Expand)AuthorAge
* 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
* Harmonized source-setting between server and clientGravatar Adam Chlipala2008-12-30
* Handling singnal bindGravatar Adam Chlipala2008-12-21
* Start of JsCompGravatar Adam Chlipala2008-12-20
* Displayed an alert dialogGravatar Adam Chlipala2008-12-19
* Fusing writes with recursive function callsGravatar Adam Chlipala2008-11-25
* Fix type calculation for applying-a-case optimizationGravatar Adam Chlipala2008-11-11
* Remove some allocationGravatar Adam Chlipala2008-11-09
* Inserted a NULL valueGravatar Adam Chlipala2008-11-06
* Almost have that nested save function compilingGravatar Adam Chlipala2008-11-01
* Remove empty writesGravatar Adam Chlipala2008-11-01
* time typeGravatar Adam Chlipala2008-10-30
* Push writes inside letsGravatar Adam Chlipala2008-09-14
* queryXGravatar Adam Chlipala2008-09-13
* Optimize immediate writes of query resultsGravatar Adam Chlipala2008-09-13
* Expand scope of base type conversion coalesce optimizationsGravatar Adam Chlipala2008-09-11
* 'show' type class; htmlification optimizationsGravatar Adam Chlipala2008-09-07
* Change sqlify[int|float|string] to annotate with SQL typesGravatar Adam Chlipala2008-09-04
* Monoize HAVINGGravatar Adam Chlipala2008-08-31
* Monoized a WHERE clause with a comparisonGravatar Adam Chlipala2008-08-31
* Lists all the way throughGravatar Adam Chlipala2008-08-09