summaryrefslogtreecommitdiffstats
path: root/src/base/io
Commit message (Expand)AuthorAgeFilesLines
* 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
* Version abc90410Alan Mishchenko2009-04-101-1/+1
* Version abc90408Alan Mishchenko2009-04-084-4/+4
* Version abc90329Alan Mishchenko2009-03-292-5/+8
* Version abc90310Alan Mishchenko2009-03-108-13/+595
* Version abc90215Alan Mishchenko2009-02-1520-119/+193
* Version abc90118Alan Mishchenko2009-01-188-50/+1039
* Version abc81004Alan Mishchenko2008-10-041-24/+24
* Version abc80919Alan Mishchenko2008-09-191-1/+1
* Version abc80912Alan Mishchenko2008-09-121-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-10 12:22:56 +0000