NabeelQaiser/BTP_2k18-19

Issues

• Constraints in sepcification file.

  #23 opened 6 years ago by imran-iitp
  1

• Changes requires in my_simulator.py as per latest discussion with Sir.

  #15 opened 6 years ago by imran-iitp
  7

• Highlighting both possibilities of Update Statement in VCs of CNF form

  #13 opened 6 years ago by NabeelQaiser
  1

• Versionise the variable var in "select abcd into var"

  #11 opened 6 years ago by NabeelQaiser
  3

• Conditions in IF, ELSIF, ASSUME, ASSERT are not coming properly in wpcString if they includes AND, OR, NOT.

  #10 opened 6 years ago by aaalok5106
  2

• WPC string not proper when ASSERT statement lies within nested if...elsif... else

  #7 opened 6 years ago by aaalok5106
  2

• Missing "else" block after "elseif" block in raw CFG

  #2 opened 6 years ago by NabeelQaiser
  4