summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-01-07Add bit and bitvector literal testGabriel Kerneis
2014-01-07lem homs and type headersKathy Gray
2013-12-19pretty-print: missing quotes for num literals (lem)Gabriel Kerneis
2013-12-19pretty-print: pattern-matching of indexed vectors in Lem outputGabriel Kerneis
2013-12-18More lem homsKathy Gray
2013-12-18Tweak formatting in pretty printer, and resolve bugs.Kathy Gray
2013-12-17pretty-printer: fix union constructor applicationGabriel Kerneis
2013-12-17Convert coerce to a relation that generates a new expression, inserting coerc...Kathy Gray
2013-12-17Remove spurious lexing tokensGabriel Kerneis
2013-12-16fix l2_rules to grammar updateKathy Gray
2013-12-16minor wip on tiny modelGabriel Kerneis
2013-12-16test: catch and print exceptionsGabriel Kerneis
2013-12-16pretty-printer: typoGabriel Kerneis
2013-12-16lexer: inc and dec keywordsGabriel Kerneis
2013-12-13Fix effect annotation bug, take 2Kathy Gray
2013-12-13Fix effect annotation pretty-printingGabriel Kerneis
2013-12-10Fixed bug in interpreterKathy Gray
2013-12-06Output test name on startGabriel Kerneis
2013-12-03Syntax changes per discussion with Peter, as well as L2.ott document clean up.Kathy Gray
2013-11-29Push syntax changes to type rulesKathy Gray
2013-11-29minor syntax fixupsKathy Gray
2013-11-28Updated syntax with working examplesKathy Gray
2013-11-27More front-end passes for type identifiersKathy Gray
2013-11-22Syntax changes per discussions on Thursday.Kathy Gray
2013-11-21Begin tiny conversionGabriel Kerneis
2013-11-20Remove workaround in test3Gabriel Kerneis
2013-11-20Fixed the parsing of applicationKathy Gray
2013-11-12Define and test addition in libraryGabriel Kerneis
2013-11-11Merge branch 'new-lem-lib'Gabriel Kerneis
2013-11-11Remove workaround for a bug fixed in LemGabriel Kerneis
2013-11-11Remove lem-lib hackGabriel Kerneis
2013-11-09Fix up multiple parses issueKathy Gray
2013-11-08Type system, almost certainly has omissions or flaws I've forgotten, but seem...Kathy Gray
2013-11-07Port L2 to new LemGabriel Kerneis
2013-11-07Stub for external callsGabriel Kerneis
2013-11-07Most of the function type systemKathy Gray
2013-11-05De-infix operator before looking it up in the interpreterGabriel Kerneis
2013-11-05Parsing of infix operatorsGabriel Kerneis
2013-11-05Support parsing for extern callsGabriel Kerneis
2013-11-05Clean-up build-related filesGabriel Kerneis
2013-11-01Moved metatheory grammars into l2_rules.ottKathy Gray
2013-10-30Type coercions and let expressionsKathy Gray
2013-10-29gave Jan write access to repo and added him to email-diffPeter Sewell
2013-10-25More type rulesKathy Gray
2013-10-23Thread type environment through expressions because of block adding new varia...Kathy Gray
2013-10-23Don't export list of types to ML ASTGabriel Kerneis
2013-10-22More type systemKathy Gray
2013-10-18Typeing rules for patterns and easy expressionsKathy Gray
2013-10-16Basic MEM and register implementation for interpreterGabriel Kerneis
2013-10-16Clean up action pretty-printingGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-14 17:34:59 +0000