summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Collapse)AuthorAgeFilesLines
* Updated 'iprove' to generate seq CEX when CEC fails (small fix).Alan Mishchenko2011-06-251-1/+0
|
* Merged two last changes.Alan Mishchenko2011-06-253-0/+134
|\
| * Added dumping CEXes in AIGER format.Alan Mishchenko2011-06-213-0/+134
| |
* | Updated 'iprove' to generate seq CEX when CEC fails.Alan Mishchenko2011-06-252-2/+8
|/
* Added new mapping feature.Alan Mishchenko2011-06-201-2/+22
|
* Added permute/unpermute.Alan Mishchenko2011-06-201-2/+2
|
* Added permute/unpermute.Alan Mishchenko2011-06-203-0/+287
|
* Disabled duplication of the network while removing POs in 'zeropo'.Alan Mishchenko2011-06-151-4/+5
|
* Added command &filter to filter equiv classes.Alan Mishchenko2011-06-151-1/+80
|
* Disabled duplication of the network while removing POs in 'removepo'.Alan Mishchenko2011-06-141-4/+5
|
* Adding command 'srm2' (additional feature).Alan Mishchenko2011-06-081-4/+13
|
* Adding command 'srm2'.Alan Mishchenko2011-06-081-1/+2
|
* Adding command 'srm2'.Alan Mishchenko2011-06-081-0/+91
|
* Adding command 'removepo'.Alan Mishchenko2011-06-032-0/+95
|
* Bug fix in 'swappos'.Alan Mishchenko2011-06-031-0/+9
|
* Added new command 'outdec'.Alan Mishchenko2011-05-192-0/+109
|
* Special BLIF writing (bug fixes).Alan Mishchenko2011-05-182-23/+41
|
* Special BLIF writing.Alan Mishchenko2011-05-186-4/+339
|
* Improvements to timeout.Alan Mishchenko2011-05-111-2/+4
|
* Updated technology mapping.Alan Mishchenko2011-05-081-3/+2
|
* Updated technology mapping.Alan Mishchenko2011-05-071-3/+19
|
* Improvements in sequential verification.Alan Mishchenko2011-05-071-15/+15
|
* Improvements in sequential verification.Alan Mishchenko2011-05-062-11/+50
|
* Trying to fix a mysterious bug in reading the library files.Alan Mishchenko2011-05-062-6/+6
|
* Updating testcext to ignore the diff in register count and other things.Alan Mishchenko2011-05-011-11/+30
|
* Added new options to testcex.Alan Mishchenko2011-04-282-50/+73
|
* Commented out debug messages.Alan Mishchenko2011-04-262-3/+3
|
* Made testcex reset the number of the PO that failed.Alan Mishchenko2011-04-251-4/+14
|
* Added support for AIG returned in the output file.Alan Mishchenko2011-04-241-8/+34
|
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-242-3/+7
|
* Bug fixes having to do with the use of chars.Alan Mishchenko2011-04-201-0/+8
|
* Fixing c++ portability issues.Alan Mishchenko2011-04-201-10/+2
|
* Fixing compilation problem which resulting from defining 'int c' as 'char c'.Alan Mishchenko2011-04-191-2/+2
|
* Adding constant correspondence.Alan Mishchenko2011-04-181-13/+34
|
* Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵Alan Mishchenko2011-04-171-1/+83
| | | | numbers.
* Added command 'reconcile'.Alan Mishchenko2011-04-161-2/+99
|
* Added cex generation for clustered reachability (forgot one file).Alan Mishchenko2011-04-161-2/+2
|
* Added cex generation for clustered reachability.Alan Mishchenko2011-04-161-0/+6
|
* Improving timeout in the interpolation package.Alan Mishchenko2011-04-151-5/+0
|
* Further improvements to reachability.Alan Mishchenko2011-04-151-7/+13
|
* Experiments with reachability.Alan Mishchenko2011-04-141-6/+9
|
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-132-1/+140
|
* Added print-out of area in terms of LUT library.Alan Mishchenko2011-04-131-1/+32
|
* Adding SAT-solver-level timeouts to the BMC engines.Alan Mishchenko2011-04-081-26/+32
|
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-265/+58
|
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-301-1/+7
|
* Added test package (new files).Alan Mishchenko2011-03-293-1/+72
|
* Added test package.Alan Mishchenko2011-03-293-3/+9
|
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-2717-13/+49
|
* C++ compilation fixes.Alan Mishchenko2011-03-272-3/+3
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-15 16:14:33 +0000