summaryrefslogtreecommitdiff
path: root/tests
Commit message (Expand)AuthorAge
* Proper hiding of shadowed bindings in principal signaturesGravatar Adam Chlipala2008-06-26
* Signature duplicate entry checking for principal signaturesGravatar Adam Chlipala2008-06-22
* Signature duplicate entry checkingGravatar Adam Chlipala2008-06-22
* openGravatar Adam Chlipala2008-06-22
* Subsignatures exampleGravatar Adam Chlipala2008-06-22
* includeGravatar Adam Chlipala2008-06-22
* Separate compilation and automatic basis importationGravatar Adam Chlipala2008-06-22
* Parsing signature filesGravatar Adam Chlipala2008-06-22
* Lexer/parser hacks to share code between regular and signature file parsersGravatar Adam Chlipala2008-06-22
* Better FFI function handlingGravatar Adam Chlipala2008-06-22
* Detecting FFI functionsGravatar Adam Chlipala2008-06-22
* Start of FFIGravatar Adam Chlipala2008-06-22
* Give functor.lac a 'main'Gravatar Adam Chlipala2008-06-19
* Corifying functorsGravatar Adam Chlipala2008-06-19
* Elaborating functor applicationsGravatar Adam Chlipala2008-06-19
* Subtyping for functor signaturesGravatar Adam Chlipala2008-06-19
* Elaborating 'where'Gravatar Adam Chlipala2008-06-19
* Beginning of functor elaborationGravatar Adam Chlipala2008-06-19
* Functor parsingGravatar Adam Chlipala2008-06-19
* Corify removes modulesGravatar Adam Chlipala2008-06-19
* Beefier nested selfification testGravatar Adam Chlipala2008-06-17
* Nested selfification testGravatar Adam Chlipala2008-06-17
* Proper selfificationGravatar Adam Chlipala2008-06-17
* Elaborating module projectionGravatar Adam Chlipala2008-06-17
* Matching structures in signaturesGravatar Adam Chlipala2008-06-12
* Matching values in signaturesGravatar Adam Chlipala2008-06-12
* Simple signature matchingGravatar Adam Chlipala2008-06-12
* Closure conversionGravatar Adam Chlipala2008-06-10
* Tree-shakingGravatar Adam Chlipala2008-06-08
* Reducing known record projectionsGravatar Adam Chlipala2008-06-08
* Beta reductions for expressionsGravatar Adam Chlipala2008-06-08
* Some con reducingGravatar Adam Chlipala2008-06-08
* Testing constructor equivalencesGravatar Adam Chlipala2008-06-08
* Unification wildcardsGravatar Adam Chlipala2008-06-08
* Further experiments with implicit argumentsGravatar Adam Chlipala2008-06-08
* Implicit constructor argumentsGravatar Adam Chlipala2008-06-08
* Primitive type constantsGravatar Adam Chlipala2008-06-08
* Fun with recordsGravatar Adam Chlipala2008-03-28
* Simple elaboration workingGravatar Adam Chlipala2008-03-28
* Parsing basic expressionsGravatar Adam Chlipala2008-01-26
* Add type keywordGravatar Adam Chlipala2008-01-26
* Check for leftover kind unifsGravatar Adam Chlipala2008-01-26
* Elaborating filesGravatar Adam Chlipala2008-01-26
* Initial parsing and pretty-printingGravatar Adam Chlipala2008-01-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 06:31:03 +0000