index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
gen_lib
Age
Commit message (
Expand
)
Author
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, rewr...
Christopher Pulte
2015-11-03
Support int and bigint library functions
Kathy Gray
2015-10-29
Ocaml generation now just needing big int/little int issues resolved (probabl...
Kathy Gray
2015-10-28
progress on lem backend: auto-generate read_register and write_register funct...
Christopher Pulte
2015-10-26
Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2
Christopher Pulte
2015-10-26
add preliminary Sail_values.lem, adapt lem pp to recent Ocaml pp changes
Christopher Pulte
2015-10-23
More of sail correctly generating ocaml; including using polymorphic variants...
Kathy Gray
2015-10-20
Fixing bugs in pretty printer to ocaml
Kathy Gray
2015-10-07
start changing representation of registers for ocaml
Kathy Gray
2015-10-06
better printing for register writing, whole register (maybe not "right" yet)
Kathy Gray
2015-10-05
More library functions
Kathy Gray
2015-09-29
Boiler plate to generate an ml file from a sail spec. Now debugging the outpu...
Kathy Gray
