Commits

Branch selector

 main

User selector

zpzigi754

Datepicker

All time

Commit History

Commits on Oct 29, 2024

• mc: Fix errors related to the reference count

  Show description for d4e554b
  zpzigi754

  committed
  d4e554b

• Add a reference count in array-based granule status table

  Show description for a4e68a9
  zpzigi754

  committed
  a4e68a9

• Remove the redundant check in realm create

  Show description for 74b2a56
  zpzigi754

  committed
  74b2a56

Commits on Oct 16, 2024

• doc: Update the guide on deploying dev site

  Show description for 9338ccb
  zpzigi754

  committed
  9338ccb

Commits on Oct 14, 2024

• doc: Fix a typo

  Show description for 3d55085
  zpzigi754

  committed
  3d55085

• doc: Update the model checking document

  Show description for 2291004
  zpzigi754

  committed
  2291004

Commits on Oct 11, 2024

• Fix a spec violation in rec_destroy (rec_aux_state)

  Show description for a947515
  zpzigi754

  committed
  a947515

• Fix a spec violation in rec_destroy (rec_state)

  Show description for f029aec
  zpzigi754

  committed
  f029aec

• mc: Verify rmi rec destroy

  Show description for 9a55a0a
  zpzigi754

  committed
  9a55a0a

• mc: Verify rmi rec aux count

  Show description for 22ec971
  zpzigi754

  committed
  22ec971

• mc: Decrease granule status table's size

  Show description for 50fb410
  zpzigi754

  committed
  50fb410

• Fix a spec violation in rec_create (rec_aux_state)

  Show description for 6ede5ca
  zpzigi754

  committed
  6ede5ca

• Fix a spec violation in rec_create (num_aux)

  Show description for 1eee5fe
  zpzigi754

  committed
  1eee5fe

• Fix a spec violation in rec_create (rec_aux)

  Show description for 6553dfe
  zpzigi754

  committed
  6553dfe

• Remove null state in rec's state

  Show description for ecf6601
  zpzigi754

  committed
  ecf6601

Commits on Oct 8, 2024

• mc: Verify rmi realm activate

  Show description for 60fbff4
  zpzigi754

  committed
  60fbff4

• Fix a spec violation in rmi version

  Show description for 67aa562
  zpzigi754

  committed
  67aa562

• mc: Verify rmi version

  Show description for 9fc89c0
  zpzigi754

  committed
  9fc89c0

Commits on Oct 7, 2024

• scripts: Restore acs's EXPECTED to 76

  Show description for 1900464
  zpzigi754

  committed
  1900464

• Fix a spec violation in realm destroy

  Show description for 6f5d14b
  zpzigi754

  committed
  6f5d14b

Commits on Sep 30, 2024

• scripts: Set acs's EXPECTED to 74

  Show description for 42e6661
  zpzigi754

  committed
  42e6661

• Fix all data aborts in rtt create

  Show description for aad2a1b
  zpzigi754

  committed
  aad2a1b

• Fix all data aborts in realm create

  Show description for cdb6916
  zpzigi754

  committed
  cdb6916

• Fix spec violations in realm create

  Show description for 46ac593
  zpzigi754

  committed
  46ac593

Commits on Jul 4, 2024

• doc: Add links to the model-checking report

  Show description for ed25d9d
  zpzigi754

  committed
  ed25d9d

• doc: Add a model-checking report

  Show description for 985cee1
  zpzigi754

  committed
  985cee1

Commits on Jun 26, 2024

• fvp-cca: Support trace toggle in acs tests

  Show description for 3cd4fec
  zpzigi754

  committed
  3cd4fec

• 3rd: acs: Update submodule

  Show description for 5ed5821
  zpzigi754

  committed
  5ed5821

Commits on Jun 10, 2024

• Fix typos (ttlb -> ttbl)

  Show description for f967014
  zpzigi754

  committed
  f967014

• Update Cargo.lock

  Show description for 9c71025
  zpzigi754

  committed
  9c71025

• Fix name resolution errors related to cfg(test)

  Show description for f625996
  zpzigi754

  committed
  f625996

• refactor: Do not import the whole rmm into uart

  Show description for e8d4385
  zpzigi754

  committed
  e8d4385

Commits on Jun 3, 2024

• refactor: Finish integrating vcpu into rec

  Show description for eab94a0
  zpzigi754

  committed
  eab94a0

• refactor: Move context from vcpu to rec

  Show description for 0b88789
  zpzigi754

  committed
  0b88789

• refactor: Remove state and pcpu from vcpu

  Show description for b6c3ab8
  zpzigi754

  committed
  b6c3ab8

Pagination

PreviousNext