summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Bug fix in stadard cell library representation.Alan Mishchenko2012-02-231-1/+8
* Experiment with technology mapping.Alan Mishchenko2012-02-223-112/+254
* Adding flag -s to &put to disable status clearing.Alan Mishchenko2012-02-222-4/+10
* Undoing a previuos change to not reset the status after &put.Alan Mishchenko2012-02-222-2/+4
* Experiment with technology mapping.Alan Mishchenko2012-02-201-0/+1
* Experiment with technology mapping.Alan Mishchenko2012-02-203-0/+351
* Isomorphism checking code.Alan Mishchenko2012-02-201-11/+44
* Isomorphism checking code.Alan Mishchenko2012-02-205-138/+603
* Isomorphism checking code.Alan Mishchenko2012-02-192-10/+13
* Isomorphism checking code.Alan Mishchenko2012-02-196-22/+202
* Added printout of BMC tents in &ps.Alan Mishchenko2012-02-1910-28/+46
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-192-15/+15
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-198-241/+368
* Isomorphism checking code.Alan Mishchenko2012-02-191-55/+201
* Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 (infin...Alan Mishchenko2012-02-191-1/+1
* Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 (infin...Alan Mishchenko2012-02-193-6/+10
* Isomorphism checking code.Alan Mishchenko2012-02-183-878/+542
* Isomorphism checking code.Alan Mishchenko2012-02-171-195/+273
* Isomorphism checking code.Alan Mishchenko2012-02-173-8/+257
* Changes to properly save current GIA after &miter -t and not erase the comb c...Alan Mishchenko2012-02-171-3/+8
* Isomorphism checking code.Alan Mishchenko2012-02-177-31/+69
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-19/+19
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-0/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-172-0/+6
* Makefile updated to print less information.Alan Mishchenko2012-02-171-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-172-2/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-1711-18/+19
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-16115-254/+234
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-1637-94/+108
* Makefile updated to print less information.Alan Mishchenko2012-02-161-9/+21
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-164-37/+130
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-1613-2666/+454
* Changing how BMC report runtime.Alan Mishchenko2012-02-162-2/+6
* Variable timeframe abstraction.Alan Mishchenko2012-02-164-13/+53
* Isomorphism checking code.Alan Mishchenko2012-02-155-86/+842
* Isomorphism checking code.Alan Mishchenko2012-02-141-0/+600
* Isomorphism checking code.Alan Mishchenko2012-02-144-20/+86
* Added restarts to PDR.Alan Mishchenko2012-02-141-1/+1
* Added restarts to PDR.Alan Mishchenko2012-02-136-21/+53
* Timeout crash fix in 'reachy'.Alan Mishchenko2012-02-131-5/+16
* Variable timeframe abstraction.Alan Mishchenko2012-02-131-0/+6
* Variable timeframe abstraction.Alan Mishchenko2012-02-134-31/+100
* Variable timeframe abstraction.Alan Mishchenko2012-02-134-10/+9
* Variable timeframe abstraction.Alan Mishchenko2012-02-132-20/+21
* Lazy man's logic synthesis.Alan Mishchenko2012-02-121-4/+20
* Isomorphism checking code.Alan Mishchenko2012-02-121-3/+18
* Variable timeframe abstraction.Alan Mishchenko2012-02-125-82/+89
* Variable timeframe abstraction.Alan Mishchenko2012-02-112-2/+4
* Variable timeframe abstraction.Alan Mishchenko2012-02-113-21/+21