GitHub CreateEvent at 2014-08-15 01:31:49
Repository: ConstraintSolver
Actor: sbagri
Payload: ref_type: repository
master_branch: master
description: Solves Constraints to reach each branch of a C++ code. The C++ code is a representation of the RTL code written in verilog and converted using verilator
pusher_type: user