Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 10, 2018

• Added a number of Benchmarks and few updates

  

  Amit

  authored and

  Amit

  committed
  9d3d81a

  Copy full SHA for 9d3d81a

Commits on Jul 18, 2018

• Updated the reduced variable set in SSA

  

  Amit

  authored and

  Amit

  committed
  4964b14

  Copy full SHA for 4964b14

• A custom optimization Pass created for instruction compression and eliminating intermediate SSA variables. Missing variable updation

  

  Amit

  authored and

  Amit

  committed
  c505435

  Copy full SHA for c505435

Commits on Jul 5, 2018

• Before removing phiData structure and its implementation for compound condition which was not in use

  

  Amit

  authored and

  Amit

  committed
  d467390

  Copy full SHA for d467390

Commits on Jul 2, 2018

• Program Commented with correct implementation

  

  Amit

  authored and

  Amit

  committed
  9685390

  Copy full SHA for 9685390

Commits on Jul 1, 2018

• casting of uitoFP instruction for bool variable added

  

  Amit

  authored and

  Amit

  committed
  da1a0b8

  Copy full SHA for da1a0b8

Commits on Jun 29, 2018

• More instruction handled uitofp, fptoui, xor

  

  Amit

  authored and

  Amit

  committed
  dfefe7c

  Copy full SHA for dfefe7c

Commits on Jun 26, 2018

• Created a Project repository for convertion of C Program To SMT formula

  

  Amit

  authored and

  Amit

  committed
  8450174

  Copy full SHA for 8450174