translation-validation topic
List
translation-validation repositories
alive2
703
Stars
89
Forks
Watchers
Automatic verification of LLVM optimizations
p4-semantics
18
Stars
2
Forks
Watchers
Formal Semantics of P4 in K
gauntlet
35
Stars
3
Forks
Watchers
Finding bugs in P4 compilers using translation validation.