summaryrefslogtreecommitdiffstats
path: root/src/base/io
Commit message (Expand)AuthorAgeFilesLines
* 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
* Version abc80725Alan Mishchenko2008-07-251-4/+11
* Version abc80717Alan Mishchenko2008-07-171-1/+10
* Version abc80705Alan Mishchenko2008-07-051-1/+5
* Version abc80702Alan Mishchenko2008-07-0219-96/+333
* Version abc80701Alan Mishchenko2008-07-012-12/+354
* Version abc80611Alan Mishchenko2008-06-111-6/+19
* Version abc80515Alan Mishchenko2008-05-151-2/+11
* Version abc80510Alan Mishchenko2008-05-101-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 14:03:04 +0000