Commits

Branch selector

 6ec43a1

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 14, 2024

• test: Fix deadlock during granule management

  Show description for 6ec43a1
  bitboom

  committed
  6ec43a1

• miri: Add RMI_REALM_CREATE TCs with memory mocking

  Show description for 8c7ddea
  bitboom

  committed
  8c7ddea

• Fix from const to static for GRANULE_REGION

  Show description for 2604ded
  bitboom

  committed
  2604ded

• miri: Add RMI_GRANULE_UNDELEGATE TC

  Show description for 13b4cb0
  bitboom

  committed
  13b4cb0

• miri: Add RMI_GRANULE_DELEGATE TC

  Show description for 34ffc9f
  bitboom

  committed
  34ffc9f

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

• Fix typo in documentation

  Show description for 0fb797a
  

  Drycell

  authored and

  bitboom

  committed
  0fb797a

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

• Fix the documentation for the veraison demo

  Show description for aaadf82
  p-sawicki2

  committed
  aaadf82

Commits on Sep 26, 2024

• support a debian-based realm with network configuration changes

  Show description for 284a310
  jinbpark

  committed
  284a310

Commits on Sep 25, 2024

• Add function to create an instance at a given address

  Show description for 18d0b88
  bitboom

  committed
  18d0b88

Commits on Aug 14, 2024

• remove misinterpretations

  Show description for cfdc214
  bokdeuk-jeong

  committed
  cfdc214

• add tlb-rmi config.toml

  Show description for 0db2167
  bokdeuk-jeong

  committed
  0db2167

• realm/mm: RMI_RTT_FOLD support

  Show description for f87f725
  bokdeuk-jeong

  committed
  f87f725

• rtt: make utility functions more straightforward

  Show description for 7b652c2
  bokdeuk-jeong

  committed
  7b652c2

• mm: provide list of entries in a table

  Show description for deaa7d8
  bokdeuk-jeong

  committed
  deaa7d8

• realm/mm: add tlbi operations

  Show description for 5fda8fa
  bokdeuk-jeong

  committed
  5fda8fa

• page_table: remove the 'is_raw' parameter of set() in Entry

  Show description for 4c9f6d5
  bokdeuk-jeong

  committed
  4c9f6d5

• Introduce utrace to analysis unsafe code

  Show description for 9a90b23
  bitboom

  committed
  9a90b23

Pagination

PreviousNext