summaryrefslogtreecommitdiff
path: root/src/monoize.sml
Commit message (Collapse)AuthorAge
* Fix missing SQL name-mangling in table initializationGravatar Istvan Chung2015-04-23
|
* Support 'dynClass' and 'dynStyle' for <body>Gravatar Adam Chlipala2015-03-03
|
* Don't allow singleton <button> tagsGravatar Adam Chlipala2015-02-01
|
* Fix XML syntax for closing <input> tagsGravatar Adam Chlipala2014-12-18
|
* More aggressive inlining of 'let' with record literals, plus some changes to ↵Gravatar Adam Chlipala2014-12-04
| | | | Monoization of queries, to make inlining more common
* More HTML5 AJAX widgetsGravatar Adam Chlipala2014-11-16
|
* Textual HTML5 AJAX widgetsGravatar Adam Chlipala2014-11-16
|
* Some more HTML5 input typesGravatar Adam Chlipala2014-11-16
|
* More simple textual HTML5 input typesGravatar Adam Chlipala2014-11-16
|
* HTML5 input attributes: placeholder, required, autofocus; email input type ↵Gravatar Sergey Mironov2014-10-12
| | | | (without cformTag equivalent)
* Adds AJAX-oriented widget cpassword.Gravatar Ziv Scully2014-08-10
|
* Differentiate between HTML and normal string literalsGravatar Adam Chlipala2014-08-01
|
* 'aria-*' attributesGravatar Adam Chlipala2014-08-01
|
* 'sql_injectable_prim' instance for 'url'Gravatar Adam Chlipala2014-06-15
|
* Treat <button> 'value' attribute as content of tagGravatar Adam Chlipala2014-06-13
|
* Remove special treatment of <button>Gravatar Adam Chlipala2014-06-09
|
* Fix dynClass for non-<body> contextsGravatar Adam Chlipala2014-05-04
|
* HTML5 data-* attributesGravatar Adam Chlipala2014-05-02
|
* Fix a bug in GROUP BY generation [keeping within today's release]Gravatar Adam Chlipala2014-04-26
|
* noMangleSql .urp directiveGravatar Adam Chlipala2014-01-04
|
* Compile-time error for periodic tasks in nonpersistent protocolsGravatar Adam Chlipala2013-12-29
|
* Change handling of returned text blobs, to activate the normal EWrite ↵Gravatar Adam Chlipala2013-12-11
| | | | optimizations
* Add show instance for 'id' typeGravatar Sergey Mironov2013-10-07
|
* MergeGravatar Adam Chlipala2013-12-09
|\
* | Rename <activeHead> to <script> and make it work properlyGravatar Adam Chlipala2013-12-09
| |
* | activeHead: don't modify the head. just execute the code providedGravatar Sergey Mironov2013-12-06
| |
* | Add activeHead tag.Gravatar Sergey Mironov2013-12-06
| | | | | | | | activeHead is similar to active but produces xhead instead of xbody
| * Add 'xhead' case to MonoizeGravatar Adam Chlipala2013-12-06
|/
* Add monoize case for 'dml' typeGravatar Adam Chlipala2013-10-01
|
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
|
* Make Scriptcheck catch more script/message-passing uses, and move the phase ↵Gravatar Adam Chlipala2013-03-15
| | | | earlier in compilation
* Add more HTML singleton tags, anticipating that others may make them ↵Gravatar Adam Chlipala2012-12-31
| | | | available via the FFI
* Add some name-mangling rules to allow XML attribute 'name' and attributes ↵Gravatar Adam Chlipala2012-12-27
| | | | with dashes
* Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a ↵Gravatar Adam Chlipala2012-12-11
| | | | kind of simple dynamic typing (unsafe, of course)
* add Placeholder attribute to <password>; change <textbox> code generation to ↵Gravatar Adam Chlipala2012-11-30
| | | | set 'type' to 'text'
* Allow any FFI module to declare new HTML tagsGravatar Adam Chlipala2012-11-28
|
* Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a ↵Gravatar Adam Chlipala2012-11-28
| | | | test case for it
* Standard library additions: Option.unsafeGet, Basis.expGravatar Austin Seipp2012-11-28
|
* Tweaking treatment of function application: substitute or introduce a 'let'?Gravatar Adam Chlipala2012-08-05
|
* show_sql_queryGravatar Adam Chlipala2012-08-22
|
* Revert last changeset for now; needs more thoughtGravatar Adam Chlipala2012-08-05
|
* Tweaking treatment of function application: substitute or introduce a 'let'?Gravatar Adam Chlipala2012-08-05
|
* New NameJs phase, still needing some debuggingGravatar Adam Chlipala2012-08-02
|
* Basis.getenvGravatar Adam Chlipala2012-08-02
|
* Fix bug in handling of event attributes within client-side widgetsGravatar Adam Chlipala2012-07-21
|
* <active>Gravatar Adam Chlipala2012-07-21
|
* New event records for key and mouse handlersGravatar Adam Chlipala2012-07-21
|
* Lighter-weight encoding of window function useGravatar Adam Chlipala2012-06-03
|
* Partitioning and ordering for window functionsGravatar Adam Chlipala2012-06-02
|
* Compiled a window function useGravatar Adam Chlipala2012-06-02
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 21:36:53 +0000