summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
* 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 numb...Alan Mishchenko2011-04-171-1/+83
* 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
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-12/+18
* Fixed memory leak.Alan Mishchenko2011-03-271-0/+1
* Added printing MFFC sizes and deriving TT from SOP.Alan Mishchenko2011-03-184-8/+84
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:41:13 +0000