Commits

Branch selector

 main

User selector

zpzigi754

Datepicker

All time

Commit History

Commits on Jun 3, 2024

• Remove unused dummy

  Show description for 185b428
  zpzigi754

  committed
  185b428

Commits on May 29, 2024

• Add tca configuration file

  Show description for f1d2cf2
  zpzigi754

  committed
  f1d2cf2

Commits on May 16, 2024

• vmsa: Remove deny(warning) to avoid clippy errors

  Show description for 1caa554
  zpzigi754

  committed
  1caa554

• armv9a: Add bogus safety doc comments

  Show description for 729d924
  zpzigi754

  committed
  729d924

• Revert "scripts: Remove cargo install to avoid a feature error"

  Show description for 06c859f
  zpzigi754

  committed
  06c859f

• 3rd: ciborium: Update submodule to resolve clippy errors

  Show description for 5e76936
  zpzigi754

  committed
  5e76936

• Update the rust toolchain to nightly-2024-04-21

  Show description for 7bea958
  zpzigi754

  committed
  7bea958

Commits on May 13, 2024

• scripts: Remove cargo install to avoid a feature error

  Show description for daa1cf9
  zpzigi754

  committed
  daa1cf9

Commits on May 10, 2024

• ci: Use depth 1 for syncing assets faster

  Show description for 39b8b6d
  zpzigi754

  committed
  39b8b6d

• refactor: Move rec outside rmi module

  Show description for 4e2bf09
  zpzigi754

  committed
  4e2bf09

• refactor: Move rd outside rmi module

  Show description for 2abdf59
  zpzigi754

  committed
  2abdf59

Commits on May 9, 2024

• doc: Add an initial document about verification

  Show description for a27a323
  zpzigi754

  committed
  a27a323

• mc: Verify rmi granule undelegate

  Show description for d5e2f2b
  zpzigi754

  committed
  d5e2f2b

• mc: Verify rmi granule delegate

  Show description for 3c2dd21
  zpzigi754

  committed
  3c2dd21

• mc: Add host memory modeling code

  Show description for 88408fb
  zpzigi754

  committed
  88408fb

• mc: Add el3 modeling code for gpt change

  Show description for 04185b8
  zpzigi754

  committed
  04185b8

• mc: Use common module for common import

  Show description for 095843f
  zpzigi754

  committed
  095843f

• mc: Add is_valid predicate for granule status table

  Show description for c3df68e
  zpzigi754

  committed
  c3df68e

• mc: Add a ghost gpt field in granule entry

  Show description for c33d3fe
  zpzigi754

  committed
  c33d3fe

Commits on May 2, 2024

• ci: Exclude islet_mc_harnesses from cargo check

  Show description for 740f542
  zpzigi754

  committed
  740f542

• mc: Add an initial harness for verifying rmi features

  Show description for 38fda9f
  zpzigi754

  committed
  38fda9f

• mc: Add input and output in monitor's run

  Show description for 4157b7b
  zpzigi754

  committed
  4157b7b

• mc: Make pagetable unreachable to reduce state space

  Show description for 59a44b1
  zpzigi754

  committed
  59a44b1

• mc: Make rsi unreachable to reduce state space

  Show description for 211a27f
  zpzigi754

  committed
  211a27f

• mc: Remove deny(warning) to avoid too many errors

  Show description for f82d92c
  zpzigi754

  committed
  f82d92c

Commits on Apr 30, 2024

• refactor: Finish integrating realm into rd

  Show description for 620c5c3
  zpzigi754

  committed
  620c5c3

• refactor: Move vcpus from realm to rd

  Show description for 3b9618f
  zpzigi754

  committed
  3b9618f

• refactor: Remove context trait

  Show description for 9591857
  zpzigi754

  committed
  9591857

• refactor: Move measurements from realm to rd

  Show description for d12626c
  zpzigi754

  committed
  d12626c

• refactor: Move page table from realm to rd

  Show description for aa85960
  zpzigi754

  committed
  aa85960

• Remove redundant state field in realm

  Show description for e6163fc
  zpzigi754

  committed
  e6163fc

Commits on Apr 23, 2024

• Fix data aborts related to RTT base

  Show description for 370c5b3
  zpzigi754

  committed
  370c5b3

• Do not miss content wiping in granule undelegate

  Show description for a1a8e14
  zpzigi754

  committed
  a1a8e14

Commits on Apr 15, 2024

• ci: Do not exit failure even if a keyword is not found

  Show description for ff0e0ff
  zpzigi754

  committed
  ff0e0ff

Commits on Apr 11, 2024

• refactor: Get rsi constraints without insertion

  Show description for fa9617c
  zpzigi754

  committed
  fa9617c

Pagination

PreviousNext