summaryrefslogtreecommitdiff
path: root/src/mono_opt.sml
Commit message (Collapse)AuthorAge
* 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-30 22:12:45 +0000