GitHub - imran-iitp/DB-SSA

                                                    VerDB

Tools to Verify Embedded SQL Application using Verification Conditions.

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
__pycache__		__pycache__
gen		gen
MyCFG.py		MyCFG.py
MyHelper.py		MyHelper.py
MyNode.py		MyNode.py
MyRawCfgToGraph.py		MyRawCfgToGraph.py
MyUtility.py		MyUtility.py
MyVisitor.py		MyVisitor.py
PlSql.g4		PlSql.g4
README.md		README.md
SymbolicVcGeneration.py		SymbolicVcGeneration.py
VC_Generation.py		VC_Generation.py
my_simulator.py		my_simulator.py
rawCfgToGraph.py		rawCfgToGraph.py
z3formulaofvcs.py		z3formulaofvcs.py

Provide feedback