Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Dec 26, 2025

• Merge pull request #1 from Flying2019/feature/ptx-shim-rf-co

  Show description for 36d5b7d
  neelsomani

  authored
  36d5b7d

  Copy full SHA for 36d5b7d

Commits on Dec 24, 2025

• Fix problems on coherence order

  Flying2019

  committed
  7a85714

  Copy full SHA for 7a85714

• Fix problems on reads-from & Add an example for rf

  Flying2019

  committed
  01e0930

  Copy full SHA for 01e0930

Commits on Dec 8, 2025

• Change PTXReadsFrom.v to PTXRelations.v

  Flying2019

  committed
  f705ad4

  Copy full SHA for f705ad4

• Split rf and co to simplify the evaluation

  Flying2019

  committed
  44d6a20

  Copy full SHA for 44d6a20

• Change the types of rf&co to a relation

  Flying2019

  committed
  9e4c4a9

  Copy full SHA for 9e4c4a9

Commits on Dec 7, 2025

• Add RTX ReadsFrom and Coherence features.

  Flying2019

  committed
  c1f42cc

  Copy full SHA for c1f42cc

Commits on Nov 25, 2025

• Revise README for clarity and detail on project scope

  neelsomani

  authored
  ab14c0e

  Copy full SHA for ab14c0e

Commits on Oct 22, 2025

• Add negative demo that fails type check

  neelsomani

  committed
  7cac7c1

  Copy full SHA for 7cac7c1

• Add E2E repro instructions

  neelsomani

  committed
  ac66a99

  Copy full SHA for ac66a99

• Documentation nits

  neelsomani

  committed
  72844ff

  Copy full SHA for 72844ff

Commits on Oct 21, 2025

• Add second example and additional lemmas

  neelsomani

  committed
  8f2b4f3

  Copy full SHA for 8f2b4f3

• Add translator for subset and first example

  neelsomani

  committed
  15ade2c

  Copy full SHA for 15ade2c

• PTX shim + mapping skeleton

  neelsomani

  committed
  34e1195

  Copy full SHA for 34e1195

• Add Coq syntax for MIR

  neelsomani

  committed
  67a0cd4

  Copy full SHA for 67a0cd4

• Add MIR dump and mapping table

  neelsomani

  committed
  cdd56e5

  Copy full SHA for cdd56e5

• Add README

  neelsomani

  committed
  53b8b17

  Copy full SHA for 53b8b17

• Initial commit

  neelsomani

  authored
  18d3251

  Copy full SHA for 18d3251