summaryrefslogtreecommitdiffstats
path: root/src/base/io
Commit message (Expand)AuthorAgeFilesLines
* Improving printouts of critical path.Alan Mishchenko2012-04-091-2/+4
* Silencing a gcc warning.Alan Mishchenko2012-03-231-1/+1
* Additional features for delay optimizationAlan Mishchenko2012-03-212-0/+44
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-1/+1
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-1/+1
* Enabling user-specified required times in 'map'.Alan Mishchenko2012-03-022-2/+106
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-162-5/+9
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-164-6/+17
* Graph isomorphism checking code.Alan Mishchenko2012-02-114-11/+46
* Major restructuring of the code.Alan Mishchenko2012-01-2120-51/+51
* Added switch 'write_counter -f' to output flop values in each time frame.Alan Mishchenko2012-01-181-20/+31
* Bug fixes in the Verilog parser.Alan Mishchenko2012-01-141-4/+10
* New hierarchy manager.Alan Mishchenko2012-01-131-1/+1
* Added warning when the network from file has no primary inputs.Alan Mishchenko2012-01-061-0/+5
* Improvements to hierarchical BLIF parser.Alan Mishchenko2011-12-221-4/+6
* Improvements to hierarchical BLIF parser.Alan Mishchenko2011-12-211-7/+34
* Fixed a bug in matching code.Alan Mishchenko2011-12-171-1/+4
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-091-2/+0
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-091-0/+2
* Temporary debugging change.Alan Mishchenko2011-11-121-1/+1
* Enabled counter-example minimization in 'write_counter'.Alan Mishchenko2011-11-111-5/+31
* Preventing scripts from aborting if reading has failed.Alan Mishchenko2011-11-081-1/+1
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-062-27/+120
* C++ portability changes.Alan Mishchenko2011-10-272-5/+2
* Changes to CNF generation code.Alan Mishchenko2011-10-171-6/+26
* Changes to the matching procedure.Alan Mishchenko2011-10-121-36/+58
* Modified write_blif to output LUT structures.Alan Mishchenko2011-10-043-13/+177
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-08-061-1/+3
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-08-061-0/+12
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-281-1/+167
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-201-0/+104
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-131-0/+6
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-081-0/+1
* Added dumping CEXes in AIGER format.Alan Mishchenko2011-06-213-0/+134
* Special BLIF writing (bug fixes).Alan Mishchenko2011-05-182-23/+41
* Special BLIF writing.Alan Mishchenko2011-05-183-4/+255
* Commented out debug messages.Alan Mishchenko2011-04-261-1/+1
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-277-1/+17
* Fixed memory leak.Alan Mishchenko2011-03-271-0/+1
* Several bug fixes and other improvements.Alan Mishchenko2011-03-124-50/+0
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-038-53/+54
* Eneabled writing/reading pAbc->nFrames into/from status files.Alan Mishchenko2011-02-041-6/+4
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-132-2/+12
* Bug fix to read flops with init state 3 (don't know)Alan Mishchenko2010-11-291-1/+1
* initial commit of public abcAlan Mishchenko2010-11-0132-592/+1461
* Version abc90714Alan Mishchenko2015-06-221-1/+2
* Version abc90528Alan Mishchenko2015-06-223-3/+91
* Version abc90505Alan Mishchenko2009-05-052-1/+95
* Version abc90424Alan Mishchenko2009-04-241-3/+11
* Version abc90413Alan Mishchenko2009-04-131-0/+3