index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
gen_lib
/
sail_values.lem
Age
Commit message (
Collapse
)
Author
2015-12-21
fixes, pp progress
Christopher
2015-12-16
rewriter and pp changes for generating ARM output
Christopher
2015-12-15
better location information
Christopher
2015-12-09
adapted for Kathy's lexp effect typing changes: register writes should be ↵
Christopher
correct now, fixes, pp
2015-12-03
added prompt.lem for connecting to concurrency model and ↵
Christopher Pulte
{power,armv8}_extras.lem; fixes
2015-11-25
fixes, pp
Christopher Pulte
2015-11-20
no more unecessary variables from removing vector-concatenation pattern ↵
Christopher Pulte
matches, reset variable name counter for each function clause, fixes
2015-11-19
fixes for cumulative effect anotations
Christopher Pulte
2015-11-13
fixes, more pp
Christopher Pulte
2015-11-10
rewriting fixes, syntactically correct lem syntax, number type errors remaining
Christopher Pulte
2015-11-06
progress on generating function for read/writing register fields
Christopher Pulte
2015-11-06
fixes
Christopher Pulte
2015-11-05
some progress on lem backend: rewrite away mutable variable assignments, ↵
Christopher Pulte
rewrite for-loops, if/case-expressions to return updated variables
2015-10-28
progress on lem backend: auto-generate read_register and write_register ↵
Christopher Pulte
functions, and state definition
2015-10-26
add preliminary Sail_values.lem, adapt lem pp to recent Ocaml pp changes
Christopher Pulte
