summaryrefslogtreecommitdiff
path: root/tests
Commit message (Expand)AuthorAge
* New implicit argument handlingGravatar Adam Chlipala2008-10-21
* Recursive unurlify for Default datatypesGravatar Adam Chlipala2008-10-21
* Simple listShop workingGravatar Adam Chlipala2008-10-21
* ord_stringGravatar Adam Chlipala2008-10-21
* ord_float and ord_boolGravatar Adam Chlipala2008-10-21
* gt, geGravatar Adam Chlipala2008-10-21
* lt, le working for intGravatar Adam Chlipala2008-10-21
* num_floatGravatar Adam Chlipala2008-10-21
* num working for intGravatar Adam Chlipala2008-10-21
* Monoize eq_[bool|string]Gravatar Adam Chlipala2008-10-21
* Binops; equality tested on int; lame 404 substituteGravatar Adam Chlipala2008-10-21
* Proper generation of relation names; checking that sequences existGravatar Adam Chlipala2008-10-19
* Simple generation of persistent pathsGravatar Adam Chlipala2008-10-19
* 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 functi...Gravatar Adam Chlipala2008-09-11
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 22:32:34 +0000