AliveToolkit/alive2

Automatic verification of LLVM optimizations

Language: C++ - Size: 6.32 MB - Last synced at: 19 days ago - Pushed at: 26 days ago - Stars: 905 - Forks: 116

nyu-systems/gauntlet

Finding bugs in P4 compilers using translation validation.

Language: P4 - Size: 23.6 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 37 - Forks: 3

kframework/p4-semantics

Formal Semantics of P4 in K

Language: P4 - Size: 1.01 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 18 - Forks: 2

seL4/graph-refine

Language: Python - Size: 1.09 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 14 - Forks: 12

sdasgup3/PLDI20-Artifact-Evaluation

Artifact Evaluation, PLDI'20

Size: 710 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0