summaryrefslogtreecommitdiff
path: root/lib/vector_dec.sail
AgeCommit message (Expand)Author
2018-06-14Refactor C backend, and split RTS into multiple filesAlasdair
2018-06-11actually fix exist_pattern testJon French
2018-06-08Coq: add destructuring of atom existentials in patternsBrian Campbell
2018-06-08Fill in most Coq built-insBrian Campbell
2018-06-07Rename some functions in vector_dec library file to avoid clashes with functi...Robert Norton
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-05-25Coq: fill in some built-insBrian Campbell
2018-05-23A couple of missing >= 0 constraints on vector handling functionsBrian Campbell
2018-05-09Run ARM built-in tests for Lem backend (via OCaml)Thomas Bauereiss
2018-05-03Work in progress on the coq backendBrian Campbell
2018-04-05Fix precedence printing and update aarch64 specAlasdair Armstrong
2018-02-24Fix C builtinsAlasdair Armstrong
2018-02-23Fix some bugs in C compilationAlasdair Armstrong
2018-02-22More updates to C backendAlasdair Armstrong
2018-02-19Have generic vectors working in C backendAlasdair Armstrong
2018-02-15List support in C backendAlasdair Armstrong
2018-02-13Support for large bitvector literals in C backendAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:24:30 +0000