summaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAge
* Fixing overzealous SQL paren-nesterGravatar Adam Chlipala2008-10-16
|
* Indenting paren-nested SQL expressionsGravatar Adam Chlipala2008-10-16
|
* Indenting simple DML properlyGravatar Adam Chlipala2008-10-16
|
* Indenting SELECT sub-clauses properlyGravatar Adam Chlipala2008-10-16
|
* Crud auto-indented correctlyGravatar Adam Chlipala2008-10-16
|
* Fix problem with sig/struct indentingGravatar Adam Chlipala2008-10-16
|
* Crud indented properly, except for <xml>...</xml> outside parens and sig/structGravatar Adam Chlipala2008-10-16
|
* Removed handling of <,> as operators, for nowGravatar Adam Chlipala2008-10-16
|
* Improving indentation of XML after antiquoteGravatar Adam Chlipala2008-10-16
|
* Reusable column handlers for CrudGravatar Adam Chlipala2008-10-14
|
* lform -> formGravatar Adam Chlipala2008-10-14
|
* Syntax highlighting for embedded XMLGravatar Adam Chlipala2008-10-14
|
* Basis indents and type-checks with new twiddle syntaxGravatar Adam Chlipala2008-10-12
|
* More indentingGravatar Adam Chlipala2008-10-12
|
* Get type definitions font-locking againGravatar Adam Chlipala2008-10-12
|
* First sort-of-working run of urweb-modeGravatar Adam Chlipala2008-10-12
|
* Expand cases where expression wildcards are allowedGravatar Adam Chlipala2008-10-04
|
* Improved inference of records of tuplesGravatar Adam Chlipala2008-10-04
|
* Use checkbox in CRUD exampleGravatar Adam Chlipala2008-10-04
|
* Small clean-ups in crud; Compiler.checkGravatar Adam Chlipala2008-10-04
|
* Crud completedGravatar Adam Chlipala2008-09-14
|
* Crud update formGravatar Adam Chlipala2008-09-14
|
* Crud supports INSERTGravatar Adam Chlipala2008-09-14
|
* SQL sequencesGravatar Adam Chlipala2008-09-14
|
* Deletion for CrudGravatar Adam Chlipala2008-09-13
|
* Crud gets column headingsGravatar Adam Chlipala2008-09-13
|
* queryXGravatar Adam Chlipala2008-09-13
|
* foldTRX2Gravatar Adam Chlipala2008-09-13
|
* foldTR2Gravatar Adam Chlipala2008-09-13
|
* Fix bug in subsignature check for con synonymsGravatar Adam Chlipala2008-09-11
|
* Crud list worksGravatar Adam Chlipala2008-09-11
|
* Crud listing IDsGravatar Adam Chlipala2008-09-11
|
* Optimization removes linear let-bindings of impure expressionsGravatar Adam Chlipala2008-09-11
|
* Fix memory bounds checks; specialization of multi-argument polymorphic ↵Gravatar Adam Chlipala2008-09-11
| | | | function works
* Unpolyed a polymorphic function of two argumentsGravatar Adam Chlipala2008-09-11
|
* Unpoly non-recursive functionGravatar Adam Chlipala2008-09-11
|
* Termination checking allows anything in links and actionsGravatar Adam Chlipala2008-09-09
|
* Termination checkingGravatar Adam Chlipala2008-09-09
|
* Datatype positivity checkGravatar Adam Chlipala2008-09-09
|
* Automatically add table annotations in UPDATE and DELETEGravatar Adam Chlipala2008-09-07
|
* First UPDATE worksGravatar Adam Chlipala2008-09-07
|
* Scratch that change....Gravatar Adam Chlipala2008-09-07
|
* Remove need to mention table name in expressions for UPDATE and DELETEGravatar Adam Chlipala2008-09-07
|
* Parsing DELETEGravatar Adam Chlipala2008-09-07
|
* Parsing UPDATEGravatar Adam Chlipala2008-09-07
|
* Parsing INSERTGravatar Adam Chlipala2008-09-07
|
* Elaborated 'delete'Gravatar Adam Chlipala2008-09-07
|
* Elaborated 'update'Gravatar Adam Chlipala2008-09-07
|
* Elaborated 'insert'Gravatar Adam Chlipala2008-09-07
|
* Remove unneeded type annotations in pqueryGravatar Adam Chlipala2008-09-07
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 15:37:13 +0000