neelsomani/cuq - GitHub Explorer | GitHub Explorer | Trending

Stars

126

Forks

2

Watchers

126

Open Issues

1

Repository Health Score

❤️

45/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

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

Neel Somani•3 months ago

36d5b7dView on GitHub

Fix problems on coherence order

Flying2019•3 months ago

7a85714View on GitHub

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

Flying2019•3 months ago

01e0930View on GitHub

Change PTXReadsFrom.v to PTXRelations.v

Flying2019•4 months ago

f705ad4View on GitHub

Split rf and co to simplify the evaluation

Flying2019•4 months ago

44d6a20View on GitHub

Change the types of rf&co to a relation

Flying2019•4 months ago

9e4c4a9View on GitHub

Add RTX ReadsFrom and Coherence features.

Flying2019•4 months ago

c1f42ccView on GitHub

Revise README for clarity and detail on project scope

Neel Somani•4 months ago

ab14c0eView on GitHub

Add negative demo that fails type check

Neel Somani•5 months ago

7cac7c1View on GitHub

Add E2E repro instructions

Neel Somani•5 months ago

ac66a99View on GitHub

Documentation nits

Neel Somani•5 months ago

72844ffView on GitHub

Add second example and additional lemmas

Neel Somani•5 months ago

8f2b4f3View on GitHub

Add translator for subset and first example

Neel Somani•5 months ago

15ade2cView on GitHub

PTX shim + mapping skeleton

Neel Somani•5 months ago

34e1195View on GitHub

Add Coq syntax for MIR

Neel Somani•5 months ago

67a0cd4View on GitHub

View all commits