summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2013-11-11Remove workaround for a bug fixed in LemGabriel Kerneis
2013-11-11Remove lem-lib hackGabriel Kerneis
Lem has now switched to the new library by default (remember to "make ocaml-libs" in Lem to build it).
2013-11-07Port L2 to new LemGabriel Kerneis
Tests compile and run properly. There is a lot of hackery going on to workaround the rough edges of new Lem. Use at your own risk (you need the "library-format" branch of lem).
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
The interpreter is broken for infix calls (fails to find the relevant function, either internal or external).
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
Added val extern specification to language, parser, printer, and interpreter Added various def level type system support, expressions type system in place Except for assignment
2013-10-30Type coercions and let expressionsKathy Gray
2013-10-29gave Jan write access to repo and added him to email-diffPeter Sewell
created l3-to-l2 directory added notes01 describing the initial plan we just talked about
2013-10-25More type rulesKathy Gray
2013-10-23Thread type environment through expressions because of block adding new ↵Kathy Gray
variables, say in each branch of an if, that we want to be visible beyond it.
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
This is extremely naive, and does not support slices.
2013-10-16Clean up action pretty-printingGabriel Kerneis
2013-10-15Resume interpreter after actionsGabriel Kerneis
At the moment, writes are ignored and reads always return unit.
2013-10-15Add id to register actionsGabriel Kerneis
2013-10-15Test for value-returning blocksGabriel Kerneis
2013-10-15Add returning value to blockKathy Gray
2013-10-14Test read/write reg/mem syntaxGabriel Kerneis
2013-10-14Test function returnGabriel Kerneis
2013-10-14Fix pattern match so that P_id is selected when P_app has no parametersKathy Gray
2013-10-14Run main() to execute testsGabriel Kerneis
Tests do not pass because of weird pattern-matching errors in the interpreter.
2013-10-14interp: report function name on pattern-matching errorGabriel Kerneis
2013-10-14Pretty-print interpeter valuesGabriel Kerneis
2013-10-14Add src/lem_interp to .merlinGabriel Kerneis
2013-10-11Supporting all expressions, although vector cacentation pattern matching can ↵Kathy Gray
only match simple patterns (until type information is available).
2013-10-10Run interpreterGabriel Kerneis
Forgotten because of a wrong .gitignore.
2013-10-10Another stupid testGabriel Kerneis
2013-10-10Fix fundecl and block Lem pretty-printingGabriel Kerneis
2013-10-10Interpreting all expressions except field assignment; pattern matching all ↵Kathy Gray
expressions except vector concatenation pattern; added ability to specify writes to smaller pieces of memory in actions. Also fixed bugs in pretty printer to lem
2013-10-10make test targetGabriel Kerneis
2013-10-10Stub test suiteGabriel Kerneis
2013-10-10Use ocamlbuild, no findlib requiredGabriel Kerneis
2013-10-10Rename Ast to Interp_ast for the interpreterGabriel Kerneis
2013-10-09Memory reading (small change to signature for memory writes).Kathy Gray
Also fixed parser to accept id ( )
2013-10-09add lem->ml in MakefileGabriel Kerneis
2013-10-09Adding memory writes. Cleaning up the let in the ott file to reflect what ↵Kathy Gray
actually parses
2013-10-09extend language of lexp to include memory writesKathy Gray
2013-10-08More makefile infrastructureGabriel Kerneis
You need the latest version of Lem for this to work (requires lem/ocaml-lib/META.lem).
2013-10-04Missing case in pattern-matchingGabriel Kerneis
2013-10-04Merlin boilerplateGabriel Kerneis
https://github.com/def-lkb/merlin
2013-10-04Clean up build systemGabriel Kerneis
2013-10-04More support for expression forms including let and vector slicing. And ↵Kathy Gray
writing to a vector range (with one value repeated or with a vector of appropriate size)
2013-10-02Clean up and fixup vector writesKathy Gray
2013-10-02Writing to vectorsKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-29 05:35:14 +0000