2 Forks
45 Stars
45 Watchers

GenSym

GenSym, a compiler for parallel symbolic execution of LLVM IR

How to download and setup GenSym

Open terminal and run command
git clone https://github.com/Generative-Program-Analysis/GenSym.git
git clone is used to create a copy or clone of GenSym repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with GenSym https://github.com/Generative-Program-Analysis/GenSym/archive/master.zip

Or simply clone GenSym with SSH
[email protected]:Generative-Program-Analysis/GenSym.git

If you have some problems with GenSym

You may open issue on GenSym support forum (system) here: https://github.com/Generative-Program-Analysis/GenSym/issues

Similar to GenSym repositories

Here you may see GenSym alternatives and analogs

 webpack    babel    next.js    gatsby    pkg    parcel    pyret-lang    iris    lebab    guido    kotlin    kotlin-native    selfie    reading    Halide    godzilla    compiler-explorer    Bridge    svelte    shaderc    rust    marked    v8    gopherjs    Nim    compiler    rescript-compiler    opal    red    scala-js