summaryrefslogtreecommitdiff
path: root/src/mono_opt.sml
Commit message (Expand)AuthorAge
* 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
* 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