summaryrefslogtreecommitdiff
path: root/src/gen_lib/vector.lem
AgeCommit message (Expand)Author
2016-10-21shallow embedding progressChristopher Pulte
2016-10-10changed the way registers/register fields work, fixes, nicer names for new le...Christopher Pulte
2016-10-06move type definitions that both interpreter and shallow embedding use to sail...Christopher Pulte
2016-09-25nicer lem output: no more unecessary 'unit' returns if if-expressions, for-lo...Christopher Pulte
2016-09-23sail-to-lem progressChristopher Pulte
2016-09-19sail-to-lem progressChristopher Pulte
2015-12-09adapted for Kathy's lexp effect typing changes: register writes should be cor...Christopher
2015-12-03added prompt.lem for connecting to concurrency model and {power,armv8}_extras...Christopher 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-10-28progress on lem backend: auto-generate read_register and write_register funct...Christopher Pulte
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 15:17:28 +0000