summaryrefslogtreecommitdiff
path: root/src/mono_opt.sml
Commit message (Collapse)AuthorAge
...
* 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-06-03 15:13:53 +0000