summaryrefslogtreecommitdiff
path: root/src/gen_lib
AgeCommit message (Expand)Author
2015-12-21fixes, pp progressChristopher
2015-12-16rewriter and pp changes for generating ARM outputChristopher
2015-12-15better location informationChristopher
2015-12-09adapted for Kathy's lexp effect typing changes: register writes should be cor...Christopher
2015-12-07adapted pp for Kathy's effect type changesChristopher
2015-12-03added prompt.lem for connecting to concurrency model and {power,armv8}_extras...Christopher Pulte
2015-11-25fixes, ppChristopher Pulte
2015-11-20no more unecessary variables from removing vector-concatenation pattern match...Christopher Pulte
2015-11-19fixes for cumulative effect anotationsChristopher Pulte
2015-11-13fixes, more ppChristopher Pulte
2015-11-10rewriting fixes, syntactically correct lem syntax, number type errors remainingChristopher Pulte
2015-11-06progress on generating function for read/writing register fieldsChristopher Pulte
2015-11-06fixesChristopher Pulte
2015-11-05some progress on lem backend: rewrite away mutable variable assignments, rewr...Christopher Pulte
2015-11-03Support int and bigint library functionsKathy Gray
2015-10-29Ocaml generation now just needing big int/little int issues resolved (probabl...Kathy Gray
2015-10-28progress on lem backend: auto-generate read_register and write_register funct...Christopher Pulte
2015-10-26Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2Christopher Pulte
2015-10-26add preliminary Sail_values.lem, adapt lem pp to recent Ocaml pp changesChristopher Pulte
2015-10-23More of sail correctly generating ocaml; including using polymorphic variants...Kathy Gray
2015-10-20Fixing bugs in pretty printer to ocamlKathy Gray
2015-10-07start changing representation of registers for ocamlKathy Gray
2015-10-06better printing for register writing, whole register (maybe not "right" yet)Kathy Gray
2015-10-05More library functionsKathy Gray
2015-09-29Boiler plate to generate an ml file from a sail spec. Now debugging the outpu...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 11:21:59 +0000