summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2014-02-05First bit of Power specGabriel Kerneis
2014-02-05Adding failing typechecking testGabriel Kerneis
2014-02-05Revert "Accept single bits as boolean values for if in interpreter"Gabriel Kerneis
2014-02-05Deinfixable colonGabriel Kerneis
2014-02-03More type checking, including coercing 0 and 1 into bits when appropriate (in...Kathy Gray
2014-01-31More type checking and conversionsKathy Gray
2014-01-30Expression type checking, not completeKathy Gray
2014-01-29Type check function headers and parametersKathy Gray
2014-01-17Type check through type definitions and val specifications, building definiti...Kathy Gray
2014-01-15Accept single bits as boolean values for if in interpreterGabriel Kerneis
2014-01-15Improve error messagesGabriel Kerneis
2014-01-15Test indexed matchGabriel Kerneis
2014-01-14Fix vector concat pattern matchingGabriel Kerneis
2014-01-09Type equalityKathy Gray
2014-01-09Fixed pattern concatenation bugKathy Gray
2014-01-09Fixed a single-argument tuple bug on function callsKathy Gray
2014-01-09Fixed bug in resuming after an action (which was manifesting as an apparent p...Kathy Gray
2014-01-08Fixed literal vectors for binary vectors (pattern matching and as expressions...Kathy Gray
2014-01-08Baby step to seeing a literal vector as a vector (ie. testing string support ...Kathy Gray
2014-01-08More tests for various vector patterns bugsGabriel Kerneis
2014-01-08Between Scylla and CharybdisGabriel Kerneis
2014-01-08Fix pretty-printing of switch-casesGabriel Kerneis
2014-01-08Add support for letbound toplevel defs in interpreterKathy Gray
2014-01-08type eq firstKathy Gray
2014-01-07Add first operationnal tests for vectorsGabriel Kerneis
2014-01-07interp: recover identifiers in error messagesGabriel Kerneis
2014-01-07Lex bitzero and bitone literalsGabriel Kerneis
2014-01-07bug: unbound let-defined (and local?) variablesGabriel Kerneis
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-18Tweak formatting in pretty printer, and resolve bugs.Kathy Gray
2013-12-17pretty-printer: fix union constructor applicationGabriel Kerneis
2013-12-17Remove spurious lexing tokensGabriel Kerneis
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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 09:59:05 +0000