summaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)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 ↵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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-30 14:09:17 +0000