summaryrefslogtreecommitdiffstats
path: root/src/misc/util/utilBridge.c
Commit message (Expand)AuthorAgeFilesLines
* Added 'abort' message in bridge mode for pdr -a timeoutNiklas Een2013-10-041-8/+30
* Fixed a bug in Bridge modeNiklas Een2013-09-271-2/+15
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-1/+1
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-5/+2
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-8/+11
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-1/+1
* Compiler warning.Alan Mishchenko2013-07-011-4/+6
* Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed.Niklas Een2013-06-291-2/+2
* Fixed a problem in BridgeMode; it will now correctly detect if the pipe has b...Niklas Een2013-06-281-4/+22
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-4/+4
* Unifification of custom extensions.Alan Mishchenko2012-12-101-28/+23
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-121-1/+1
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...Niklas Een2012-10-301-6/+7
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Silencing remaining gcc warnings.Alan Mishchenko2012-03-091-2/+2
* Some fixes for VTA under Bridge.Niklas Een2012-03-031-1/+1
* Counterexamples now work in BridgeNiklas Een2012-03-031-1/+3
* Some fixes to the Bridge code. More to do.Niklas Een2012-03-031-8/+21
* Adding features related to the communication bridge.Alan Mishchenko2012-03-021-88/+101
* Created a communication bridge.Alan Mishchenko2012-03-011-6/+111
* Created a communication bridge.Alan Mishchenko2012-03-011-0/+369