summaryrefslogtreecommitdiff
path: root/editors/sail2-mode.el
AgeCommit message (Expand)Author
2018-03-01Cleanup intermediate bytecode representation in C backendAlasdair Armstrong
2018-01-25Add simple conditional processing and file includeAlasdair Armstrong
2018-01-05Added bitfield syntax to replicate register bits typeAlasdair Armstrong
2018-01-04Additional tests for ocaml backendAlasdair Armstrong
2018-01-03Lots of experimental changes on this branchAlasdair Armstrong
2018-01-03Updates to interpreterAlasdair Armstrong
2018-01-02Experimenting with power specAlasdair Armstrong
2017-11-28Small update to trivial sizeof rewrites so we can handle all cases inAlasdair Armstrong
2017-11-21Expose entry point in elf_loader for Sail modelAlasdair Armstrong
2017-10-18Fixes and updates to ocaml backend to compile aarch64_no_vectorAlasdair Armstrong
2017-10-09Improvements to menhir pretty printer and ocaml backendAlasdair Armstrong
2017-10-04Fixed a bug in vector concatenation l-expressionsAlasdair Armstrong
2017-08-15Emacs mode for syntax of new Menhir parserAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-04 05:47:22 +0000