├── .github └── workflows │ └── build.yml ├── .gitignore ├── CODE_OF_CONDUCT.md ├── LICENSE ├── Makefile ├── README.md ├── SECURITY.md ├── SUPPORT.md ├── richos ├── Makefile ├── fs │ ├── Makefile │ ├── gen.sh │ └── test-fs │ │ ├── benchmark │ │ ├── Dockerfile │ │ └── files │ │ │ ├── etc │ │ │ ├── inittab │ │ │ ├── network │ │ │ │ └── interfaces │ │ │ └── resolv.conf │ │ │ └── usr │ │ │ └── sbin │ │ │ └── init.sh │ │ ├── unixbench │ │ └── Dockerfile │ │ └── verismo │ │ ├── Dockerfile │ │ └── files │ │ └── etc │ │ ├── init.d │ │ └── verismo │ │ ├── inittab │ │ ├── network │ │ └── interfaces │ │ └── resolv.conf ├── kernel │ └── config-richos ├── module │ ├── Makefile │ ├── test.sh │ ├── verismo.c │ └── verismo.mod.c └── user │ ├── Makefile │ ├── attestation.h │ ├── report.c │ ├── report.h │ └── user_report.c ├── scripts ├── clean.sh └── erase.py ├── source ├── .cargo │ └── config.toml ├── .rustfmt.toml ├── Cargo.toml ├── doc │ └── src │ │ └── main.rs ├── monitor.ld ├── rust-toolchain.toml ├── target.json ├── verismo │ ├── Cargo.toml │ ├── build.rs │ ├── igvm.sh │ └── src │ │ ├── addr_e │ │ ├── addr_interface.rs │ │ ├── def_e.rs │ │ ├── exe.rs │ │ ├── mod.rs │ │ └── range_interface.rs │ │ ├── allocator │ │ ├── bit_p.rs │ │ ├── buddy.rs │ │ ├── buddy_new.rs │ │ ├── linkedlist.rs │ │ ├── locked.rs │ │ ├── mod.rs │ │ └── trusted.rs │ │ ├── arch │ │ ├── addr_s │ │ │ ├── def_s.rs │ │ │ ├── mod.rs │ │ │ └── page.rs │ │ ├── attack │ │ │ └── mod.rs │ │ ├── crypto │ │ │ ├── encdec.rs │ │ │ └── mod.rs │ │ ├── entities │ │ │ ├── memid.rs │ │ │ ├── memtype.rs │ │ │ ├── mod.rs │ │ │ └── params.rs │ │ ├── errors │ │ │ └── mod.rs │ │ ├── mem │ │ │ ├── def_s.rs │ │ │ ├── mem_model1_p.rs │ │ │ ├── mem_p.rs │ │ │ ├── mem_s.rs │ │ │ ├── mem_u.rs │ │ │ └── mod.rs │ │ ├── memop │ │ │ ├── gpmemop.rs │ │ │ ├── gvmemop.rs │ │ │ ├── memop.rs │ │ │ └── mod.rs │ │ ├── mod.rs │ │ ├── pgtable │ │ │ ├── def.rs │ │ │ ├── def_e.rs │ │ │ ├── entry_p.rs │ │ │ ├── entry_s.rs │ │ │ ├── memmap_p.rs │ │ │ ├── memmap_s.rs │ │ │ └── mod.rs │ │ ├── ptram │ │ │ ├── def_s.rs │ │ │ ├── mod.rs │ │ │ ├── ptram_p.rs │ │ │ ├── ptram_p2.rs │ │ │ ├── ptram_s.rs │ │ │ └── ptram_u.rs │ │ ├── ramdb │ │ │ ├── def.rs │ │ │ ├── mod.rs │ │ │ ├── ram_p.rs │ │ │ ├── ram_s.rs │ │ │ └── ramdb.rs-todo │ │ ├── reg │ │ │ └── mod.rs │ │ ├── rmp │ │ │ ├── access_p.rs │ │ │ ├── access_s.rs │ │ │ ├── access_u.rs │ │ │ ├── db_p.rs │ │ │ ├── db_s.rs │ │ │ ├── db_u.rs │ │ │ ├── def_s.rs │ │ │ ├── entry_s.rs │ │ │ ├── mod.rs │ │ │ ├── perm_s.rs │ │ │ └── rmpop_u.rs │ │ ├── tlb │ │ │ ├── def_s.rs │ │ │ ├── mod.rs │ │ │ ├── tlb_p.rs │ │ │ ├── tlb_s.rs │ │ │ └── tlb_u.rs │ │ ├── vram │ │ │ ├── def.rs │ │ │ ├── mod.rs │ │ │ ├── vram_p.rs │ │ │ ├── vram_rmp_p.rs │ │ │ └── vram_s.rs │ │ └── x64 │ │ │ ├── def_s.rs │ │ │ ├── mod.rs │ │ │ ├── x64_p.rs │ │ │ ├── x64_s.rs │ │ │ └── x64_u.rs │ │ ├── boot │ │ ├── idt │ │ │ ├── .def.rs.swp │ │ │ ├── def.rs │ │ │ ├── dummy.rs │ │ │ ├── idt_reg_t.rs │ │ │ ├── isr.s │ │ │ └── mod.rs │ │ ├── init │ │ │ ├── e820_fmt.rs │ │ │ ├── e820_init.rs │ │ │ ├── e820_init_alloc.rs │ │ │ ├── init_e.rs │ │ │ ├── init_s.rs │ │ │ ├── mod.rs │ │ │ ├── mshv_alloc.rs │ │ │ ├── mshv_fmt.rs │ │ │ └── mshv_init.rs │ │ ├── linux │ │ │ └── mod.rs │ │ ├── mod.rs │ │ ├── monitor_params.rs │ │ ├── mshyper │ │ │ ├── mod.rs │ │ │ └── param_e.rs │ │ └── params.rs │ │ ├── bsp.rs │ │ ├── debug │ │ ├── ghcb_print.rs │ │ ├── interface.rs │ │ ├── mod.rs │ │ └── slice_print.rs │ │ ├── entry.s │ │ ├── global.rs │ │ ├── lib.rs │ │ ├── linkedlist │ │ └── mod.rs │ │ ├── lock │ │ ├── mod.rs │ │ ├── spin_perm_s.rs │ │ ├── spin_t.rs │ │ └── spincell_e.rs │ │ ├── mem │ │ ├── mod.rs │ │ ├── rawmem_p.rs │ │ ├── rawmem_p2.rs │ │ └── rawmem_s.rs │ │ ├── mshyper │ │ ├── hypercall.rs │ │ ├── mod.rs │ │ └── wakeup.rs │ │ ├── pgtable_e │ │ ├── def.rs │ │ ├── mod.rs │ │ ├── pte.rs │ │ └── tlb.rs │ │ ├── primitives_e │ │ ├── mod.rs │ │ ├── sectype.rs │ │ ├── seq.rs │ │ └── vec.rs │ │ ├── ptr │ │ ├── def_s.rs │ │ ├── mod.rs │ │ ├── ptr_e.rs │ │ ├── ptr_s.rs │ │ ├── ptr_t.rs │ │ ├── ptr_u.rs │ │ ├── raw_ptr_s.rs │ │ ├── raw_ptr_t.rs │ │ └── snp │ │ │ ├── mod.rs │ │ │ ├── rmp │ │ │ ├── mod.rs │ │ │ ├── rmp_e.rs │ │ │ ├── rmp_reset.rs │ │ │ └── rmp_t.rs │ │ │ ├── snp_s.rs │ │ │ └── snp_u.rs │ │ ├── registers │ │ ├── core_exit_t.rs │ │ ├── core_perm_s.rs │ │ ├── mod.rs │ │ ├── msr_perm_s.rs │ │ ├── msr_t.rs │ │ ├── reg_trait_t.rs │ │ └── trackedcore │ │ │ ├── mod.rs │ │ │ └── snpcore.rs │ │ ├── security │ │ ├── mem.rs │ │ ├── mod.rs │ │ ├── monitor.rs │ │ ├── pcr.rs │ │ └── secret.rs │ │ ├── snp │ │ ├── cpu │ │ │ ├── gdt.rs │ │ │ ├── mod.rs │ │ │ └── vmsa.rs │ │ ├── cpuid.rs │ │ ├── ghcb │ │ │ ├── def_s.rs │ │ │ ├── mod.rs │ │ │ ├── proto_e.rs │ │ │ ├── proto_impl.rs │ │ │ ├── proto_page.rs │ │ │ └── proto_s.rs │ │ ├── mem.rs │ │ ├── mod.rs │ │ ├── percpu │ │ │ ├── def_s.rs │ │ │ └── mod.rs │ │ └── trackedcore │ │ │ ├── mod.rs │ │ │ └── snpmulticore.rs │ │ ├── trusted_hacl │ │ ├── enc_dec_t.rs │ │ ├── hash_s.rs │ │ ├── hash_t.rs │ │ ├── mod.rs │ │ └── stub.rs │ │ ├── tspec │ │ ├── cast.rs │ │ ├── constant.rs │ │ ├── default.rs │ │ ├── fmap.rs │ │ ├── fnspec.rs │ │ ├── integer.rs │ │ ├── isconst.rs │ │ ├── map_lib.rs │ │ ├── math │ │ │ ├── align_s.rs │ │ │ ├── bits_p.rs │ │ │ ├── cond_bound.rs │ │ │ ├── integer.rs │ │ │ ├── minmax_s.rs │ │ │ ├── mod.rs │ │ │ ├── nonlinear.rs │ │ │ ├── pow_p.rs │ │ │ └── pow_s.rs │ │ ├── mod.rs │ │ ├── ops.rs │ │ ├── range_set.rs │ │ ├── security │ │ │ ├── mod.rs │ │ │ ├── sectype.rs │ │ │ ├── sectype_test.rs │ │ │ └── seq.rs │ │ ├── seqlib │ │ │ ├── mod.rs │ │ │ ├── seq_multiset.rs │ │ │ └── subseq.rs │ │ ├── setlib.rs │ │ ├── size_s.rs │ │ ├── stream │ │ │ ├── basic.rs │ │ │ └── mod.rs │ │ └── wellformed.rs │ │ ├── tspec_e │ │ ├── array │ │ │ ├── array_e.rs │ │ │ ├── array_s.rs │ │ │ ├── array_t.rs │ │ │ ├── array_utils.rs │ │ │ ├── mod.rs │ │ │ └── sort.rs │ │ ├── default.rs │ │ ├── math │ │ │ ├── align_e.rs │ │ │ ├── bits_e.rs │ │ │ ├── minmax.rs │ │ │ ├── mod.rs │ │ │ └── pow_e.rs │ │ ├── mod.rs │ │ ├── size_e.rs │ │ └── type_test.rs │ │ ├── vbox │ │ ├── mod.rs │ │ └── vbox.rs │ │ └── vcell │ │ ├── mod.rs │ │ └── vcell.rs ├── verismo_macro │ ├── Cargo.toml │ └── src │ │ ├── asm_global.rs │ │ ├── bits.rs │ │ ├── cast_sec.rs │ │ ├── clone.rs │ │ ├── def.rs │ │ ├── default.rs │ │ ├── enum_int.rs │ │ ├── exec_struct.rs │ │ ├── getter.rs │ │ ├── global.rs │ │ ├── lib.rs │ │ ├── new.rs │ │ ├── print.rs │ │ ├── property.rs │ │ ├── setter.rs │ │ ├── snp.rs │ │ ├── spec_eq.rs │ │ ├── spec_size.rs │ │ └── static_globals.rs ├── verismo_main │ ├── Cargo.toml │ ├── build.rs │ └── src │ │ ├── entry.s │ │ └── main.rs ├── verismo_verus │ ├── Cargo.toml │ └── src │ │ ├── atomic_ghost.rs │ │ ├── fndecl.rs │ │ ├── is_variant.rs │ │ ├── lib.rs │ │ ├── rustdoc.rs │ │ ├── struct_decl_inv.rs │ │ ├── structural.rs │ │ ├── syntax.rs │ │ └── topological_sort.rs └── vops │ ├── Cargo.toml │ └── src │ └── lib.rs └── tools ├── activate.sh ├── cargo-v ├── Cargo.toml └── src │ └── main.rs ├── fmt.sh ├── install.sh ├── rust-parser ├── Cargo.toml ├── rust-toolchain.toml └── src │ ├── main.rs │ └── syntax.rs ├── v-ci-setup.sh ├── verus-rustc ├── .cargo │ └── config.toml ├── Cargo.toml └── src │ └── main.rs ├── vinstall.sh └── vm ├── build-vm.ps1 └── setup-vnet.ps1 /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/.gitignore -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/SECURITY.md -------------------------------------------------------------------------------- /SUPPORT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/SUPPORT.md -------------------------------------------------------------------------------- /richos/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/Makefile -------------------------------------------------------------------------------- /richos/fs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/Makefile -------------------------------------------------------------------------------- /richos/fs/gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/gen.sh -------------------------------------------------------------------------------- /richos/fs/test-fs/benchmark/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/benchmark/Dockerfile -------------------------------------------------------------------------------- /richos/fs/test-fs/benchmark/files/etc/inittab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/benchmark/files/etc/inittab -------------------------------------------------------------------------------- /richos/fs/test-fs/benchmark/files/etc/network/interfaces: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/benchmark/files/etc/network/interfaces -------------------------------------------------------------------------------- /richos/fs/test-fs/benchmark/files/etc/resolv.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/benchmark/files/etc/resolv.conf -------------------------------------------------------------------------------- /richos/fs/test-fs/benchmark/files/usr/sbin/init.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/benchmark/files/usr/sbin/init.sh -------------------------------------------------------------------------------- /richos/fs/test-fs/unixbench/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/unixbench/Dockerfile -------------------------------------------------------------------------------- /richos/fs/test-fs/verismo/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/verismo/Dockerfile -------------------------------------------------------------------------------- /richos/fs/test-fs/verismo/files/etc/init.d/verismo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/verismo/files/etc/init.d/verismo -------------------------------------------------------------------------------- /richos/fs/test-fs/verismo/files/etc/inittab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/verismo/files/etc/inittab -------------------------------------------------------------------------------- /richos/fs/test-fs/verismo/files/etc/network/interfaces: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/verismo/files/etc/network/interfaces -------------------------------------------------------------------------------- /richos/fs/test-fs/verismo/files/etc/resolv.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/fs/test-fs/verismo/files/etc/resolv.conf -------------------------------------------------------------------------------- /richos/kernel/config-richos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/kernel/config-richos -------------------------------------------------------------------------------- /richos/module/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/module/Makefile -------------------------------------------------------------------------------- /richos/module/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/module/test.sh -------------------------------------------------------------------------------- /richos/module/verismo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/module/verismo.c -------------------------------------------------------------------------------- /richos/module/verismo.mod.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/module/verismo.mod.c -------------------------------------------------------------------------------- /richos/user/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/user/Makefile -------------------------------------------------------------------------------- /richos/user/attestation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/user/attestation.h -------------------------------------------------------------------------------- /richos/user/report.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/user/report.c -------------------------------------------------------------------------------- /richos/user/report.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/user/report.h -------------------------------------------------------------------------------- /richos/user/user_report.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/richos/user/user_report.c -------------------------------------------------------------------------------- /scripts/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/scripts/clean.sh -------------------------------------------------------------------------------- /scripts/erase.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/scripts/erase.py -------------------------------------------------------------------------------- /source/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/.cargo/config.toml -------------------------------------------------------------------------------- /source/.rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/.rustfmt.toml -------------------------------------------------------------------------------- /source/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/Cargo.toml -------------------------------------------------------------------------------- /source/doc/src/main.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | println!("Hello, world!"); 3 | } 4 | -------------------------------------------------------------------------------- /source/monitor.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/monitor.ld -------------------------------------------------------------------------------- /source/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/rust-toolchain.toml -------------------------------------------------------------------------------- /source/target.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/target.json -------------------------------------------------------------------------------- /source/verismo/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/Cargo.toml -------------------------------------------------------------------------------- /source/verismo/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/build.rs -------------------------------------------------------------------------------- /source/verismo/igvm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/igvm.sh -------------------------------------------------------------------------------- /source/verismo/src/addr_e/addr_interface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/addr_e/addr_interface.rs -------------------------------------------------------------------------------- /source/verismo/src/addr_e/def_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/addr_e/def_e.rs -------------------------------------------------------------------------------- /source/verismo/src/addr_e/exe.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/addr_e/exe.rs -------------------------------------------------------------------------------- /source/verismo/src/addr_e/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/addr_e/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/addr_e/range_interface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/addr_e/range_interface.rs -------------------------------------------------------------------------------- /source/verismo/src/allocator/bit_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/allocator/bit_p.rs -------------------------------------------------------------------------------- /source/verismo/src/allocator/buddy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/allocator/buddy.rs -------------------------------------------------------------------------------- /source/verismo/src/allocator/buddy_new.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/allocator/buddy_new.rs -------------------------------------------------------------------------------- /source/verismo/src/allocator/linkedlist.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/allocator/linkedlist.rs -------------------------------------------------------------------------------- /source/verismo/src/allocator/locked.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/allocator/locked.rs -------------------------------------------------------------------------------- /source/verismo/src/allocator/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/allocator/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/allocator/trusted.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/allocator/trusted.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/addr_s/def_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/addr_s/def_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/addr_s/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/addr_s/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/addr_s/page.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/addr_s/page.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/attack/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/attack/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/crypto/encdec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/crypto/encdec.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/crypto/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/crypto/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/entities/memid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/entities/memid.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/entities/memtype.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/entities/memtype.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/entities/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/entities/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/entities/params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/entities/params.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/errors/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/errors/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/mem/def_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/mem/def_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/mem/mem_model1_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/mem/mem_model1_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/mem/mem_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/mem/mem_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/mem/mem_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/mem/mem_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/mem/mem_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/mem/mem_u.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/mem/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/mem/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/memop/gpmemop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/memop/gpmemop.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/memop/gvmemop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/memop/gvmemop.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/memop/memop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/memop/memop.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/memop/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/memop/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/pgtable/def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/pgtable/def.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/pgtable/def_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/pgtable/def_e.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/pgtable/entry_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/pgtable/entry_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/pgtable/entry_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/pgtable/entry_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/pgtable/memmap_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/pgtable/memmap_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/pgtable/memmap_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/pgtable/memmap_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/pgtable/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/pgtable/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ptram/def_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ptram/def_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ptram/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ptram/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ptram/ptram_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ptram/ptram_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ptram/ptram_p2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ptram/ptram_p2.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ptram/ptram_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ptram/ptram_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ptram/ptram_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ptram/ptram_u.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ramdb/def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ramdb/def.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ramdb/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ramdb/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ramdb/ram_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ramdb/ram_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ramdb/ram_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ramdb/ram_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/ramdb/ramdb.rs-todo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/ramdb/ramdb.rs-todo -------------------------------------------------------------------------------- /source/verismo/src/arch/reg/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/reg/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/access_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/access_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/access_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/access_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/access_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/access_u.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/db_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/db_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/db_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/db_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/db_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/db_u.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/def_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/def_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/entry_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/entry_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/perm_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/perm_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/rmp/rmpop_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/rmp/rmpop_u.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/tlb/def_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/tlb/def_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/tlb/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/tlb/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/tlb/tlb_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/tlb/tlb_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/tlb/tlb_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/tlb/tlb_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/tlb/tlb_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/tlb/tlb_u.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/vram/def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/vram/def.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/vram/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/vram/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/vram/vram_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/vram/vram_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/vram/vram_rmp_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/vram/vram_rmp_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/vram/vram_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/vram/vram_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/x64/def_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/x64/def_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/x64/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/x64/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/x64/x64_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/x64/x64_p.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/x64/x64_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/x64/x64_s.rs -------------------------------------------------------------------------------- /source/verismo/src/arch/x64/x64_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/arch/x64/x64_u.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/idt/.def.rs.swp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/idt/.def.rs.swp -------------------------------------------------------------------------------- /source/verismo/src/boot/idt/def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/idt/def.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/idt/dummy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/idt/dummy.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/idt/idt_reg_t.rs: -------------------------------------------------------------------------------- 1 | use super::*; 2 | -------------------------------------------------------------------------------- /source/verismo/src/boot/idt/isr.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/idt/isr.s -------------------------------------------------------------------------------- /source/verismo/src/boot/idt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/idt/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/init/e820_fmt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/init/e820_fmt.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/init/e820_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/init/e820_init.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/init/e820_init_alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/init/e820_init_alloc.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/init/init_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/init/init_e.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/init/init_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/init/init_s.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/init/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/init/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/init/mshv_alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/init/mshv_alloc.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/init/mshv_fmt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/init/mshv_fmt.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/init/mshv_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/init/mshv_init.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/linux/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/linux/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/monitor_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/monitor_params.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/mshyper/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/mshyper/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/mshyper/param_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/mshyper/param_e.rs -------------------------------------------------------------------------------- /source/verismo/src/boot/params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/boot/params.rs -------------------------------------------------------------------------------- /source/verismo/src/bsp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/bsp.rs -------------------------------------------------------------------------------- /source/verismo/src/debug/ghcb_print.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/debug/ghcb_print.rs -------------------------------------------------------------------------------- /source/verismo/src/debug/interface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/debug/interface.rs -------------------------------------------------------------------------------- /source/verismo/src/debug/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/debug/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/debug/slice_print.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/debug/slice_print.rs -------------------------------------------------------------------------------- /source/verismo/src/entry.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/entry.s -------------------------------------------------------------------------------- /source/verismo/src/global.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/global.rs -------------------------------------------------------------------------------- /source/verismo/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/lib.rs -------------------------------------------------------------------------------- /source/verismo/src/linkedlist/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/linkedlist/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/lock/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/lock/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/lock/spin_perm_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/lock/spin_perm_s.rs -------------------------------------------------------------------------------- /source/verismo/src/lock/spin_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/lock/spin_t.rs -------------------------------------------------------------------------------- /source/verismo/src/lock/spincell_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/lock/spincell_e.rs -------------------------------------------------------------------------------- /source/verismo/src/mem/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/mem/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/mem/rawmem_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/mem/rawmem_p.rs -------------------------------------------------------------------------------- /source/verismo/src/mem/rawmem_p2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/mem/rawmem_p2.rs -------------------------------------------------------------------------------- /source/verismo/src/mem/rawmem_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/mem/rawmem_s.rs -------------------------------------------------------------------------------- /source/verismo/src/mshyper/hypercall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/mshyper/hypercall.rs -------------------------------------------------------------------------------- /source/verismo/src/mshyper/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/mshyper/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/mshyper/wakeup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/mshyper/wakeup.rs -------------------------------------------------------------------------------- /source/verismo/src/pgtable_e/def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/pgtable_e/def.rs -------------------------------------------------------------------------------- /source/verismo/src/pgtable_e/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/pgtable_e/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/pgtable_e/pte.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/pgtable_e/pte.rs -------------------------------------------------------------------------------- /source/verismo/src/pgtable_e/tlb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/pgtable_e/tlb.rs -------------------------------------------------------------------------------- /source/verismo/src/primitives_e/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/primitives_e/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/primitives_e/sectype.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/primitives_e/sectype.rs -------------------------------------------------------------------------------- /source/verismo/src/primitives_e/seq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/primitives_e/seq.rs -------------------------------------------------------------------------------- /source/verismo/src/primitives_e/vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/primitives_e/vec.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/def_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/def_s.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/ptr_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/ptr_e.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/ptr_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/ptr_s.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/ptr_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/ptr_t.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/ptr_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/ptr_u.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/raw_ptr_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/raw_ptr_s.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/raw_ptr_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/raw_ptr_t.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/snp/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/snp/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/snp/rmp/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/snp/rmp/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/snp/rmp/rmp_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/snp/rmp/rmp_e.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/snp/rmp/rmp_reset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/snp/rmp/rmp_reset.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/snp/rmp/rmp_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/snp/rmp/rmp_t.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/snp/snp_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/snp/snp_s.rs -------------------------------------------------------------------------------- /source/verismo/src/ptr/snp/snp_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/ptr/snp/snp_u.rs -------------------------------------------------------------------------------- /source/verismo/src/registers/core_exit_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/registers/core_exit_t.rs -------------------------------------------------------------------------------- /source/verismo/src/registers/core_perm_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/registers/core_perm_s.rs -------------------------------------------------------------------------------- /source/verismo/src/registers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/registers/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/registers/msr_perm_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/registers/msr_perm_s.rs -------------------------------------------------------------------------------- /source/verismo/src/registers/msr_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/registers/msr_t.rs -------------------------------------------------------------------------------- /source/verismo/src/registers/reg_trait_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/registers/reg_trait_t.rs -------------------------------------------------------------------------------- /source/verismo/src/registers/trackedcore/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/registers/trackedcore/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/registers/trackedcore/snpcore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/registers/trackedcore/snpcore.rs -------------------------------------------------------------------------------- /source/verismo/src/security/mem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/security/mem.rs -------------------------------------------------------------------------------- /source/verismo/src/security/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/security/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/security/monitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/security/monitor.rs -------------------------------------------------------------------------------- /source/verismo/src/security/pcr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/security/pcr.rs -------------------------------------------------------------------------------- /source/verismo/src/security/secret.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/security/secret.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/cpu/gdt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/cpu/gdt.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/cpu/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/cpu/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/cpu/vmsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/cpu/vmsa.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/cpuid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/cpuid.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/ghcb/def_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/ghcb/def_s.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/ghcb/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/ghcb/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/ghcb/proto_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/ghcb/proto_e.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/ghcb/proto_impl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/ghcb/proto_impl.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/ghcb/proto_page.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/ghcb/proto_page.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/ghcb/proto_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/ghcb/proto_s.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/mem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/mem.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/percpu/def_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/percpu/def_s.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/percpu/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/percpu/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/trackedcore/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/trackedcore/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/snp/trackedcore/snpmulticore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/snp/trackedcore/snpmulticore.rs -------------------------------------------------------------------------------- /source/verismo/src/trusted_hacl/enc_dec_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/trusted_hacl/enc_dec_t.rs -------------------------------------------------------------------------------- /source/verismo/src/trusted_hacl/hash_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/trusted_hacl/hash_s.rs -------------------------------------------------------------------------------- /source/verismo/src/trusted_hacl/hash_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/trusted_hacl/hash_t.rs -------------------------------------------------------------------------------- /source/verismo/src/trusted_hacl/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/trusted_hacl/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/trusted_hacl/stub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/trusted_hacl/stub.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/cast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/cast.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/constant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/constant.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/default.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/default.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/fmap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/fmap.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/fnspec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/fnspec.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/integer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/integer.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/isconst.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/isconst.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/map_lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/map_lib.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/math/align_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/math/align_s.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/math/bits_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/math/bits_p.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/math/cond_bound.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/math/cond_bound.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/math/integer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/math/integer.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/math/minmax_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/math/minmax_s.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/math/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/math/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/math/nonlinear.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/math/nonlinear.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/math/pow_p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/math/pow_p.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/math/pow_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/math/pow_s.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/ops.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/range_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/range_set.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/security/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/security/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/security/sectype.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/security/sectype.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/security/sectype_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/security/sectype_test.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/security/seq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/security/seq.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/seqlib/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/seqlib/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/seqlib/seq_multiset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/seqlib/seq_multiset.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/seqlib/subseq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/seqlib/subseq.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/setlib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/setlib.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/size_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/size_s.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/stream/basic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/stream/basic.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/stream/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/stream/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec/wellformed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec/wellformed.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/array/array_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/array/array_e.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/array/array_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/array/array_s.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/array/array_t.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/array/array_t.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/array/array_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/array/array_utils.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/array/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/array/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/array/sort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/array/sort.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/default.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/default.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/math/align_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/math/align_e.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/math/bits_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/math/bits_e.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/math/minmax.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/math/minmax.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/math/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/math/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/math/pow_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/math/pow_e.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/size_e.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/size_e.rs -------------------------------------------------------------------------------- /source/verismo/src/tspec_e/type_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/tspec_e/type_test.rs -------------------------------------------------------------------------------- /source/verismo/src/vbox/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/vbox/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/vbox/vbox.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/vbox/vbox.rs -------------------------------------------------------------------------------- /source/verismo/src/vcell/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/vcell/mod.rs -------------------------------------------------------------------------------- /source/verismo/src/vcell/vcell.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo/src/vcell/vcell.rs -------------------------------------------------------------------------------- /source/verismo_macro/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/Cargo.toml -------------------------------------------------------------------------------- /source/verismo_macro/src/asm_global.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/asm_global.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/bits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/bits.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/cast_sec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/cast_sec.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/clone.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/clone.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/def.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/default.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/default.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/enum_int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/enum_int.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/exec_struct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/exec_struct.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/getter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/getter.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/global.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/global.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/lib.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/new.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/new.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/print.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/print.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/property.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/property.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/setter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/setter.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/snp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/snp.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/spec_eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/spec_eq.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/spec_size.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/spec_size.rs -------------------------------------------------------------------------------- /source/verismo_macro/src/static_globals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_macro/src/static_globals.rs -------------------------------------------------------------------------------- /source/verismo_main/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_main/Cargo.toml -------------------------------------------------------------------------------- /source/verismo_main/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_main/build.rs -------------------------------------------------------------------------------- /source/verismo_main/src/entry.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_main/src/entry.s -------------------------------------------------------------------------------- /source/verismo_main/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_main/src/main.rs -------------------------------------------------------------------------------- /source/verismo_verus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/Cargo.toml -------------------------------------------------------------------------------- /source/verismo_verus/src/atomic_ghost.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/src/atomic_ghost.rs -------------------------------------------------------------------------------- /source/verismo_verus/src/fndecl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/src/fndecl.rs -------------------------------------------------------------------------------- /source/verismo_verus/src/is_variant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/src/is_variant.rs -------------------------------------------------------------------------------- /source/verismo_verus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/src/lib.rs -------------------------------------------------------------------------------- /source/verismo_verus/src/rustdoc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/src/rustdoc.rs -------------------------------------------------------------------------------- /source/verismo_verus/src/struct_decl_inv.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/src/struct_decl_inv.rs -------------------------------------------------------------------------------- /source/verismo_verus/src/structural.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/src/structural.rs -------------------------------------------------------------------------------- /source/verismo_verus/src/syntax.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/src/syntax.rs -------------------------------------------------------------------------------- /source/verismo_verus/src/topological_sort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/verismo_verus/src/topological_sort.rs -------------------------------------------------------------------------------- /source/vops/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/vops/Cargo.toml -------------------------------------------------------------------------------- /source/vops/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/source/vops/src/lib.rs -------------------------------------------------------------------------------- /tools/activate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/activate.sh -------------------------------------------------------------------------------- /tools/cargo-v/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/cargo-v/Cargo.toml -------------------------------------------------------------------------------- /tools/cargo-v/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/cargo-v/src/main.rs -------------------------------------------------------------------------------- /tools/fmt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/fmt.sh -------------------------------------------------------------------------------- /tools/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/install.sh -------------------------------------------------------------------------------- /tools/rust-parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/rust-parser/Cargo.toml -------------------------------------------------------------------------------- /tools/rust-parser/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/rust-parser/rust-toolchain.toml -------------------------------------------------------------------------------- /tools/rust-parser/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/rust-parser/src/main.rs -------------------------------------------------------------------------------- /tools/rust-parser/src/syntax.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/rust-parser/src/syntax.rs -------------------------------------------------------------------------------- /tools/v-ci-setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/v-ci-setup.sh -------------------------------------------------------------------------------- /tools/verus-rustc/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/verus-rustc/.cargo/config.toml -------------------------------------------------------------------------------- /tools/verus-rustc/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/verus-rustc/Cargo.toml -------------------------------------------------------------------------------- /tools/verus-rustc/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/verus-rustc/src/main.rs -------------------------------------------------------------------------------- /tools/vinstall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/vinstall.sh -------------------------------------------------------------------------------- /tools/vm/build-vm.ps1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/vm/build-vm.ps1 -------------------------------------------------------------------------------- /tools/vm/setup-vnet.ps1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verismo/HEAD/tools/vm/setup-vnet.ps1 --------------------------------------------------------------------------------