JetBrains-Research/CoFRA

A CFL-r-based static analyser

Language: C# - Size: 194 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 2

Par4All/par4all

Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs

Language: C - Size: 671 MB - Last synced at: 18 days ago - Pushed at: almost 10 years ago - Stars: 52 - Forks: 11

llvm-faultinjector/llvm-fault-injector

Custom-LLVM for Interprocedural Dependencies Checking and Fault Injection in Hardware Register.

Language: LLVM - Size: 838 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

kshitijgorde/Interprocedural-CFG

Language: GAP - Size: 180 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0