summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* Adding procedures to find the care bits of a counter-example (update).Alan Mishchenko2011-07-251-1/+1
* Adding procedures to find the care bits of a counter-example.Alan Mishchenko2011-07-251-4/+3
* Adding &equiv3, a new way of refining equivalence classes.Alan Mishchenko2011-07-221-1/+143
* Changes to enable smarter simulation.Alan Mishchenko2011-07-211-11/+142
* New demitering features.Alan Mishchenko2011-07-201-6/+10
* Added switch to PDR to disable expensive generalization step.Alan Mishchenko2011-07-131-2/+6
* Added equivalence class computation for flop outputs only in &equiv2.Alan Mishchenko2011-07-131-4/+9
* Other changes to enable new features in the mapper.Alan Mishchenko2011-07-101-2/+6
* Added a new demitering feature for dual-output miters.Alan Mishchenko2011-07-021-5/+32
* Added another specialized check to the mapper.Alan Mishchenko2011-06-271-12/+25
* Updated 'iprove' to generate seq CEX when CEC fails (small fix).Alan Mishchenko2011-06-251-1/+0
* Updated 'iprove' to generate seq CEX when CEC fails.Alan Mishchenko2011-06-251-0/+7
* 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-201-0/+116
* 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-031-0/+77
* Added new command 'outdec'.Alan Mishchenko2011-05-191-0/+79
* Special BLIF writing.Alan Mishchenko2011-05-181-0/+23
* 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-061-6/+18
* 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-281-49/+72
* Made testcex reset the number of the PO that failed.Alan Mishchenko2011-04-251-4/+14
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-241-2/+6
* 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
* Adding constant correspondence.Alan Mishchenko2011-04-181-13/+34
* 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-131-0/+139
* 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-291-1/+1
* Added test package.Alan Mishchenko2011-03-291-2/+2
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-4/+6
* C++ compilation fixes.Alan Mishchenko2011-03-271-2/+2
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-12/+18
* Added printing MFFC sizes and deriving TT from SOP.Alan Mishchenko2011-03-181-5/+21
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-19 11:38:52 +0000