summaryrefslogtreecommitdiff
path: root/src/bitfield.ml
AgeCommit message (Expand)Author
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2019-05-17Experiment with making vector and bitvector distinct typesAlasdair Armstrong
2019-05-14Various bugfixesAlasdair Armstrong
2019-02-08Add parameterization support for bitfields.Prashanth Mundkur
2019-02-06Emacs mode understands relationships between Sail filesAlasdair
2018-06-13Tracing instrumentation for C backendAlasdair Armstrong
2018-06-11More efficient bitfield implementationAlasdair Armstrong
2018-02-21Create an update_field function for each field in a bitfield definitionAlasdair Armstrong
2018-02-20Allow overlapping bitfield field namesAlasdair Armstrong
2018-01-29Add rreg effect to _reg_deref in fix_val_specs rewriteThomas Bauereiss
2018-01-11Ocaml semantics can now run aarch64 hello world example using octapodAlasdair Armstrong
2018-01-05Added bitfield syntax to replicate register bits typeAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:39:12 +0000