summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-78/+193
* Minor bug fix in 'testcex'.Alan Mishchenko2011-07-311-0/+6
* Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^n...Alan Mishchenko2011-07-311-6/+4
* Changes to enable smarter simulation (bug fix).Alan Mishchenko2011-07-301-0/+10
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-1/+7
* Added generation of counter-examples to induction in 'ind'.Alan Mishchenko2011-07-302-8/+25
* Changes to enable smarter simulation.Alan Mishchenko2011-07-302-51/+5
* Changes to enable smarter simulation.Alan Mishchenko2011-07-302-23/+193
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-6/+5
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-4/+1
* Added deriving abstraction in GIA from the precomputed flop map.Alan Mishchenko2011-07-291-2/+7
* Improving and updating the abstraction code.Alan Mishchenko2011-07-293-446/+172
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-281-1/+1
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-281-1/+167
* Adding procedures to find the care bits of a counter-example (update).Alan Mishchenko2011-07-271-3/+16
* 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-222-2/+190
* Changes to enable smarter simulation.Alan Mishchenko2011-07-212-11/+188
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-211-5/+14
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-204-74/+447
* New demitering features.Alan Mishchenko2011-07-202-6/+63
* Fixed assertion failure when mitering with choices.Alan Mishchenko2011-07-201-2/+2
* Corner case bug fix in 'speedup'.Alan Mishchenko2011-07-201-1/+1
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-161-1/+17
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-151-6/+56
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-151-0/+48
* Added switch to PDR to disable expensive generalization step.Alan Mishchenko2011-07-131-2/+6
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-131-0/+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-102-10/+31
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-085-3/+98
* Printing out the path/name of the resource file that is being sourced.Alan Mishchenko2011-07-021-0/+7
* Fixing a typo, which led to not printing delay in 'ps' after SC mapping.Alan Mishchenko2011-07-021-1/+1
* Added a new demitering feature for dual-output miters.Alan Mishchenko2011-07-022-5/+100
* 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
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-16 16:26:08 +0000