GitHub - ravi0912/C_to_Smt2_parser: C to Smt2 Parser

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
pythonds		pythonds
CtoSmt.py		CtoSmt.py
README		README
ctosmt1.py		ctosmt1.py
e1_s.c		e1_s.c
e1_t.c		e1_t.c
e1_t.smt2		e1_t.smt2
e2_s.c		e2_s.c
e2_t.c		e2_t.c
e2_t.smt2		e2_t.smt2
e3_s.c		e3_s.c
e3_t.c		e3_t.c
e3_t.smt2		e3_t.smt2
e4_s.c		e4_s.c
e4_t.c		e4_t.c
e4_t.smt2		e4_t.smt2
e5_s.c		e5_s.c
e5_t.c		e5_t.c
e5_t.smt2		e5_t.smt2
example.c		example.c

Repository files navigation

Parser to convert basic c to smt2. In progress..

Example 1 : Equivalence of Complex arithmetic using constants  in another example

Example 2 : Common Subexpression (CSE) Elimination

Example 3 : Constant Folding and Dead Code Elimination
			Single iterate If Else

Example 4 : Code Motion with iterative loop with two depth

Example 5 : Code Motion , Dead Code Elimination and checking the If else 					equivalence condition