aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/mono_opt.sml
Commit message (Collapse)AuthorAge
* Tone down Reduce and compensate with a new push-lambda-inside-case rule in ↵Gravatar Adam Chlipala2010-03-02
| | | | MonoOpt; expand more Basis synonyms in Monoize
* 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 ↵Gravatar Adam Chlipala2009-09-12
| | | | Apache no2slash()
* grid1 compiles but gets stuck in JSGravatar Adam Chlipala2009-08-25
|
* Library improvements; proper list [un]urlification; remove server-side ↵Gravatar Adam Chlipala2009-08-09
| | | | ServerCalls; eta reduction in type inference
* 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
|
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 12:14:17 +0000