summaryrefslogtreecommitdiff
path: root/aarch64/no_vector
AgeCommit message (Expand)Author
2019-07-16Fix all remaining tests for this branchAlasdair
2019-02-07Fix implicits in v8.2 public ARM specAlasdair Armstrong
2018-12-20Fix monomorpisation tests with typechecker changesAlasdair Armstrong
2018-11-30Parser tweaks and fixesAlasdair Armstrong
2018-06-07Add a constant folding optimization passAlasdair
2018-06-06Factor utility functions for IR into separate file and struct update optimiza...Alasdair Armstrong
2018-06-04Re-generate aarch64 spec, fixing an issue with ReplicateAlasdair Armstrong
2018-05-09Fix an issue with C compilationAlasdair Armstrong
2018-05-03Flow typing and l-expression changes for ASL parserAlasdair Armstrong
2018-04-10Porting some minisail changes to sail2 branchAlasdair Armstrong
2018-04-05Fix precedence printing and update aarch64 specAlasdair Armstrong
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas Bauereiss
2018-02-21Can now compile aarch64/no_vector into CAlasdair Armstrong
2018-02-16Add __TakeColdReset function to aarch64_no_vectorAlasdair Armstrong
2018-02-15Update duopod spec so it has no address translationAlasdair Armstrong
2018-01-17Add generated ARM spec and test cases for itAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:54:40 +0000