summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-04-13Move riscv memory definitions into a separate file.Prashanth Mundkur
2018-04-13Fix access checks to riscv CSRs.Prashanth Mundkur
2018-04-13Add a few more generated file to gitignoreBrian Campbell
2018-04-13Update aarch64 no vector monomorphisation source for current type checkerBrian Campbell
2018-04-13Check all patterns inside functions with -dsanityBrian Campbell
2018-04-12Fill in some minor missing cases in monomorphisationBrian Campbell
2018-04-12remove cheri128 backwards compatibility hack that extended access_system_regs...Robert Norton
2018-04-12implement new permit_unseal used for CUnseal instead of permit_seal.Robert Norton
2018-04-12add a cheri_trace target for conveniently building a debug build.Robert Norton
2018-04-12Add implementations of CReadHwr and CWriteHwrRobert Norton
2018-04-12Add missing read of UserLocal register using dmtc0 4, sel 2. Write was presen...Robert Norton
2018-04-11Initial bits of supervisor state.Prashanth Mundkur
2018-04-11Add some misc informational m-mode registers that are used in a test.Prashanth Mundkur
2018-04-11More structured riscv trap vector handling.Prashanth Mundkur
2018-04-11Fix test preludeBrian Campbell
2018-04-11Avoid unnecessary rechecking in remove numeral pats rewriteBrian Campbell
2018-04-11Use more robust method of finding deps of new tyvars in mono analysisBrian Campbell
2018-04-11Make the atom to singleton type rewriter replace literals with guardsBrian Campbell
2018-04-11Fix neq_range in flow.sailAlasdair Armstrong
2018-04-10Porting some minisail changes to sail2 branchAlasdair Armstrong
2018-04-10Avoid rejecting reasonable pattern matches in monomorphisationBrian Campbell
2018-04-10Add basic reference support to monomorphisationBrian Campbell
2018-04-09Update riscv to use the new system definitions, remove duplicates.Prashanth Mundkur
2018-04-09Add some riscv arch definitions: privilege levels, exceptions, interrupts, ex...Prashanth Mundkur
2018-04-09Slightly re-org defs to move related things closer together.Prashanth Mundkur
2018-04-09Better separate riscv-independent and riscv-specific parts between prelude an...Prashanth Mundkur
2018-04-09Remove unnecessary restriction on complex nexp rewritingBrian Campbell
2018-04-09Stop vector_typ_args_of from failing when order is a variableBrian Campbell
2018-04-09cheri: compute virtual address mod 2^64 when doing bounds check to avoid fail...Robert Norton
2018-04-09remove unused functions from cher/mips prelude (step towards using standard p...Robert Norton
2018-04-06Fix some error msg typos.Prashanth Mundkur
2018-04-06Fix emacs sail2-mode.Prashanth Mundkur
2018-04-06Generate better tyvar names for complex nexps in monomorphisationBrian Campbell
2018-04-06Test now passesBrian Campbell
2018-04-06Add integer comparisons to overloads in flow typing libraryAlasdair Armstrong
2018-04-06Update sail.tex for wip latex outputAlasdair Armstrong
2018-04-05Fix precedence printing and update aarch64 specAlasdair Armstrong
2018-04-05More work on latex outputAlasdair Armstrong
2018-04-05Cleanup repository by removing old and generated filesAlasdair Armstrong
2018-04-05Add generic prelude library that pulls in various basic sailAlasdair Armstrong
2018-04-04Fix another infinite loop in cast bit_to_bool. Following introduction of eq_b...Robert Norton
2018-04-04Make Type_check.solve do obvious cases immediatelyBrian Campbell
2018-04-04Use solver properly to simplify nexps in mono analysis, Lem printingBrian Campbell
2018-04-04Instantiate type properly when introducing mono castsBrian Campbell
2018-04-04Use valspec equations in monomorphisation analysisBrian Campbell
2018-04-04Tweak Type_check.solve for this branchBrian Campbell
2018-04-04Add a function to find unique solution for constraintsAlasdair Armstrong
2018-04-04Add bitvector casts to funcl bodies when necessaryBrian Campbell
2018-04-04Initial rewrite to move complex nexps in fn sigs into constraintsBrian Campbell
2018-04-04Improve location information in mono dependency errorsBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 15:44:18 +0000