Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).
-
Updated
Jul 31, 2020 - TeX
#
static-single-assignment
Here are 7 public repositories matching this topic...
MimIR is my Intermediate Representation
programming-language
dependent-types
compiler
functional-programming
optimizer
ssa
compilers
cps
intermediate-representation
continuation-passing-style
static-single-assignment
compiler-construction
functional-programming-language
partial-evaluation
partial-evaluator
-
Updated
Nov 2, 2024 - C++
An R package for static analysis of R code.
-
Updated
May 12, 2024 - R
Compiler and VM(interpreter), Using SSA form and doing some optimizations.
-
Updated
Sep 13, 2021 - C++
Static analysis framework for .NET programs.
c-sharp
api
library
framework
bytecode
backend
analysis
static-code-analysis
visual-basic
dotnet
static-analysis
ssa
control-flow-analysis
cil
net-framework
data-flow-analysis
static-single-assignment
three-address-code
points-to-analysis
call-graph-analysis
-
Updated
Dec 17, 2020 - C#
Test case generation of classic N-Puzzle game using Z3
static-analysis
ssa
symbolic-execution
z3
sat-solver
static-single-assignment
n-puzzle
automated-test-generation
z3py
-
Updated
Dec 14, 2015 - Python
Improve this page
Add a description, image, and links to the static-single-assignment topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the static-single-assignment topic, visit your repo's landing page and select "manage topics."