├── .github └── workflows │ └── ubuntu_22_04.yml ├── .gitignore ├── .mailmap ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── Makefile ├── README.md ├── THIRD_PARTY_FILES.md ├── configs ├── armv8p5.toml ├── armv8p5_mmu_on.toml ├── armv9p3.toml ├── armv9p3_mmu_on.toml ├── armv9p4.toml ├── armv9p4_mmu_on.toml ├── plain.toml ├── riscv32.toml ├── riscv64.toml ├── riscv64_ubuntu.toml └── test.toml ├── doc ├── LB.png ├── MP.png ├── Makefile ├── arm_init.png ├── artifact.adoc ├── artifact │ ├── Exclusives_herd.model_logs │ └── herd_compare.sh ├── axiomatic.adoc ├── built_doc │ ├── axiomatic.html │ ├── manual.html │ ├── memory_model_language.html │ └── translation.html ├── cav_exclusives.png ├── cav_exhaustive_dmbld.png ├── cav_herd_table.png ├── litmus_readme.md ├── manual.adoc ├── memory_model_language.adoc ├── translation.adoc ├── translation.png ├── ui.png ├── vm1.png ├── vm2.png ├── web_vmsa_arch.png ├── web_vmsa_library.png └── web_vmsa_options.png ├── editors └── vscode │ ├── cat │ ├── CHANGELOG.md │ ├── LICENSE.txt │ ├── README.md │ ├── images │ │ ├── cat_icon.eps │ │ └── cat_icon.png │ ├── language-configuration.json │ ├── package-lock.json │ ├── package.json │ └── syntaxes │ │ └── herd7cat.tmLanguage.json │ └── litmus │ ├── .vscodeignore │ ├── LICENSE.txt │ ├── README.md │ ├── images │ ├── litmus_icon.eps │ └── litmus_icon.png │ ├── language-configuration.json │ ├── package-lock.json │ ├── package.json │ └── syntaxes │ ├── litmus.tmLanguage.json │ └── litmusinit.tmLanguage.json ├── etc └── mml-mode.el ├── headers.sh ├── isla-axiomatic ├── Cargo.toml ├── Makefile ├── build.rs ├── rustfmt.toml └── src │ ├── axiomatic.rs │ ├── footprint_analysis.rs │ ├── graph.rs │ ├── graph │ ├── ascii_backend.rs │ ├── graph_events.rs │ ├── graph_opts.rs │ ├── grid_layout.rs │ └── gv_backend.rs │ ├── ifetch.smt2 │ ├── last_write_to.smt2 │ ├── lib.rs │ ├── litmus.rs │ ├── litmus │ ├── exp.rs │ ├── exp_lexer.rs │ ├── exp_parser.lalrpop │ └── format.rs │ ├── page_table.rs │ ├── page_table │ ├── setup.rs │ ├── setup_lexer.rs │ └── setup_parser.lalrpop │ ├── run_litmus.rs │ ├── sandbox.rs │ ├── sexp.rs │ ├── sexp_lexer.rs │ ├── sexp_parser.lalrpop │ ├── smt_events.rs │ ├── smt_events.smt2 │ ├── smt_model.rs │ └── smt_relations.rs ├── isla-cat ├── Cargo.toml ├── Makefile ├── README.md ├── build.rs ├── catlib │ ├── cos.cat │ └── stdlib.cat ├── rustfmt.toml ├── src │ ├── cat.rs │ ├── cat_lexer.rs │ ├── cat_parser.lalrpop │ ├── lib.rs │ └── smt.rs └── tests │ ├── aarch64.cat │ ├── aarch64fences.cat │ ├── parse_cats.rs │ ├── ppc.cat │ ├── riscv-defs.cat │ ├── riscv.cat │ └── x86tso.cat ├── isla-elf ├── Cargo.toml ├── Makefile ├── rustfmt.toml └── src │ ├── arch.rs │ ├── arch │ └── aarch64.rs │ ├── elf.rs │ ├── lib.rs │ └── relocation_types.rs ├── isla-lib ├── Cargo.toml ├── Makefile ├── build.rs ├── rustfmt.toml └── src │ ├── bitvector.rs │ ├── bitvector │ ├── b129.rs │ └── b64.rs │ ├── cache.rs │ ├── config.rs │ ├── error.rs │ ├── executor.rs │ ├── executor │ ├── frame.rs │ └── task.rs │ ├── fraction.rs │ ├── init.rs │ ├── ir.rs │ ├── ir │ ├── linearize.rs │ ├── partial_linearize.rs │ ├── serialize.rs │ └── ssa.rs │ ├── ir_lexer.rs │ ├── ir_parser.lalrpop │ ├── lexer.rs │ ├── lib.rs │ ├── log.rs │ ├── memory.rs │ ├── primop.rs │ ├── primop │ ├── float.rs │ └── memory.rs │ ├── primop_util.rs │ ├── probe.rs │ ├── register.rs │ ├── simplify.rs │ ├── smt.rs │ ├── smt │ └── smtlib.rs │ ├── smt_parser.lalrpop │ ├── source_loc.rs │ ├── trace.rs │ ├── value_parser.lalrpop │ └── zencode.rs ├── isla-litmus ├── GenericHGenArch.ml ├── GenericHGenBase.ml ├── GenericHGenLexer.mll ├── GenericHGenParser.mly ├── Makefile ├── THIRD_PARTY.md ├── dune ├── dune-project ├── herd │ ├── Archs.ml │ ├── CType.ml │ ├── CType.mli │ ├── IntMap.ml │ ├── IntMap.mli │ ├── IntSet.ml │ ├── IntSet.mli │ ├── PPMode.mli │ ├── StringMap.ml │ ├── StringMap.mli │ ├── StringRel.ml │ ├── StringRel.mli │ ├── StringSet.ml │ ├── StringSet.mli │ ├── archBase.mli │ ├── archExtra_litmus.ml │ ├── arch_litmus.mli │ ├── constant.mli │ ├── constrGen.ml │ ├── constrGen.mli │ ├── dune │ ├── genParser.ml │ ├── genParser.mli │ ├── innerRel.ml │ ├── innerRel.mli │ ├── intOrd.ml │ ├── intOrd.mli │ ├── intRel.ml │ ├── intRel.mli │ ├── label.ml │ ├── label.mli │ ├── lexMisc.ml │ ├── lexOutMapping.mli │ ├── lexOutMapping.mll │ ├── lexUtils.mli │ ├── lexUtils.mll │ ├── location.ml │ ├── machSize.ml │ ├── machSize.mli │ ├── memory.ml │ ├── memory.mli │ ├── misc.ml │ ├── misc.mli │ ├── miscParser.ml │ ├── miscParser.mli │ ├── modelOption.ml │ ├── modelOption.mli │ ├── myMap.ml │ ├── mySet.ml │ ├── mySet.mli │ ├── mySys.ml │ ├── mySys.mli │ ├── name.mli │ ├── op.ml │ ├── op.mli │ ├── outMapping.ml │ ├── outMapping.mli │ ├── outUtils.ml │ ├── parsedConstant.ml │ ├── pos.ml │ ├── pos.mli │ ├── pos_extra.ml │ ├── pos_extra.mli │ ├── pseudo.ml │ ├── rel.ml │ ├── rel.mli │ ├── scalar.mli │ ├── splitter.mli │ ├── splitter.mll │ ├── stateLexer.mli │ ├── stateLexer.mll │ ├── stateParser.mly │ ├── symbConstant.ml │ ├── symbConstant.mli │ ├── target.mli │ ├── template.ml │ ├── testHash.ml │ ├── testHash.mli │ ├── warn.ml │ └── warn.mli ├── litmus_test.ml ├── main.ml └── output.ml ├── isla-mml ├── Cargo.toml ├── build.rs ├── lib │ ├── arm-v8.5-a │ │ ├── barriers.cat │ │ ├── cache_op.cat │ │ ├── eret.cat │ │ ├── tlbi.cat │ │ └── translation.cat │ ├── cos.cat │ └── stdlib.cat ├── rustfmt.toml └── src │ ├── accessor.rs │ ├── lexer.rs │ ├── lib.rs │ ├── memory_model.rs │ ├── parser.lalrpop │ └── smt.rs ├── isla-sail ├── LICENCE ├── Makefile ├── README.md ├── dune ├── dune-project ├── isla-sail ├── jib_ir.ml └── sail_plugin_isla.ml ├── isla-sexp ├── Cargo.toml └── src │ └── lib.rs ├── rustfmt.toml ├── src ├── axiomatic.rs ├── client.rs ├── execute-function.rs ├── footprint.rs ├── lib.rs ├── litmus-dump.rs ├── opts.rs ├── preprocess.rs ├── preprocess129.rs ├── property.rs ├── property129.rs └── zencode.rs ├── test ├── axiomatic │ ├── .gitignore │ ├── 2+2W+fence.rw.rw+po.toml │ ├── 2+2W+fence.rw.rws.toml │ ├── 2+2W.toml │ ├── LB+ctrl+po.toml │ ├── LB+ctrls.toml │ ├── LB+data+ctrl.toml │ ├── LB+data+po.toml │ ├── LB+datas.toml │ ├── LB+fence.rw.rw+ctrl.toml │ ├── LB+fence.rw.rw+data.toml │ ├── LB+fence.rw.rw+po.toml │ ├── LB+fence.rw.rws.toml │ ├── LB.toml │ ├── LICENCE │ ├── MP+fence.rw.rw+addr.toml │ ├── MP+fence.rw.rw+ctrl.toml │ ├── MP+fence.rw.rw+po.toml │ ├── MP+fence.rw.rws.toml │ ├── MP+po+addr.toml │ ├── MP+po+ctrl.toml │ ├── MP+po+fence.rw.rw.toml │ ├── MP.toml │ ├── R+fence.rw.rw+po.toml │ ├── R+fence.rw.rws.toml │ ├── R+po+fence.rw.rw.toml │ ├── R.toml │ ├── README.md │ ├── S+fence.rw.rw+ctrl.toml │ ├── S+fence.rw.rw+data.toml │ ├── S+fence.rw.rw+po.toml │ ├── S+fence.rw.rws.toml │ ├── S+po+ctrl.toml │ ├── S+po+data.toml │ ├── S+po+fence.rw.rw.toml │ ├── S.toml │ ├── SB+fence.rw.rw+po.toml │ ├── SB+fence.rw.rws.toml │ ├── SB.toml │ ├── refs │ └── tests ├── cav2021 │ ├── results.model_logs │ └── run_tests.sh ├── interface │ └── shapes │ │ ├── lb.sail │ │ ├── lb.toml │ │ ├── two_read.sail │ │ ├── two_read.toml │ │ ├── two_read_barrier1.sail │ │ ├── two_read_barrier1.toml │ │ ├── write_read.sail │ │ └── write_read.toml ├── property │ ├── .gitignore │ ├── abs_int.unsat.sail │ ├── abstract_always_some.sat.opts │ ├── abstract_always_some.sat.sail │ ├── abstract_always_some.sat.sail_opts │ ├── abstract_always_some.unsat.opts │ ├── abstract_always_some.unsat.sail │ ├── abstract_always_some.unsat.sail_opts │ ├── align_bits.unsat.sail │ ├── all_enum.sat.sail │ ├── all_enum.unsat.sail │ ├── and_bits.unsat.sail │ ├── and_bits_0.sat.sail │ ├── and_bits_1.sat.sail │ ├── ccheri_regression1.unsat.sail │ ├── choice.unsat.sail │ ├── choice_0.sat.sail │ ├── choice_1.sat.sail │ ├── clz128.unsat.sail │ ├── clz132.unsat.sail │ ├── clz32.unsat.sail │ ├── clz5.unsat.sail │ ├── foreach_simple.unsat.sail │ ├── fp_add_non_assoc.sat.sail │ ├── fp_lteq_max.unsat.sail │ ├── fp_nan_is_nan.unsat.sail │ ├── generic_vector_access.unsat.sail │ ├── include │ │ └── config.sail │ ├── linearize.unsat.opts │ ├── linearize.unsat.sail │ ├── linearize_2.unsat.opts │ ├── linearize_2.unsat.sail │ ├── linearize_ch.unsat.opts │ ├── linearize_ch.unsat.sail │ ├── linearize_fdiv.unsat.opts │ ├── linearize_fdiv.unsat.sail │ ├── linearize_off.unsat.sail │ ├── linearize_phi_chain.unsat.opts │ ├── linearize_phi_chain.unsat.sail │ ├── linearize_slice.unsat.opts │ ├── linearize_slice.unsat.sail │ ├── linearize_ssa.unsat.opts │ ├── linearize_ssa.unsat.sail │ ├── linearize_tuple.unsat.opts │ ├── linearize_tuple.unsat.sail │ ├── list_literal.unsat.sail │ ├── lt_int_irrefl.unsat.sail │ ├── lt_int_trans.unsat.sail │ ├── lteq_int_antisym.unsat.sail │ ├── lteq_int_def.unsat.sail │ ├── lteq_int_refl.unsat.sail │ ├── lteq_int_trans.unsat.sail │ ├── mono_0.sat.sail │ ├── mono_1.sat.sail │ ├── mono_cap.unsat.sail │ ├── mono_cond_0.sat.sail │ ├── mono_cond_0.unsat.sail │ ├── mono_cond_1.unsat.sail │ ├── mono_twice.unsat.sail │ ├── nested_struct.sat.sail │ ├── nested_struct.unsat.sail │ ├── option.unsat.sail │ ├── option_unknown.sat.sail │ ├── option_unknown.unsat.sail │ ├── or_bits.unsat.sail │ ├── partial_linearize1.unsat.opts │ ├── partial_linearize1.unsat.sail │ ├── partial_linearize1_no_opt.unsat.sail │ ├── partial_linearize1_var.unsat.opts │ ├── partial_linearize1_var.unsat.sail │ ├── reg_deref.unsat.sail │ ├── reg_vector_read.sat.sail │ ├── reg_vector_read.unsat.sail │ ├── reg_write.unsat.sail │ ├── set_slice.unsat.sail │ ├── set_slice_0.sat.sail │ ├── set_slice_1.sat.sail │ ├── set_slice_int.unsat.sail │ ├── shift_bits_left.unsat.sail │ ├── shift_bits_right.unsat.sail │ ├── shift_or_concat.unsat.sail │ ├── shift_or_concat128.unsat.sail │ ├── shift_or_concat4.unsat.sail │ ├── shift_or_concat4_2.unsat.sail │ ├── shift_or_concat_1.sat.sail │ ├── shift_or_concat_2.sat.sail │ ├── shiftr_zero_1.sat.sail │ ├── shiftr_zero_1.unsat.sail │ ├── sign_extend.unsat.sail │ ├── sign_extend_2.unsat.sail │ ├── slice.unsat.sail │ ├── string_take_drop.unsat.sail │ ├── struct.unsat.sail │ ├── sub_nat.unsat.sail │ ├── trivial.sat.sail │ ├── trivial.unsat.sail │ ├── trivial_funcall.sat.sail │ ├── trivial_return.sat.sail │ ├── trivial_return.unsat.sail │ ├── tuple_return.unsat.sail │ ├── undefined_bit.sat.sail │ ├── undefined_enum.sat.sail │ ├── undefined_enum.unsat.sail │ ├── undefined_nat.unsat.sail │ ├── undefined_nat_zero.sat.sail │ ├── undefined_nat_zero_2.sat.sail │ ├── undefined_range.sat.sail │ ├── undefined_range.unsat.sail │ ├── undefined_range_2.sat.sail │ ├── undefined_range_2.unsat.sail │ ├── undefined_range_3.unsat.sail │ ├── undefined_vector.sat.sail │ ├── undefined_vector.unsat.sail │ ├── union_ite_ctor3.sat.sail │ ├── union_ite_ctor3.unsat.sail │ ├── union_ite_ctor3_assoc.unsat.sail │ ├── union_ite_ctor4.sat.sail │ ├── union_ite_ctor4.unsat.sail │ ├── union_ite_ctor4_same.unsat.sail │ ├── union_ite_different_ctor.unsat.sail │ ├── union_ite_same_ctor.unsat.sail │ ├── unknown_struct_ite.sat.sail │ ├── unknown_struct_ite.unsat.sail │ ├── unknown_union.unsat.sail │ ├── vector_access.unsat.sail │ ├── vector_access_0.sat.sail │ ├── vector_access_1.sat.sail │ ├── vector_access_2.sat.sail │ ├── vector_access_3.sat.sail │ ├── vector_update_subrange.unsat.sail │ ├── vector_update_subrange_0.sat.sail │ ├── vector_update_subrange_1.sat.sail │ ├── zeros_1.sat.sail │ ├── zeros_1.unsat.sail │ ├── zeros_2.sat.sail │ ├── zeros_2.unsat.sail │ ├── zeros_3.sat.sail │ ├── zeros_3.unsat.sail │ └── zeros_4.unsat.sail ├── run_tests.rb ├── testarch │ └── arch.sail └── translation │ ├── results.model_logs │ └── run_tests.sh ├── test_litmus_aarch64.sh ├── test_litmus_esop2020.sh ├── test_litmus_riscv64.sh ├── vendor.sh └── web ├── Makefile ├── README.md ├── client ├── .gitignore ├── Makefile ├── THIRD_PARTY.md ├── dev.config.js ├── dist │ ├── LB+addr+ctrl.toml │ ├── aarch64-vmsa-strong.cat │ ├── aarch64-vmsa.json │ ├── aarch64-vmsa │ │ └── W.toml │ ├── aarch64.cat │ ├── aarch64.json │ ├── aarch64 │ │ ├── 2+2W+dmb.sys.toml │ │ ├── 2+2W.toml │ │ ├── CoRR1.toml │ │ ├── CoRW.toml │ │ ├── CoRW1.toml │ │ ├── CoWR.toml │ │ ├── CoWW.toml │ │ ├── IRIW+addrs.toml │ │ ├── IRIW+dmb.sys.toml │ │ ├── IRIW.toml │ │ ├── ISA2+dmb.sy+addr+addr.toml │ │ ├── ISA2.toml │ │ ├── LB+addrs+RW.toml │ │ ├── LB+addrs+WW.toml │ │ ├── LB+addrs.toml │ │ ├── LB+ctrls.toml │ │ ├── LB+datas+WW.toml │ │ ├── LB+datas.toml │ │ ├── LB+rs.toml │ │ ├── LB.toml │ │ ├── MP+dmb.sy+ctrl.toml │ │ ├── MP+dmb.sy+ctrlisb.toml │ │ ├── MP+dmb.sy+fri-rfi-ctrlisb.toml │ │ ├── MP+dmb.sy+po.toml │ │ ├── MP+dmb.sy+rs.toml │ │ ├── MP+dmb.sys.toml │ │ ├── MP+nondep+dmb.sy.toml │ │ ├── MP.toml │ │ ├── MP_e.toml │ │ ├── PPOAA.toml │ │ ├── PPOCA.toml │ │ ├── R+dmb.sys.toml │ │ ├── R.toml │ │ ├── RDW.toml │ │ ├── RDWI.toml │ │ ├── RSW.toml │ │ ├── RWC+dmb.sys.toml │ │ ├── RWC.toml │ │ ├── S+dmb.sy+ctrl.toml │ │ ├── S+dmb.sy+data.toml │ │ ├── S+dmb.sy+po.toml │ │ ├── S+dmb.sys.toml │ │ ├── S.toml │ │ ├── SB+dmb.sys.toml │ │ ├── SB.toml │ │ ├── WRC+addrs.toml │ │ ├── WRC+dmb.sy+addr.toml │ │ └── WRC.toml │ ├── esop2020.cat │ ├── esop2020.json │ ├── favicon.ico │ ├── help.html │ ├── help.md │ ├── help_standalone.html │ ├── ifetch │ │ ├── CoRF.toml │ │ ├── FOW.toml │ │ ├── MP.R.RF+addr-cachesync+dmb+ctrl-isb.toml │ │ ├── MP.RF+dc+ctrl-isb-isb.toml │ │ ├── SM+cachesync-isb.toml │ │ ├── SM.F+ic.toml │ │ └── SM.toml │ ├── index.html │ ├── isla.png │ ├── riscv.cat │ ├── riscv64.json │ ├── riscv64 │ │ ├── 2+2W+fence.rw.rw+po.toml │ │ ├── 2+2W+fence.rw.rws.toml │ │ ├── 2+2W.toml │ │ ├── LB+ctrl+po.toml │ │ ├── LB+ctrls.toml │ │ ├── LB+data+ctrl.toml │ │ ├── LB+data+po.toml │ │ ├── LB+datas.toml │ │ ├── LB+fence.rw.rw+ctrl.toml │ │ ├── LB+fence.rw.rw+data.toml │ │ ├── LB+fence.rw.rw+po.toml │ │ ├── LB+fence.rw.rws.toml │ │ ├── LB.toml │ │ ├── MP+fence.rw.rw+addr.toml │ │ ├── MP+fence.rw.rw+ctrl.toml │ │ ├── MP+fence.rw.rw+po.toml │ │ ├── MP+fence.rw.rws.toml │ │ ├── MP+po+addr.toml │ │ ├── MP+po+ctrl.toml │ │ ├── MP+po+fence.rw.rw.toml │ │ ├── MP.toml │ │ ├── R+fence.rw.rw+po.toml │ │ ├── R+fence.rw.rws.toml │ │ ├── R+po+fence.rw.rw.toml │ │ ├── R.toml │ │ ├── S+fence.rw.rw+ctrl.toml │ │ ├── S+fence.rw.rw+data.toml │ │ ├── S+fence.rw.rw+po.toml │ │ ├── S+fence.rw.rws.toml │ │ ├── S+po+ctrl.toml │ │ ├── S+po+data.toml │ │ ├── S+po+fence.rw.rw.toml │ │ ├── S.toml │ │ ├── SB+fence.rw.rw+po.toml │ │ ├── SB+fence.rw.rws.toml │ │ └── SB.toml │ ├── riscv_amo.cat │ └── ui.png ├── package-lock.json ├── package.json ├── prod.config.js ├── src │ ├── common.ts │ ├── css │ │ ├── codemirror.css │ │ ├── goldenlayout-base.css │ │ ├── goldenlayout-dark-theme.css │ │ ├── goldenlayout-light-theme.css │ │ ├── goldenlayout-soda-theme.css │ │ ├── goldenlayout-translucent-theme.css │ │ ├── midnight.css │ │ ├── scheme.css │ │ └── style.css │ ├── index.ts │ ├── js │ │ ├── ast.js │ │ ├── gas.js │ │ ├── herd.js │ │ ├── ocaml.js │ │ ├── panzoom.js │ │ ├── placeholder.js │ │ └── toml.js │ ├── location.ts │ ├── model.ts │ ├── tabs.ts │ ├── ui.ts │ ├── util.ts │ ├── view.ts │ └── widget.ts └── tsconfig.json ├── gather_tests.sh └── server ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Makefile ├── build.rs ├── rustfmt.toml └── src ├── request.rs ├── server.rs └── worker.rs /.github/workflows/ubuntu_22_04.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/.github/workflows/ubuntu_22_04.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/.gitignore -------------------------------------------------------------------------------- /.mailmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/.mailmap -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/README.md -------------------------------------------------------------------------------- /THIRD_PARTY_FILES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/THIRD_PARTY_FILES.md -------------------------------------------------------------------------------- /configs/armv8p5.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/armv8p5.toml -------------------------------------------------------------------------------- /configs/armv8p5_mmu_on.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/armv8p5_mmu_on.toml -------------------------------------------------------------------------------- /configs/armv9p3.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/armv9p3.toml -------------------------------------------------------------------------------- /configs/armv9p3_mmu_on.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/armv9p3_mmu_on.toml -------------------------------------------------------------------------------- /configs/armv9p4.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/armv9p4.toml -------------------------------------------------------------------------------- /configs/armv9p4_mmu_on.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/armv9p4_mmu_on.toml -------------------------------------------------------------------------------- /configs/plain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/plain.toml -------------------------------------------------------------------------------- /configs/riscv32.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/riscv32.toml -------------------------------------------------------------------------------- /configs/riscv64.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/riscv64.toml -------------------------------------------------------------------------------- /configs/riscv64_ubuntu.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/riscv64_ubuntu.toml -------------------------------------------------------------------------------- /configs/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/configs/test.toml -------------------------------------------------------------------------------- /doc/LB.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/LB.png -------------------------------------------------------------------------------- /doc/MP.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/MP.png -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/Makefile -------------------------------------------------------------------------------- /doc/arm_init.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/arm_init.png -------------------------------------------------------------------------------- /doc/artifact.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/artifact.adoc -------------------------------------------------------------------------------- /doc/artifact/Exclusives_herd.model_logs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/artifact/Exclusives_herd.model_logs -------------------------------------------------------------------------------- /doc/artifact/herd_compare.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/artifact/herd_compare.sh -------------------------------------------------------------------------------- /doc/axiomatic.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/axiomatic.adoc -------------------------------------------------------------------------------- /doc/built_doc/axiomatic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/built_doc/axiomatic.html -------------------------------------------------------------------------------- /doc/built_doc/manual.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/built_doc/manual.html -------------------------------------------------------------------------------- /doc/built_doc/memory_model_language.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/built_doc/memory_model_language.html -------------------------------------------------------------------------------- /doc/built_doc/translation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/built_doc/translation.html -------------------------------------------------------------------------------- /doc/cav_exclusives.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/cav_exclusives.png -------------------------------------------------------------------------------- /doc/cav_exhaustive_dmbld.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/cav_exhaustive_dmbld.png -------------------------------------------------------------------------------- /doc/cav_herd_table.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/cav_herd_table.png -------------------------------------------------------------------------------- /doc/litmus_readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/litmus_readme.md -------------------------------------------------------------------------------- /doc/manual.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/manual.adoc -------------------------------------------------------------------------------- /doc/memory_model_language.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/memory_model_language.adoc -------------------------------------------------------------------------------- /doc/translation.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/translation.adoc -------------------------------------------------------------------------------- /doc/translation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/translation.png -------------------------------------------------------------------------------- /doc/ui.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/ui.png -------------------------------------------------------------------------------- /doc/vm1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/vm1.png -------------------------------------------------------------------------------- /doc/vm2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/vm2.png -------------------------------------------------------------------------------- /doc/web_vmsa_arch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/web_vmsa_arch.png -------------------------------------------------------------------------------- /doc/web_vmsa_library.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/web_vmsa_library.png -------------------------------------------------------------------------------- /doc/web_vmsa_options.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/doc/web_vmsa_options.png -------------------------------------------------------------------------------- /editors/vscode/cat/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/cat/CHANGELOG.md -------------------------------------------------------------------------------- /editors/vscode/cat/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/cat/LICENSE.txt -------------------------------------------------------------------------------- /editors/vscode/cat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/cat/README.md -------------------------------------------------------------------------------- /editors/vscode/cat/images/cat_icon.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/cat/images/cat_icon.eps -------------------------------------------------------------------------------- /editors/vscode/cat/images/cat_icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/cat/images/cat_icon.png -------------------------------------------------------------------------------- /editors/vscode/cat/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/cat/language-configuration.json -------------------------------------------------------------------------------- /editors/vscode/cat/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/cat/package-lock.json -------------------------------------------------------------------------------- /editors/vscode/cat/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/cat/package.json -------------------------------------------------------------------------------- /editors/vscode/cat/syntaxes/herd7cat.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/cat/syntaxes/herd7cat.tmLanguage.json -------------------------------------------------------------------------------- /editors/vscode/litmus/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/.vscodeignore -------------------------------------------------------------------------------- /editors/vscode/litmus/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/LICENSE.txt -------------------------------------------------------------------------------- /editors/vscode/litmus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/README.md -------------------------------------------------------------------------------- /editors/vscode/litmus/images/litmus_icon.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/images/litmus_icon.eps -------------------------------------------------------------------------------- /editors/vscode/litmus/images/litmus_icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/images/litmus_icon.png -------------------------------------------------------------------------------- /editors/vscode/litmus/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/language-configuration.json -------------------------------------------------------------------------------- /editors/vscode/litmus/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/package-lock.json -------------------------------------------------------------------------------- /editors/vscode/litmus/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/package.json -------------------------------------------------------------------------------- /editors/vscode/litmus/syntaxes/litmus.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/syntaxes/litmus.tmLanguage.json -------------------------------------------------------------------------------- /editors/vscode/litmus/syntaxes/litmusinit.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/editors/vscode/litmus/syntaxes/litmusinit.tmLanguage.json -------------------------------------------------------------------------------- /etc/mml-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/etc/mml-mode.el -------------------------------------------------------------------------------- /headers.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/headers.sh -------------------------------------------------------------------------------- /isla-axiomatic/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/Cargo.toml -------------------------------------------------------------------------------- /isla-axiomatic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/Makefile -------------------------------------------------------------------------------- /isla-axiomatic/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/build.rs -------------------------------------------------------------------------------- /isla-axiomatic/rustfmt.toml: -------------------------------------------------------------------------------- 1 | ../rustfmt.toml -------------------------------------------------------------------------------- /isla-axiomatic/src/axiomatic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/axiomatic.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/footprint_analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/footprint_analysis.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/graph.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/graph/ascii_backend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/graph/ascii_backend.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/graph/graph_events.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/graph/graph_events.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/graph/graph_opts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/graph/graph_opts.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/graph/grid_layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/graph/grid_layout.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/graph/gv_backend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/graph/gv_backend.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/ifetch.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/ifetch.smt2 -------------------------------------------------------------------------------- /isla-axiomatic/src/last_write_to.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/last_write_to.smt2 -------------------------------------------------------------------------------- /isla-axiomatic/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/lib.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/litmus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/litmus.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/litmus/exp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/litmus/exp.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/litmus/exp_lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/litmus/exp_lexer.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/litmus/exp_parser.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/litmus/exp_parser.lalrpop -------------------------------------------------------------------------------- /isla-axiomatic/src/litmus/format.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/litmus/format.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/page_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/page_table.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/page_table/setup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/page_table/setup.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/page_table/setup_lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/page_table/setup_lexer.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/page_table/setup_parser.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/page_table/setup_parser.lalrpop -------------------------------------------------------------------------------- /isla-axiomatic/src/run_litmus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/run_litmus.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/sandbox.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/sandbox.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/sexp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/sexp.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/sexp_lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/sexp_lexer.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/sexp_parser.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/sexp_parser.lalrpop -------------------------------------------------------------------------------- /isla-axiomatic/src/smt_events.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/smt_events.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/smt_events.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/smt_events.smt2 -------------------------------------------------------------------------------- /isla-axiomatic/src/smt_model.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/smt_model.rs -------------------------------------------------------------------------------- /isla-axiomatic/src/smt_relations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-axiomatic/src/smt_relations.rs -------------------------------------------------------------------------------- /isla-cat/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/Cargo.toml -------------------------------------------------------------------------------- /isla-cat/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/Makefile -------------------------------------------------------------------------------- /isla-cat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/README.md -------------------------------------------------------------------------------- /isla-cat/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/build.rs -------------------------------------------------------------------------------- /isla-cat/catlib/cos.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/catlib/cos.cat -------------------------------------------------------------------------------- /isla-cat/catlib/stdlib.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/catlib/stdlib.cat -------------------------------------------------------------------------------- /isla-cat/rustfmt.toml: -------------------------------------------------------------------------------- 1 | ../rustfmt.toml -------------------------------------------------------------------------------- /isla-cat/src/cat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/src/cat.rs -------------------------------------------------------------------------------- /isla-cat/src/cat_lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/src/cat_lexer.rs -------------------------------------------------------------------------------- /isla-cat/src/cat_parser.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/src/cat_parser.lalrpop -------------------------------------------------------------------------------- /isla-cat/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/src/lib.rs -------------------------------------------------------------------------------- /isla-cat/src/smt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/src/smt.rs -------------------------------------------------------------------------------- /isla-cat/tests/aarch64.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/tests/aarch64.cat -------------------------------------------------------------------------------- /isla-cat/tests/aarch64fences.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/tests/aarch64fences.cat -------------------------------------------------------------------------------- /isla-cat/tests/parse_cats.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/tests/parse_cats.rs -------------------------------------------------------------------------------- /isla-cat/tests/ppc.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/tests/ppc.cat -------------------------------------------------------------------------------- /isla-cat/tests/riscv-defs.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/tests/riscv-defs.cat -------------------------------------------------------------------------------- /isla-cat/tests/riscv.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/tests/riscv.cat -------------------------------------------------------------------------------- /isla-cat/tests/x86tso.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-cat/tests/x86tso.cat -------------------------------------------------------------------------------- /isla-elf/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-elf/Cargo.toml -------------------------------------------------------------------------------- /isla-elf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-elf/Makefile -------------------------------------------------------------------------------- /isla-elf/rustfmt.toml: -------------------------------------------------------------------------------- 1 | ../rustfmt.toml -------------------------------------------------------------------------------- /isla-elf/src/arch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-elf/src/arch.rs -------------------------------------------------------------------------------- /isla-elf/src/arch/aarch64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-elf/src/arch/aarch64.rs -------------------------------------------------------------------------------- /isla-elf/src/elf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-elf/src/elf.rs -------------------------------------------------------------------------------- /isla-elf/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-elf/src/lib.rs -------------------------------------------------------------------------------- /isla-elf/src/relocation_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-elf/src/relocation_types.rs -------------------------------------------------------------------------------- /isla-lib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/Cargo.toml -------------------------------------------------------------------------------- /isla-lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/Makefile -------------------------------------------------------------------------------- /isla-lib/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/build.rs -------------------------------------------------------------------------------- /isla-lib/rustfmt.toml: -------------------------------------------------------------------------------- 1 | ../rustfmt.toml -------------------------------------------------------------------------------- /isla-lib/src/bitvector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/bitvector.rs -------------------------------------------------------------------------------- /isla-lib/src/bitvector/b129.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/bitvector/b129.rs -------------------------------------------------------------------------------- /isla-lib/src/bitvector/b64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/bitvector/b64.rs -------------------------------------------------------------------------------- /isla-lib/src/cache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/cache.rs -------------------------------------------------------------------------------- /isla-lib/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/config.rs -------------------------------------------------------------------------------- /isla-lib/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/error.rs -------------------------------------------------------------------------------- /isla-lib/src/executor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/executor.rs -------------------------------------------------------------------------------- /isla-lib/src/executor/frame.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/executor/frame.rs -------------------------------------------------------------------------------- /isla-lib/src/executor/task.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/executor/task.rs -------------------------------------------------------------------------------- /isla-lib/src/fraction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/fraction.rs -------------------------------------------------------------------------------- /isla-lib/src/init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/init.rs -------------------------------------------------------------------------------- /isla-lib/src/ir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/ir.rs -------------------------------------------------------------------------------- /isla-lib/src/ir/linearize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/ir/linearize.rs -------------------------------------------------------------------------------- /isla-lib/src/ir/partial_linearize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/ir/partial_linearize.rs -------------------------------------------------------------------------------- /isla-lib/src/ir/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/ir/serialize.rs -------------------------------------------------------------------------------- /isla-lib/src/ir/ssa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/ir/ssa.rs -------------------------------------------------------------------------------- /isla-lib/src/ir_lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/ir_lexer.rs -------------------------------------------------------------------------------- /isla-lib/src/ir_parser.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/ir_parser.lalrpop -------------------------------------------------------------------------------- /isla-lib/src/lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/lexer.rs -------------------------------------------------------------------------------- /isla-lib/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/lib.rs -------------------------------------------------------------------------------- /isla-lib/src/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/log.rs -------------------------------------------------------------------------------- /isla-lib/src/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/memory.rs -------------------------------------------------------------------------------- /isla-lib/src/primop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/primop.rs -------------------------------------------------------------------------------- /isla-lib/src/primop/float.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/primop/float.rs -------------------------------------------------------------------------------- /isla-lib/src/primop/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/primop/memory.rs -------------------------------------------------------------------------------- /isla-lib/src/primop_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/primop_util.rs -------------------------------------------------------------------------------- /isla-lib/src/probe.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/probe.rs -------------------------------------------------------------------------------- /isla-lib/src/register.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/register.rs -------------------------------------------------------------------------------- /isla-lib/src/simplify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/simplify.rs -------------------------------------------------------------------------------- /isla-lib/src/smt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/smt.rs -------------------------------------------------------------------------------- /isla-lib/src/smt/smtlib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/smt/smtlib.rs -------------------------------------------------------------------------------- /isla-lib/src/smt_parser.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/smt_parser.lalrpop -------------------------------------------------------------------------------- /isla-lib/src/source_loc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/source_loc.rs -------------------------------------------------------------------------------- /isla-lib/src/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/trace.rs -------------------------------------------------------------------------------- /isla-lib/src/value_parser.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/value_parser.lalrpop -------------------------------------------------------------------------------- /isla-lib/src/zencode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-lib/src/zencode.rs -------------------------------------------------------------------------------- /isla-litmus/GenericHGenArch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/GenericHGenArch.ml -------------------------------------------------------------------------------- /isla-litmus/GenericHGenBase.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/GenericHGenBase.ml -------------------------------------------------------------------------------- /isla-litmus/GenericHGenLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/GenericHGenLexer.mll -------------------------------------------------------------------------------- /isla-litmus/GenericHGenParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/GenericHGenParser.mly -------------------------------------------------------------------------------- /isla-litmus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/Makefile -------------------------------------------------------------------------------- /isla-litmus/THIRD_PARTY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/THIRD_PARTY.md -------------------------------------------------------------------------------- /isla-litmus/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/dune -------------------------------------------------------------------------------- /isla-litmus/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.0) 2 | -------------------------------------------------------------------------------- /isla-litmus/herd/Archs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/Archs.ml -------------------------------------------------------------------------------- /isla-litmus/herd/CType.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/CType.ml -------------------------------------------------------------------------------- /isla-litmus/herd/CType.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/CType.mli -------------------------------------------------------------------------------- /isla-litmus/herd/IntMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/IntMap.ml -------------------------------------------------------------------------------- /isla-litmus/herd/IntMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/IntMap.mli -------------------------------------------------------------------------------- /isla-litmus/herd/IntSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/IntSet.ml -------------------------------------------------------------------------------- /isla-litmus/herd/IntSet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/IntSet.mli -------------------------------------------------------------------------------- /isla-litmus/herd/PPMode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/PPMode.mli -------------------------------------------------------------------------------- /isla-litmus/herd/StringMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/StringMap.ml -------------------------------------------------------------------------------- /isla-litmus/herd/StringMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/StringMap.mli -------------------------------------------------------------------------------- /isla-litmus/herd/StringRel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/StringRel.ml -------------------------------------------------------------------------------- /isla-litmus/herd/StringRel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/StringRel.mli -------------------------------------------------------------------------------- /isla-litmus/herd/StringSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/StringSet.ml -------------------------------------------------------------------------------- /isla-litmus/herd/StringSet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/StringSet.mli -------------------------------------------------------------------------------- /isla-litmus/herd/archBase.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/archBase.mli -------------------------------------------------------------------------------- /isla-litmus/herd/archExtra_litmus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/archExtra_litmus.ml -------------------------------------------------------------------------------- /isla-litmus/herd/arch_litmus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/arch_litmus.mli -------------------------------------------------------------------------------- /isla-litmus/herd/constant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/constant.mli -------------------------------------------------------------------------------- /isla-litmus/herd/constrGen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/constrGen.ml -------------------------------------------------------------------------------- /isla-litmus/herd/constrGen.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/constrGen.mli -------------------------------------------------------------------------------- /isla-litmus/herd/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/dune -------------------------------------------------------------------------------- /isla-litmus/herd/genParser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/genParser.ml -------------------------------------------------------------------------------- /isla-litmus/herd/genParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/genParser.mli -------------------------------------------------------------------------------- /isla-litmus/herd/innerRel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/innerRel.ml -------------------------------------------------------------------------------- /isla-litmus/herd/innerRel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/innerRel.mli -------------------------------------------------------------------------------- /isla-litmus/herd/intOrd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/intOrd.ml -------------------------------------------------------------------------------- /isla-litmus/herd/intOrd.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/intOrd.mli -------------------------------------------------------------------------------- /isla-litmus/herd/intRel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/intRel.ml -------------------------------------------------------------------------------- /isla-litmus/herd/intRel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/intRel.mli -------------------------------------------------------------------------------- /isla-litmus/herd/label.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/label.ml -------------------------------------------------------------------------------- /isla-litmus/herd/label.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/label.mli -------------------------------------------------------------------------------- /isla-litmus/herd/lexMisc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/lexMisc.ml -------------------------------------------------------------------------------- /isla-litmus/herd/lexOutMapping.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/lexOutMapping.mli -------------------------------------------------------------------------------- /isla-litmus/herd/lexOutMapping.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/lexOutMapping.mll -------------------------------------------------------------------------------- /isla-litmus/herd/lexUtils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/lexUtils.mli -------------------------------------------------------------------------------- /isla-litmus/herd/lexUtils.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/lexUtils.mll -------------------------------------------------------------------------------- /isla-litmus/herd/location.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/location.ml -------------------------------------------------------------------------------- /isla-litmus/herd/machSize.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/machSize.ml -------------------------------------------------------------------------------- /isla-litmus/herd/machSize.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/machSize.mli -------------------------------------------------------------------------------- /isla-litmus/herd/memory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/memory.ml -------------------------------------------------------------------------------- /isla-litmus/herd/memory.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/memory.mli -------------------------------------------------------------------------------- /isla-litmus/herd/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/misc.ml -------------------------------------------------------------------------------- /isla-litmus/herd/misc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/misc.mli -------------------------------------------------------------------------------- /isla-litmus/herd/miscParser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/miscParser.ml -------------------------------------------------------------------------------- /isla-litmus/herd/miscParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/miscParser.mli -------------------------------------------------------------------------------- /isla-litmus/herd/modelOption.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/modelOption.ml -------------------------------------------------------------------------------- /isla-litmus/herd/modelOption.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/modelOption.mli -------------------------------------------------------------------------------- /isla-litmus/herd/myMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/myMap.ml -------------------------------------------------------------------------------- /isla-litmus/herd/mySet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/mySet.ml -------------------------------------------------------------------------------- /isla-litmus/herd/mySet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/mySet.mli -------------------------------------------------------------------------------- /isla-litmus/herd/mySys.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/mySys.ml -------------------------------------------------------------------------------- /isla-litmus/herd/mySys.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/mySys.mli -------------------------------------------------------------------------------- /isla-litmus/herd/name.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/name.mli -------------------------------------------------------------------------------- /isla-litmus/herd/op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/op.ml -------------------------------------------------------------------------------- /isla-litmus/herd/op.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/op.mli -------------------------------------------------------------------------------- /isla-litmus/herd/outMapping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/outMapping.ml -------------------------------------------------------------------------------- /isla-litmus/herd/outMapping.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/outMapping.mli -------------------------------------------------------------------------------- /isla-litmus/herd/outUtils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/outUtils.ml -------------------------------------------------------------------------------- /isla-litmus/herd/parsedConstant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/parsedConstant.ml -------------------------------------------------------------------------------- /isla-litmus/herd/pos.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/pos.ml -------------------------------------------------------------------------------- /isla-litmus/herd/pos.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/pos.mli -------------------------------------------------------------------------------- /isla-litmus/herd/pos_extra.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/pos_extra.ml -------------------------------------------------------------------------------- /isla-litmus/herd/pos_extra.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/pos_extra.mli -------------------------------------------------------------------------------- /isla-litmus/herd/pseudo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/pseudo.ml -------------------------------------------------------------------------------- /isla-litmus/herd/rel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/rel.ml -------------------------------------------------------------------------------- /isla-litmus/herd/rel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/rel.mli -------------------------------------------------------------------------------- /isla-litmus/herd/scalar.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/scalar.mli -------------------------------------------------------------------------------- /isla-litmus/herd/splitter.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/splitter.mli -------------------------------------------------------------------------------- /isla-litmus/herd/splitter.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/splitter.mll -------------------------------------------------------------------------------- /isla-litmus/herd/stateLexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/stateLexer.mli -------------------------------------------------------------------------------- /isla-litmus/herd/stateLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/stateLexer.mll -------------------------------------------------------------------------------- /isla-litmus/herd/stateParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/stateParser.mly -------------------------------------------------------------------------------- /isla-litmus/herd/symbConstant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/symbConstant.ml -------------------------------------------------------------------------------- /isla-litmus/herd/symbConstant.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/symbConstant.mli -------------------------------------------------------------------------------- /isla-litmus/herd/target.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/target.mli -------------------------------------------------------------------------------- /isla-litmus/herd/template.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/template.ml -------------------------------------------------------------------------------- /isla-litmus/herd/testHash.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/testHash.ml -------------------------------------------------------------------------------- /isla-litmus/herd/testHash.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/testHash.mli -------------------------------------------------------------------------------- /isla-litmus/herd/warn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/warn.ml -------------------------------------------------------------------------------- /isla-litmus/herd/warn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/herd/warn.mli -------------------------------------------------------------------------------- /isla-litmus/litmus_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/litmus_test.ml -------------------------------------------------------------------------------- /isla-litmus/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/main.ml -------------------------------------------------------------------------------- /isla-litmus/output.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-litmus/output.ml -------------------------------------------------------------------------------- /isla-mml/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/Cargo.toml -------------------------------------------------------------------------------- /isla-mml/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/build.rs -------------------------------------------------------------------------------- /isla-mml/lib/arm-v8.5-a/barriers.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/lib/arm-v8.5-a/barriers.cat -------------------------------------------------------------------------------- /isla-mml/lib/arm-v8.5-a/cache_op.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/lib/arm-v8.5-a/cache_op.cat -------------------------------------------------------------------------------- /isla-mml/lib/arm-v8.5-a/eret.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/lib/arm-v8.5-a/eret.cat -------------------------------------------------------------------------------- /isla-mml/lib/arm-v8.5-a/tlbi.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/lib/arm-v8.5-a/tlbi.cat -------------------------------------------------------------------------------- /isla-mml/lib/arm-v8.5-a/translation.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/lib/arm-v8.5-a/translation.cat -------------------------------------------------------------------------------- /isla-mml/lib/cos.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/lib/cos.cat -------------------------------------------------------------------------------- /isla-mml/lib/stdlib.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/lib/stdlib.cat -------------------------------------------------------------------------------- /isla-mml/rustfmt.toml: -------------------------------------------------------------------------------- 1 | ../rustfmt.toml -------------------------------------------------------------------------------- /isla-mml/src/accessor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/src/accessor.rs -------------------------------------------------------------------------------- /isla-mml/src/lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/src/lexer.rs -------------------------------------------------------------------------------- /isla-mml/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/src/lib.rs -------------------------------------------------------------------------------- /isla-mml/src/memory_model.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/src/memory_model.rs -------------------------------------------------------------------------------- /isla-mml/src/parser.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/src/parser.lalrpop -------------------------------------------------------------------------------- /isla-mml/src/smt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-mml/src/smt.rs -------------------------------------------------------------------------------- /isla-sail/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sail/LICENCE -------------------------------------------------------------------------------- /isla-sail/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sail/Makefile -------------------------------------------------------------------------------- /isla-sail/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sail/README.md -------------------------------------------------------------------------------- /isla-sail/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sail/dune -------------------------------------------------------------------------------- /isla-sail/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sail/dune-project -------------------------------------------------------------------------------- /isla-sail/isla-sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sail/isla-sail -------------------------------------------------------------------------------- /isla-sail/jib_ir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sail/jib_ir.ml -------------------------------------------------------------------------------- /isla-sail/sail_plugin_isla.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sail/sail_plugin_isla.ml -------------------------------------------------------------------------------- /isla-sexp/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sexp/Cargo.toml -------------------------------------------------------------------------------- /isla-sexp/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/isla-sexp/src/lib.rs -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /src/axiomatic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/axiomatic.rs -------------------------------------------------------------------------------- /src/client.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/client.rs -------------------------------------------------------------------------------- /src/execute-function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/execute-function.rs -------------------------------------------------------------------------------- /src/footprint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/footprint.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/litmus-dump.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/litmus-dump.rs -------------------------------------------------------------------------------- /src/opts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/opts.rs -------------------------------------------------------------------------------- /src/preprocess.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/preprocess.rs -------------------------------------------------------------------------------- /src/preprocess129.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/preprocess129.rs -------------------------------------------------------------------------------- /src/property.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/property.rs -------------------------------------------------------------------------------- /src/property129.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/property129.rs -------------------------------------------------------------------------------- /src/zencode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/src/zencode.rs -------------------------------------------------------------------------------- /test/axiomatic/.gitignore: -------------------------------------------------------------------------------- 1 | riscv64.ir 2 | -------------------------------------------------------------------------------- /test/axiomatic/2+2W+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/2+2W+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /test/axiomatic/2+2W+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/2+2W+fence.rw.rws.toml -------------------------------------------------------------------------------- /test/axiomatic/2+2W.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/2+2W.toml -------------------------------------------------------------------------------- /test/axiomatic/LB+ctrl+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB+ctrl+po.toml -------------------------------------------------------------------------------- /test/axiomatic/LB+ctrls.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB+ctrls.toml -------------------------------------------------------------------------------- /test/axiomatic/LB+data+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB+data+ctrl.toml -------------------------------------------------------------------------------- /test/axiomatic/LB+data+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB+data+po.toml -------------------------------------------------------------------------------- /test/axiomatic/LB+datas.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB+datas.toml -------------------------------------------------------------------------------- /test/axiomatic/LB+fence.rw.rw+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB+fence.rw.rw+ctrl.toml -------------------------------------------------------------------------------- /test/axiomatic/LB+fence.rw.rw+data.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB+fence.rw.rw+data.toml -------------------------------------------------------------------------------- /test/axiomatic/LB+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /test/axiomatic/LB+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB+fence.rw.rws.toml -------------------------------------------------------------------------------- /test/axiomatic/LB.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LB.toml -------------------------------------------------------------------------------- /test/axiomatic/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/LICENCE -------------------------------------------------------------------------------- /test/axiomatic/MP+fence.rw.rw+addr.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/MP+fence.rw.rw+addr.toml -------------------------------------------------------------------------------- /test/axiomatic/MP+fence.rw.rw+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/MP+fence.rw.rw+ctrl.toml -------------------------------------------------------------------------------- /test/axiomatic/MP+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/MP+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /test/axiomatic/MP+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/MP+fence.rw.rws.toml -------------------------------------------------------------------------------- /test/axiomatic/MP+po+addr.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/MP+po+addr.toml -------------------------------------------------------------------------------- /test/axiomatic/MP+po+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/MP+po+ctrl.toml -------------------------------------------------------------------------------- /test/axiomatic/MP+po+fence.rw.rw.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/MP+po+fence.rw.rw.toml -------------------------------------------------------------------------------- /test/axiomatic/MP.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/MP.toml -------------------------------------------------------------------------------- /test/axiomatic/R+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/R+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /test/axiomatic/R+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/R+fence.rw.rws.toml -------------------------------------------------------------------------------- /test/axiomatic/R+po+fence.rw.rw.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/R+po+fence.rw.rw.toml -------------------------------------------------------------------------------- /test/axiomatic/R.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/R.toml -------------------------------------------------------------------------------- /test/axiomatic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/README.md -------------------------------------------------------------------------------- /test/axiomatic/S+fence.rw.rw+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/S+fence.rw.rw+ctrl.toml -------------------------------------------------------------------------------- /test/axiomatic/S+fence.rw.rw+data.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/S+fence.rw.rw+data.toml -------------------------------------------------------------------------------- /test/axiomatic/S+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/S+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /test/axiomatic/S+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/S+fence.rw.rws.toml -------------------------------------------------------------------------------- /test/axiomatic/S+po+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/S+po+ctrl.toml -------------------------------------------------------------------------------- /test/axiomatic/S+po+data.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/S+po+data.toml -------------------------------------------------------------------------------- /test/axiomatic/S+po+fence.rw.rw.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/S+po+fence.rw.rw.toml -------------------------------------------------------------------------------- /test/axiomatic/S.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/S.toml -------------------------------------------------------------------------------- /test/axiomatic/SB+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/SB+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /test/axiomatic/SB+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/SB+fence.rw.rws.toml -------------------------------------------------------------------------------- /test/axiomatic/SB.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/SB.toml -------------------------------------------------------------------------------- /test/axiomatic/refs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/refs -------------------------------------------------------------------------------- /test/axiomatic/tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/axiomatic/tests -------------------------------------------------------------------------------- /test/cav2021/results.model_logs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/cav2021/results.model_logs -------------------------------------------------------------------------------- /test/cav2021/run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/cav2021/run_tests.sh -------------------------------------------------------------------------------- /test/interface/shapes/lb.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/interface/shapes/lb.sail -------------------------------------------------------------------------------- /test/interface/shapes/lb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/interface/shapes/lb.toml -------------------------------------------------------------------------------- /test/interface/shapes/two_read.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/interface/shapes/two_read.sail -------------------------------------------------------------------------------- /test/interface/shapes/two_read.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/interface/shapes/two_read.toml -------------------------------------------------------------------------------- /test/interface/shapes/two_read_barrier1.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/interface/shapes/two_read_barrier1.sail -------------------------------------------------------------------------------- /test/interface/shapes/two_read_barrier1.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/interface/shapes/two_read_barrier1.toml -------------------------------------------------------------------------------- /test/interface/shapes/write_read.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/interface/shapes/write_read.sail -------------------------------------------------------------------------------- /test/interface/shapes/write_read.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/interface/shapes/write_read.toml -------------------------------------------------------------------------------- /test/property/.gitignore: -------------------------------------------------------------------------------- 1 | *.ir 2 | -------------------------------------------------------------------------------- /test/property/abs_int.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/abs_int.unsat.sail -------------------------------------------------------------------------------- /test/property/abstract_always_some.sat.opts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/abstract_always_some.sat.opts -------------------------------------------------------------------------------- /test/property/abstract_always_some.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/abstract_always_some.sat.sail -------------------------------------------------------------------------------- /test/property/abstract_always_some.sat.sail_opts: -------------------------------------------------------------------------------- 1 | -isla_preserve always_some_prop 2 | -------------------------------------------------------------------------------- /test/property/abstract_always_some.unsat.opts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/abstract_always_some.unsat.opts -------------------------------------------------------------------------------- /test/property/abstract_always_some.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/abstract_always_some.unsat.sail -------------------------------------------------------------------------------- /test/property/abstract_always_some.unsat.sail_opts: -------------------------------------------------------------------------------- 1 | -isla_preserve always_some_prop 2 | -------------------------------------------------------------------------------- /test/property/align_bits.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/align_bits.unsat.sail -------------------------------------------------------------------------------- /test/property/all_enum.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/all_enum.sat.sail -------------------------------------------------------------------------------- /test/property/all_enum.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/all_enum.unsat.sail -------------------------------------------------------------------------------- /test/property/and_bits.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/and_bits.unsat.sail -------------------------------------------------------------------------------- /test/property/and_bits_0.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/and_bits_0.sat.sail -------------------------------------------------------------------------------- /test/property/and_bits_1.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/and_bits_1.sat.sail -------------------------------------------------------------------------------- /test/property/ccheri_regression1.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/ccheri_regression1.unsat.sail -------------------------------------------------------------------------------- /test/property/choice.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/choice.unsat.sail -------------------------------------------------------------------------------- /test/property/choice_0.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/choice_0.sat.sail -------------------------------------------------------------------------------- /test/property/choice_1.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/choice_1.sat.sail -------------------------------------------------------------------------------- /test/property/clz128.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/clz128.unsat.sail -------------------------------------------------------------------------------- /test/property/clz132.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/clz132.unsat.sail -------------------------------------------------------------------------------- /test/property/clz32.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/clz32.unsat.sail -------------------------------------------------------------------------------- /test/property/clz5.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/clz5.unsat.sail -------------------------------------------------------------------------------- /test/property/foreach_simple.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/foreach_simple.unsat.sail -------------------------------------------------------------------------------- /test/property/fp_add_non_assoc.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/fp_add_non_assoc.sat.sail -------------------------------------------------------------------------------- /test/property/fp_lteq_max.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/fp_lteq_max.unsat.sail -------------------------------------------------------------------------------- /test/property/fp_nan_is_nan.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/fp_nan_is_nan.unsat.sail -------------------------------------------------------------------------------- /test/property/generic_vector_access.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/generic_vector_access.unsat.sail -------------------------------------------------------------------------------- /test/property/include/config.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/include/config.sail -------------------------------------------------------------------------------- /test/property/linearize.unsat.opts: -------------------------------------------------------------------------------- 1 | -L lin -------------------------------------------------------------------------------- /test/property/linearize.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/linearize.unsat.sail -------------------------------------------------------------------------------- /test/property/linearize_2.unsat.opts: -------------------------------------------------------------------------------- 1 | -L lin -------------------------------------------------------------------------------- /test/property/linearize_2.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/linearize_2.unsat.sail -------------------------------------------------------------------------------- /test/property/linearize_ch.unsat.opts: -------------------------------------------------------------------------------- 1 | -L lin -------------------------------------------------------------------------------- /test/property/linearize_ch.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/linearize_ch.unsat.sail -------------------------------------------------------------------------------- /test/property/linearize_fdiv.unsat.opts: -------------------------------------------------------------------------------- 1 | -L lin -------------------------------------------------------------------------------- /test/property/linearize_fdiv.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/linearize_fdiv.unsat.sail -------------------------------------------------------------------------------- /test/property/linearize_off.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/linearize_off.unsat.sail -------------------------------------------------------------------------------- /test/property/linearize_phi_chain.unsat.opts: -------------------------------------------------------------------------------- 1 | -L lin -------------------------------------------------------------------------------- /test/property/linearize_phi_chain.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/linearize_phi_chain.unsat.sail -------------------------------------------------------------------------------- /test/property/linearize_slice.unsat.opts: -------------------------------------------------------------------------------- 1 | -L lin -------------------------------------------------------------------------------- /test/property/linearize_slice.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/linearize_slice.unsat.sail -------------------------------------------------------------------------------- /test/property/linearize_ssa.unsat.opts: -------------------------------------------------------------------------------- 1 | -L lin -------------------------------------------------------------------------------- /test/property/linearize_ssa.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/linearize_ssa.unsat.sail -------------------------------------------------------------------------------- /test/property/linearize_tuple.unsat.opts: -------------------------------------------------------------------------------- 1 | -L lin -------------------------------------------------------------------------------- /test/property/linearize_tuple.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/linearize_tuple.unsat.sail -------------------------------------------------------------------------------- /test/property/list_literal.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/list_literal.unsat.sail -------------------------------------------------------------------------------- /test/property/lt_int_irrefl.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/lt_int_irrefl.unsat.sail -------------------------------------------------------------------------------- /test/property/lt_int_trans.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/lt_int_trans.unsat.sail -------------------------------------------------------------------------------- /test/property/lteq_int_antisym.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/lteq_int_antisym.unsat.sail -------------------------------------------------------------------------------- /test/property/lteq_int_def.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/lteq_int_def.unsat.sail -------------------------------------------------------------------------------- /test/property/lteq_int_refl.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/lteq_int_refl.unsat.sail -------------------------------------------------------------------------------- /test/property/lteq_int_trans.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/lteq_int_trans.unsat.sail -------------------------------------------------------------------------------- /test/property/mono_0.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/mono_0.sat.sail -------------------------------------------------------------------------------- /test/property/mono_1.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/mono_1.sat.sail -------------------------------------------------------------------------------- /test/property/mono_cap.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/mono_cap.unsat.sail -------------------------------------------------------------------------------- /test/property/mono_cond_0.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/mono_cond_0.sat.sail -------------------------------------------------------------------------------- /test/property/mono_cond_0.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/mono_cond_0.unsat.sail -------------------------------------------------------------------------------- /test/property/mono_cond_1.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/mono_cond_1.unsat.sail -------------------------------------------------------------------------------- /test/property/mono_twice.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/mono_twice.unsat.sail -------------------------------------------------------------------------------- /test/property/nested_struct.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/nested_struct.sat.sail -------------------------------------------------------------------------------- /test/property/nested_struct.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/nested_struct.unsat.sail -------------------------------------------------------------------------------- /test/property/option.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/option.unsat.sail -------------------------------------------------------------------------------- /test/property/option_unknown.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/option_unknown.sat.sail -------------------------------------------------------------------------------- /test/property/option_unknown.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/option_unknown.unsat.sail -------------------------------------------------------------------------------- /test/property/or_bits.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/or_bits.unsat.sail -------------------------------------------------------------------------------- /test/property/partial_linearize1.unsat.opts: -------------------------------------------------------------------------------- 1 | -P branches -------------------------------------------------------------------------------- /test/property/partial_linearize1.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/partial_linearize1.unsat.sail -------------------------------------------------------------------------------- /test/property/partial_linearize1_no_opt.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/partial_linearize1_no_opt.unsat.sail -------------------------------------------------------------------------------- /test/property/partial_linearize1_var.unsat.opts: -------------------------------------------------------------------------------- 1 | -P branches -P prop -------------------------------------------------------------------------------- /test/property/partial_linearize1_var.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/partial_linearize1_var.unsat.sail -------------------------------------------------------------------------------- /test/property/reg_deref.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/reg_deref.unsat.sail -------------------------------------------------------------------------------- /test/property/reg_vector_read.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/reg_vector_read.sat.sail -------------------------------------------------------------------------------- /test/property/reg_vector_read.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/reg_vector_read.unsat.sail -------------------------------------------------------------------------------- /test/property/reg_write.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/reg_write.unsat.sail -------------------------------------------------------------------------------- /test/property/set_slice.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/set_slice.unsat.sail -------------------------------------------------------------------------------- /test/property/set_slice_0.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/set_slice_0.sat.sail -------------------------------------------------------------------------------- /test/property/set_slice_1.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/set_slice_1.sat.sail -------------------------------------------------------------------------------- /test/property/set_slice_int.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/set_slice_int.unsat.sail -------------------------------------------------------------------------------- /test/property/shift_bits_left.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shift_bits_left.unsat.sail -------------------------------------------------------------------------------- /test/property/shift_bits_right.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shift_bits_right.unsat.sail -------------------------------------------------------------------------------- /test/property/shift_or_concat.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shift_or_concat.unsat.sail -------------------------------------------------------------------------------- /test/property/shift_or_concat128.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shift_or_concat128.unsat.sail -------------------------------------------------------------------------------- /test/property/shift_or_concat4.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shift_or_concat4.unsat.sail -------------------------------------------------------------------------------- /test/property/shift_or_concat4_2.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shift_or_concat4_2.unsat.sail -------------------------------------------------------------------------------- /test/property/shift_or_concat_1.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shift_or_concat_1.sat.sail -------------------------------------------------------------------------------- /test/property/shift_or_concat_2.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shift_or_concat_2.sat.sail -------------------------------------------------------------------------------- /test/property/shiftr_zero_1.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shiftr_zero_1.sat.sail -------------------------------------------------------------------------------- /test/property/shiftr_zero_1.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/shiftr_zero_1.unsat.sail -------------------------------------------------------------------------------- /test/property/sign_extend.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/sign_extend.unsat.sail -------------------------------------------------------------------------------- /test/property/sign_extend_2.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/sign_extend_2.unsat.sail -------------------------------------------------------------------------------- /test/property/slice.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/slice.unsat.sail -------------------------------------------------------------------------------- /test/property/string_take_drop.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/string_take_drop.unsat.sail -------------------------------------------------------------------------------- /test/property/struct.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/struct.unsat.sail -------------------------------------------------------------------------------- /test/property/sub_nat.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/sub_nat.unsat.sail -------------------------------------------------------------------------------- /test/property/trivial.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/trivial.sat.sail -------------------------------------------------------------------------------- /test/property/trivial.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/trivial.unsat.sail -------------------------------------------------------------------------------- /test/property/trivial_funcall.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/trivial_funcall.sat.sail -------------------------------------------------------------------------------- /test/property/trivial_return.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/trivial_return.sat.sail -------------------------------------------------------------------------------- /test/property/trivial_return.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/trivial_return.unsat.sail -------------------------------------------------------------------------------- /test/property/tuple_return.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/tuple_return.unsat.sail -------------------------------------------------------------------------------- /test/property/undefined_bit.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_bit.sat.sail -------------------------------------------------------------------------------- /test/property/undefined_enum.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_enum.sat.sail -------------------------------------------------------------------------------- /test/property/undefined_enum.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_enum.unsat.sail -------------------------------------------------------------------------------- /test/property/undefined_nat.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_nat.unsat.sail -------------------------------------------------------------------------------- /test/property/undefined_nat_zero.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_nat_zero.sat.sail -------------------------------------------------------------------------------- /test/property/undefined_nat_zero_2.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_nat_zero_2.sat.sail -------------------------------------------------------------------------------- /test/property/undefined_range.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_range.sat.sail -------------------------------------------------------------------------------- /test/property/undefined_range.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_range.unsat.sail -------------------------------------------------------------------------------- /test/property/undefined_range_2.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_range_2.sat.sail -------------------------------------------------------------------------------- /test/property/undefined_range_2.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_range_2.unsat.sail -------------------------------------------------------------------------------- /test/property/undefined_range_3.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_range_3.unsat.sail -------------------------------------------------------------------------------- /test/property/undefined_vector.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_vector.sat.sail -------------------------------------------------------------------------------- /test/property/undefined_vector.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/undefined_vector.unsat.sail -------------------------------------------------------------------------------- /test/property/union_ite_ctor3.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/union_ite_ctor3.sat.sail -------------------------------------------------------------------------------- /test/property/union_ite_ctor3.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/union_ite_ctor3.unsat.sail -------------------------------------------------------------------------------- /test/property/union_ite_ctor3_assoc.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/union_ite_ctor3_assoc.unsat.sail -------------------------------------------------------------------------------- /test/property/union_ite_ctor4.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/union_ite_ctor4.sat.sail -------------------------------------------------------------------------------- /test/property/union_ite_ctor4.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/union_ite_ctor4.unsat.sail -------------------------------------------------------------------------------- /test/property/union_ite_ctor4_same.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/union_ite_ctor4_same.unsat.sail -------------------------------------------------------------------------------- /test/property/union_ite_different_ctor.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/union_ite_different_ctor.unsat.sail -------------------------------------------------------------------------------- /test/property/union_ite_same_ctor.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/union_ite_same_ctor.unsat.sail -------------------------------------------------------------------------------- /test/property/unknown_struct_ite.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/unknown_struct_ite.sat.sail -------------------------------------------------------------------------------- /test/property/unknown_struct_ite.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/unknown_struct_ite.unsat.sail -------------------------------------------------------------------------------- /test/property/unknown_union.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/unknown_union.unsat.sail -------------------------------------------------------------------------------- /test/property/vector_access.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/vector_access.unsat.sail -------------------------------------------------------------------------------- /test/property/vector_access_0.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/vector_access_0.sat.sail -------------------------------------------------------------------------------- /test/property/vector_access_1.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/vector_access_1.sat.sail -------------------------------------------------------------------------------- /test/property/vector_access_2.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/vector_access_2.sat.sail -------------------------------------------------------------------------------- /test/property/vector_access_3.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/vector_access_3.sat.sail -------------------------------------------------------------------------------- /test/property/vector_update_subrange.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/vector_update_subrange.unsat.sail -------------------------------------------------------------------------------- /test/property/vector_update_subrange_0.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/vector_update_subrange_0.sat.sail -------------------------------------------------------------------------------- /test/property/vector_update_subrange_1.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/vector_update_subrange_1.sat.sail -------------------------------------------------------------------------------- /test/property/zeros_1.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/zeros_1.sat.sail -------------------------------------------------------------------------------- /test/property/zeros_1.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/zeros_1.unsat.sail -------------------------------------------------------------------------------- /test/property/zeros_2.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/zeros_2.sat.sail -------------------------------------------------------------------------------- /test/property/zeros_2.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/zeros_2.unsat.sail -------------------------------------------------------------------------------- /test/property/zeros_3.sat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/zeros_3.sat.sail -------------------------------------------------------------------------------- /test/property/zeros_3.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/zeros_3.unsat.sail -------------------------------------------------------------------------------- /test/property/zeros_4.unsat.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/property/zeros_4.unsat.sail -------------------------------------------------------------------------------- /test/run_tests.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/run_tests.rb -------------------------------------------------------------------------------- /test/testarch/arch.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/testarch/arch.sail -------------------------------------------------------------------------------- /test/translation/results.model_logs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/translation/results.model_logs -------------------------------------------------------------------------------- /test/translation/run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test/translation/run_tests.sh -------------------------------------------------------------------------------- /test_litmus_aarch64.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test_litmus_aarch64.sh -------------------------------------------------------------------------------- /test_litmus_esop2020.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test_litmus_esop2020.sh -------------------------------------------------------------------------------- /test_litmus_riscv64.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/test_litmus_riscv64.sh -------------------------------------------------------------------------------- /vendor.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/vendor.sh -------------------------------------------------------------------------------- /web/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/Makefile -------------------------------------------------------------------------------- /web/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/README.md -------------------------------------------------------------------------------- /web/client/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/.gitignore -------------------------------------------------------------------------------- /web/client/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/Makefile -------------------------------------------------------------------------------- /web/client/THIRD_PARTY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/THIRD_PARTY.md -------------------------------------------------------------------------------- /web/client/dev.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dev.config.js -------------------------------------------------------------------------------- /web/client/dist/LB+addr+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/LB+addr+ctrl.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64-vmsa-strong.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64-vmsa-strong.cat -------------------------------------------------------------------------------- /web/client/dist/aarch64-vmsa.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64-vmsa.json -------------------------------------------------------------------------------- /web/client/dist/aarch64-vmsa/W.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64-vmsa/W.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64.cat -------------------------------------------------------------------------------- /web/client/dist/aarch64.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64.json -------------------------------------------------------------------------------- /web/client/dist/aarch64/2+2W+dmb.sys.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/2+2W+dmb.sys.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/2+2W.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/2+2W.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/CoRR1.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/CoRR1.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/CoRW.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/CoRW.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/CoRW1.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/CoRW1.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/CoWR.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/CoWR.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/CoWW.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/CoWW.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/IRIW+addrs.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/IRIW+addrs.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/IRIW+dmb.sys.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/IRIW+dmb.sys.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/IRIW.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/IRIW.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/ISA2+dmb.sy+addr+addr.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/ISA2+dmb.sy+addr+addr.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/ISA2.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/ISA2.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/LB+addrs+RW.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/LB+addrs+RW.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/LB+addrs+WW.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/LB+addrs+WW.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/LB+addrs.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/LB+addrs.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/LB+ctrls.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/LB+ctrls.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/LB+datas+WW.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/LB+datas+WW.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/LB+datas.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/LB+datas.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/LB+rs.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/LB+rs.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/LB.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/LB.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/MP+dmb.sy+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/MP+dmb.sy+ctrl.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/MP+dmb.sy+ctrlisb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/MP+dmb.sy+ctrlisb.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/MP+dmb.sy+fri-rfi-ctrlisb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/MP+dmb.sy+fri-rfi-ctrlisb.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/MP+dmb.sy+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/MP+dmb.sy+po.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/MP+dmb.sy+rs.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/MP+dmb.sy+rs.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/MP+dmb.sys.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/MP+dmb.sys.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/MP+nondep+dmb.sy.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/MP+nondep+dmb.sy.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/MP.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/MP.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/MP_e.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/MP_e.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/PPOAA.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/PPOAA.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/PPOCA.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/PPOCA.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/R+dmb.sys.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/R+dmb.sys.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/R.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/R.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/RDW.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/RDW.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/RDWI.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/RDWI.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/RSW.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/RSW.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/RWC+dmb.sys.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/RWC+dmb.sys.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/RWC.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/RWC.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/S+dmb.sy+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/S+dmb.sy+ctrl.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/S+dmb.sy+data.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/S+dmb.sy+data.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/S+dmb.sy+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/S+dmb.sy+po.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/S+dmb.sys.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/S+dmb.sys.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/S.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/S.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/SB+dmb.sys.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/SB+dmb.sys.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/SB.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/SB.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/WRC+addrs.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/WRC+addrs.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/WRC+dmb.sy+addr.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/WRC+dmb.sy+addr.toml -------------------------------------------------------------------------------- /web/client/dist/aarch64/WRC.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/aarch64/WRC.toml -------------------------------------------------------------------------------- /web/client/dist/esop2020.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/esop2020.cat -------------------------------------------------------------------------------- /web/client/dist/esop2020.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/esop2020.json -------------------------------------------------------------------------------- /web/client/dist/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/favicon.ico -------------------------------------------------------------------------------- /web/client/dist/help.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/help.html -------------------------------------------------------------------------------- /web/client/dist/help.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/help.md -------------------------------------------------------------------------------- /web/client/dist/help_standalone.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/help_standalone.html -------------------------------------------------------------------------------- /web/client/dist/ifetch/CoRF.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/ifetch/CoRF.toml -------------------------------------------------------------------------------- /web/client/dist/ifetch/FOW.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/ifetch/FOW.toml -------------------------------------------------------------------------------- /web/client/dist/ifetch/MP.R.RF+addr-cachesync+dmb+ctrl-isb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/ifetch/MP.R.RF+addr-cachesync+dmb+ctrl-isb.toml -------------------------------------------------------------------------------- /web/client/dist/ifetch/MP.RF+dc+ctrl-isb-isb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/ifetch/MP.RF+dc+ctrl-isb-isb.toml -------------------------------------------------------------------------------- /web/client/dist/ifetch/SM+cachesync-isb.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/ifetch/SM+cachesync-isb.toml -------------------------------------------------------------------------------- /web/client/dist/ifetch/SM.F+ic.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/ifetch/SM.F+ic.toml -------------------------------------------------------------------------------- /web/client/dist/ifetch/SM.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/ifetch/SM.toml -------------------------------------------------------------------------------- /web/client/dist/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/index.html -------------------------------------------------------------------------------- /web/client/dist/isla.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/isla.png -------------------------------------------------------------------------------- /web/client/dist/riscv.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv.cat -------------------------------------------------------------------------------- /web/client/dist/riscv64.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64.json -------------------------------------------------------------------------------- /web/client/dist/riscv64/2+2W+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/2+2W+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/2+2W+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/2+2W+fence.rw.rws.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/2+2W.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/2+2W.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB+ctrl+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB+ctrl+po.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB+ctrls.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB+ctrls.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB+data+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB+data+ctrl.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB+data+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB+data+po.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB+datas.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB+datas.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB+fence.rw.rw+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB+fence.rw.rw+ctrl.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB+fence.rw.rw+data.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB+fence.rw.rw+data.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB+fence.rw.rws.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/LB.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/LB.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/MP+fence.rw.rw+addr.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/MP+fence.rw.rw+addr.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/MP+fence.rw.rw+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/MP+fence.rw.rw+ctrl.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/MP+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/MP+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/MP+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/MP+fence.rw.rws.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/MP+po+addr.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/MP+po+addr.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/MP+po+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/MP+po+ctrl.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/MP+po+fence.rw.rw.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/MP+po+fence.rw.rw.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/MP.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/MP.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/R+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/R+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/R+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/R+fence.rw.rws.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/R+po+fence.rw.rw.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/R+po+fence.rw.rw.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/R.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/R.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/S+fence.rw.rw+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/S+fence.rw.rw+ctrl.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/S+fence.rw.rw+data.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/S+fence.rw.rw+data.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/S+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/S+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/S+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/S+fence.rw.rws.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/S+po+ctrl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/S+po+ctrl.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/S+po+data.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/S+po+data.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/S+po+fence.rw.rw.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/S+po+fence.rw.rw.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/S.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/S.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/SB+fence.rw.rw+po.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/SB+fence.rw.rw+po.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/SB+fence.rw.rws.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/SB+fence.rw.rws.toml -------------------------------------------------------------------------------- /web/client/dist/riscv64/SB.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv64/SB.toml -------------------------------------------------------------------------------- /web/client/dist/riscv_amo.cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/riscv_amo.cat -------------------------------------------------------------------------------- /web/client/dist/ui.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/dist/ui.png -------------------------------------------------------------------------------- /web/client/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/package-lock.json -------------------------------------------------------------------------------- /web/client/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/package.json -------------------------------------------------------------------------------- /web/client/prod.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/prod.config.js -------------------------------------------------------------------------------- /web/client/src/common.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/common.ts -------------------------------------------------------------------------------- /web/client/src/css/codemirror.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/css/codemirror.css -------------------------------------------------------------------------------- /web/client/src/css/goldenlayout-base.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/css/goldenlayout-base.css -------------------------------------------------------------------------------- /web/client/src/css/goldenlayout-dark-theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/css/goldenlayout-dark-theme.css -------------------------------------------------------------------------------- /web/client/src/css/goldenlayout-light-theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/css/goldenlayout-light-theme.css -------------------------------------------------------------------------------- /web/client/src/css/goldenlayout-soda-theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/css/goldenlayout-soda-theme.css -------------------------------------------------------------------------------- /web/client/src/css/goldenlayout-translucent-theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/css/goldenlayout-translucent-theme.css -------------------------------------------------------------------------------- /web/client/src/css/midnight.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/css/midnight.css -------------------------------------------------------------------------------- /web/client/src/css/scheme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/css/scheme.css -------------------------------------------------------------------------------- /web/client/src/css/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/css/style.css -------------------------------------------------------------------------------- /web/client/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/index.ts -------------------------------------------------------------------------------- /web/client/src/js/ast.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/js/ast.js -------------------------------------------------------------------------------- /web/client/src/js/gas.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/js/gas.js -------------------------------------------------------------------------------- /web/client/src/js/herd.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/js/herd.js -------------------------------------------------------------------------------- /web/client/src/js/ocaml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/js/ocaml.js -------------------------------------------------------------------------------- /web/client/src/js/panzoom.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/js/panzoom.js -------------------------------------------------------------------------------- /web/client/src/js/placeholder.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/js/placeholder.js -------------------------------------------------------------------------------- /web/client/src/js/toml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/js/toml.js -------------------------------------------------------------------------------- /web/client/src/location.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/location.ts -------------------------------------------------------------------------------- /web/client/src/model.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/model.ts -------------------------------------------------------------------------------- /web/client/src/tabs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/tabs.ts -------------------------------------------------------------------------------- /web/client/src/ui.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/ui.ts -------------------------------------------------------------------------------- /web/client/src/util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/util.ts -------------------------------------------------------------------------------- /web/client/src/view.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/view.ts -------------------------------------------------------------------------------- /web/client/src/widget.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/src/widget.ts -------------------------------------------------------------------------------- /web/client/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/client/tsconfig.json -------------------------------------------------------------------------------- /web/gather_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/gather_tests.sh -------------------------------------------------------------------------------- /web/server/.gitignore: -------------------------------------------------------------------------------- 1 | /target -------------------------------------------------------------------------------- /web/server/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/server/Cargo.lock -------------------------------------------------------------------------------- /web/server/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/server/Cargo.toml -------------------------------------------------------------------------------- /web/server/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/server/Makefile -------------------------------------------------------------------------------- /web/server/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/server/build.rs -------------------------------------------------------------------------------- /web/server/rustfmt.toml: -------------------------------------------------------------------------------- 1 | ../../rustfmt.toml -------------------------------------------------------------------------------- /web/server/src/request.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/server/src/request.rs -------------------------------------------------------------------------------- /web/server/src/server.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/server/src/server.rs -------------------------------------------------------------------------------- /web/server/src/worker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rems-project/isla/HEAD/web/server/src/worker.rs --------------------------------------------------------------------------------