summaryrefslogtreecommitdiff
path: root/tests
Commit message (Expand)AuthorAge
* Testing type-class-parameterized functionsGravatar Adam Chlipala2008-08-16
* Initial type class supportGravatar Adam Chlipala2008-08-16
* Inferring sql_type'sGravatar Adam Chlipala2008-08-16
* Stub WHERE supportGravatar Adam Chlipala2008-08-16
* Non-star SELECTGravatar Adam Chlipala2008-08-14
* Elaborating 'SELECT *' queriesGravatar Adam Chlipala2008-08-14
* Parsing the simplest SQL queryGravatar Adam Chlipala2008-08-14
* Parsing and elaborating 'table'Gravatar Adam Chlipala2008-08-14
* Urlifying recordsGravatar Adam Chlipala2008-08-09
* 'Option' datatype encodingGravatar Adam Chlipala2008-08-09
* Lists all the way throughGravatar Adam Chlipala2008-08-09
* Tuples syntactic sugarGravatar Adam Chlipala2008-08-09
* A multi-parameter datatype all the way throughGravatar Adam Chlipala2008-08-09
* Specialization of single-parameter datatypesGravatar Adam Chlipala2008-08-08
* Parametrized datatypes through explifyGravatar Adam Chlipala2008-08-08
* CheckboxesGravatar Adam Chlipala2008-08-07
* bool in BasisGravatar Adam Chlipala2008-08-03
* FFI datatypesGravatar Adam Chlipala2008-08-03
* Optimizing 'case' in Mono_reduceGravatar Adam Chlipala2008-08-03
* Case through corifyGravatar Adam Chlipala2008-08-02
* Elaborating record patternsGravatar Adam Chlipala2008-07-31
* Elaborating module constructor patterns; parsing record patternsGravatar Adam Chlipala2008-07-31
* Patterns for int and string constantsGravatar Adam Chlipala2008-07-31
* Elaborating some basic pattern matchingGravatar Adam Chlipala2008-07-31
* Parsing basic patternsGravatar Adam Chlipala2008-07-29
* Datatypes through corifyGravatar Adam Chlipala2008-07-29
* Datatype import signature-matches abstract datatypeGravatar Adam Chlipala2008-07-24
* Abstracting datatypes with signature ascriptionGravatar Adam Chlipala2008-07-24
* More datatype module stuffGravatar Adam Chlipala2008-07-24
* Basic datatype importing worksGravatar Adam Chlipala2008-07-24
* Start of datatype supportGravatar Adam Chlipala2008-07-24
* Password inputsGravatar Adam Chlipala2008-07-24
* HTML selectGravatar Adam Chlipala2008-07-24
* radio and radioOptionGravatar Adam Chlipala2008-07-24
* textareaGravatar Adam Chlipala2008-07-24
* gformText testGravatar Adam Chlipala2008-07-24
* Full gform test worksGravatar Adam Chlipala2008-07-24
* Record cutGravatar Adam Chlipala2008-07-24
* gform in proper orderGravatar Adam Chlipala2008-07-22
* Meta-programming formsGravatar Adam Chlipala2008-07-22
* Fix opening and corifying of functorsGravatar Adam Chlipala2008-07-22
* Simple forms workGravatar Adam Chlipala2008-07-22
* Form submission type-checkingGravatar Adam Chlipala2008-07-20
* Initial form supportGravatar Adam Chlipala2008-07-20
* A simpler context encodingGravatar Adam Chlipala2008-07-20
* Form binding parameters threaded throughGravatar Adam Chlipala2008-07-20
* Dynamic arena allocationGravatar Adam Chlipala2008-07-17
* Proper escaping of cdataGravatar Adam Chlipala2008-07-17
* MonoShakeGravatar Adam Chlipala2008-07-17
* UntangleGravatar Adam Chlipala2008-07-17