summaryrefslogtreecommitdiffstats
path: root/src/aig/ssw
Commit message (Expand)AuthorAgeFilesLines
* Trying to add BMC to random simulation.Alan Mishchenko2011-11-061-0/+10
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-313-6/+11
* 64-bit portability changes.Alan Mishchenko2011-09-171-3/+6
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-241-2/+2
* Several bug fixes.Alan Mishchenko2011-08-021-2/+2
* Changes to enable smarter simulation (bug fix).Alan Mishchenko2011-08-011-9/+48
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-0/+8
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-3/+5
* Changes to enable smarter simulation.Alan Mishchenko2011-07-303-840/+837
* Changes to enable smarter simulation.Alan Mishchenko2011-07-303-59/+126
* Changes to enable smarter simulation.Alan Mishchenko2011-07-303-24/+179
* Changes to enable smarter simulation.Alan Mishchenko2011-07-295-83/+980
* Adding &equiv3, a new way of refining equivalence classes.Alan Mishchenko2011-07-222-13/+62
* Changes to enable smarter simulation.Alan Mishchenko2011-07-213-28/+142
* Changes to enable smarter simulation.Alan Mishchenko2011-07-204-0/+434
* Added equivalence class computation for flop outputs only in &equiv2.Alan Mishchenko2011-07-131-4/+4
* Adding constant correspondence.Alan Mishchenko2011-04-185-7/+19
* Commented out one useless assertion in scorr.Alan Mishchenko2011-04-121-1/+1
* Fixing a problem with costraint scorr for K > 1.Alan Mishchenko2011-04-081-1/+80
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-1/+1
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-133-250/+4
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-132-1/+1
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-138-87/+76
* initial commit of public abcAlan Mishchenko2010-11-0122-217/+1710
* Version abc90901Alan Mishchenko2015-06-221-1/+1
* Version abc90714Alan Mishchenko2015-06-221-2/+2
* Version abc90528Alan Mishchenko2015-06-221-2/+10
* Version abc90424Alan Mishchenko2009-04-242-0/+9
* Version abc90410Alan Mishchenko2009-04-101-2/+2
* Version abc90408Alan Mishchenko2009-04-086-11/+11
* Version abc90329Alan Mishchenko2009-03-293-2/+8
* Version abc90313Alan Mishchenko2009-03-131-12/+12
* Version abc90310Alan Mishchenko2009-03-101-1/+2
* Version abc90220Alan Mishchenko2009-02-201-2/+2
* Version abc90215Alan Mishchenko2009-02-1514-78/+78
* Version abc90118Alan Mishchenko2009-01-1810-208/+732
* Version abc81029Alan Mishchenko2008-10-295-75/+175
* Version abc81025Alan Mishchenko2008-10-256-5/+434
* Version abc81014Alan Mishchenko2008-10-1414-201/+772
* Version abc81013Alan Mishchenko2008-10-1314-645/+891
* Version abc81005Alan Mishchenko2008-10-052-17/+21
* Version abc81004Alan Mishchenko2008-10-042-6/+11
* Version abc80927Alan Mishchenko2008-09-278-21/+329
* Version abc80922Alan Mishchenko2008-09-229-26/+483
* Version abc80921Alan Mishchenko2008-09-2111-475/+412
* Version abc80919Alan Mishchenko2008-09-1910-11/+442
* Version abc80918Alan Mishchenko2008-09-182-0/+34
* Version abc80915Alan Mishchenko2008-09-157-52/+582
* Version abc80912Alan Mishchenko2008-09-124-12/+32
* Version abc80910Alan Mishchenko2008-09-109-95/+393
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-20 01:42:32 +0000