summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Improving verbose printout of 'sim3' when solving multiple outputs.Alan Mishchenko2013-03-302-9/+17
* Updating 'pdr' to report the number of failed POs.Alan Mishchenko2013-03-302-1/+3
* Compiler warnings.Alan Mishchenko2013-03-302-4/+1
* Compiler warnings.Alan Mishchenko2013-03-301-26/+10
* Improved 'trim' and added 'dropsat' to replace sat POs by constant 0.Alan Mishchenko2013-03-301-69/+144
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-302-10/+18
* Compiler warnings.Alan Mishchenko2013-03-301-1/+2
* Compiler warnings.Alan Mishchenko2013-03-303-5/+4
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-4/+6
* Added dumping QDIMACS files in command 'qbf'.Alan Mishchenko2013-03-281-9/+11
* Changed to 'print_level' to be less verbose by default.Alan Mishchenko2013-03-283-16/+25
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-285-42/+96
* Added dumping QDIMACS files in command 'qbf'.Alan Mishchenko2013-03-275-13/+82
* Removing hard-coded limit on the number of solving iterations in command 'qbf'.Alan Mishchenko2013-03-272-6/+6
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-275-1/+263
* Modified SCL gate library to read/write gate formula.Alan Mishchenko2013-03-266-15/+159
* Fixing the dump of SAT solver into a CNF file.Alan Mishchenko2013-03-264-19/+30
* The result of merging.Alan Mishchenko2013-03-262-18/+18
|\
| * Making sure 'pdr -a' return UNDEC if it did not finish proving the remaining ...Alan Mishchenko2013-03-261-9/+10
| * Fixing a bug in &cycle, which could generate an unreachable state.Alan Mishchenko2013-03-261-9/+8
* | Commenting out undesirable warnings/assertions.Alan Mishchenko2013-03-262-4/+3
|/
* Replacing unsafe Aig_ManObjNum() by Aig_ManObjNumMax().Alan Mishchenko2013-03-191-5/+5
* Commenting out assertion that fails in 'dch', not sure why.Alan Mishchenko2013-03-141-1/+1
* Fixing gap timeout in 'bmc3'.Alan Mishchenko2013-03-131-6/+40
* Handling special case in 'fold' when the network is combinational.Alan Mishchenko2013-03-132-15/+24
* PO partitioning algorithm.Alan Mishchenko2013-03-091-1/+1
* PO partitioning algorithm.Alan Mishchenko2013-03-092-15/+56
* PO partitioning algorithm.Alan Mishchenko2013-03-091-5/+5
* Modified Python API iso_eq_classes to be eq_classes.Alan Mishchenko2013-03-091-2/+2
* PO partitioning algorithm.Alan Mishchenko2013-03-093-22/+468
* Integrating box library.Alan Mishchenko2013-03-083-0/+34
* Making 'bmc3' with switch '-a' not save CEXes.Alan Mishchenko2013-03-071-13/+13
* Fixing gap timeout in 'pdr'.Alan Mishchenko2013-03-071-5/+16
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-076-20/+68
* Misc changes.Alan Mishchenko2013-03-072-7/+16
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-1/+1
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-057-24/+160
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-0520-87/+197
* User-controlable SAT sweeper.Alan Mishchenko2013-03-044-122/+161
* User-controlable SAT sweeper.Alan Mishchenko2013-03-032-6/+62
* User-controlable SAT sweeper.Alan Mishchenko2013-02-272-6/+69
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-2713-31/+277
* User-controlable SAT sweeper.Alan Mishchenko2013-02-272-2/+56
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-7/+7
* User-controlable SAT sweeper.Alan Mishchenko2013-02-263-62/+90
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+6
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-18/+29
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+8
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+6
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+12
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 02:08:39 +0000