aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/mono_opt.sml
Commit message (Expand)AuthorAge
* 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
* Datatype representation optimizationGravatar Adam Chlipala2008-08-03
* Mono_opt for urlifying boolsGravatar Adam Chlipala2008-08-03
* FFI datatypesGravatar Adam Chlipala2008-08-03
* Push write inside caseGravatar Adam Chlipala2008-08-03
* Optimizing 'case' in Mono_reduceGravatar Adam Chlipala2008-08-03
* Proper escaping of cdataGravatar Adam Chlipala2008-07-17
* Passing an argument to a web functionGravatar Adam Chlipala2008-07-13
* Optimizing attrification of constantsGravatar Adam Chlipala2008-07-10
* More with attributes and efficient serializationGravatar Adam Chlipala2008-07-10
* Stringifying attributesGravatar Adam Chlipala2008-07-10
* Mono optimizations (start with string concat and space eating)Gravatar Adam Chlipala2008-07-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-31 18:09:54 +0000