summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* merge unfold2Jiang Long2014-06-041-1/+4
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-2/+3
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-5/+17
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-5/+20
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-7/+19
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-0/+64
* Corner-cases in &gprove and &mprove.Alan Mishchenko2014-06-011-1/+11
* Allow delay increase to be negative in 'mfs2'.Alan Mishchenko2014-05-311-1/+1
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-291-0/+12
* Experiment with support minimization.Alan Mishchenko2014-05-271-0/+7
* Adding symbolic fault representation in &fftest.Alan Mishchenko2014-05-231-38/+77
* Experiment with support minimization.Alan Mishchenko2014-05-221-2/+81
* Adding symbolic fault representation in &fftest.Alan Mishchenko2014-05-221-7/+8
* Simple version of ECO.Alan Mishchenko2014-05-211-2/+2
* Experiment with support minimization.Alan Mishchenko2014-05-211-5/+25
* Experiment with new idea for ISO.Alan Mishchenko2014-05-211-2/+3
* Simple version of ECO.Alan Mishchenko2014-05-211-2/+8
* Adding comment to usage message in 'pdr' regarding invariant dumped when init...Alan Mishchenko2014-05-201-1/+1
* Adding symbolic fault representation in &fftest.Alan Mishchenko2014-05-191-9/+12
* Adding symbolic fault representation in &fftest.Alan Mishchenko2014-05-141-29/+62
* Adding switch -C <num> to 'amap' to control max number of cuts at a node.Alan Mishchenko2014-05-091-2/+14
* Exploration of functions.Alan Mishchenko2014-04-281-4/+4
* Exploration of functions.Alan Mishchenko2014-04-261-3/+3
* Exploration of functions.Alan Mishchenko2014-04-261-0/+6
* Exploration of MFFCs.Alan Mishchenko2014-04-261-1/+3
* Added command 'cubeenum'.Alan Mishchenko2014-04-231-0/+53
* Experiments with permutations.Alan Mishchenko2014-04-231-1/+5
* Experiments with permutations.Alan Mishchenko2014-04-211-0/+5
* Added optimization for average rather than maximum delay.Alan Mishchenko2014-04-191-25/+9
* Improvements to DSD balancing.Alan Mishchenko2014-04-191-1/+19
* Improvements to DSD balancing.Alan Mishchenko2014-04-191-6/+16
* Preserving outputs names in the &-space.Alan Mishchenko2014-04-181-0/+12
* New feature to optimize delay during mapping.Alan Mishchenko2014-04-111-7/+3
* Improvements to DSD in technology mapping.Alan Mishchenko2014-04-111-4/+4
* New feature to optimize delay during mapping.Alan Mishchenko2014-04-111-2/+2
* Removed obsolete code for sequential mapping.Alan Mishchenko2014-04-111-24/+4
* Command to test console colors.Alan Mishchenko2014-04-101-0/+20
* Adding new code to support barrier buffers.Alan Mishchenko2014-04-091-3/+14
* Adding switch to control area/delay quality tradeoff in 'amap'.Alan Mishchenko2014-04-081-1/+1
* Adding switch to control area/delay quality tradeoff in 'amap'.Alan Mishchenko2014-04-081-2/+14
* Adding command to dump UNSAT core of BMC instance.Alan Mishchenko2014-04-071-0/+131
* Implementation of DSD balancing.Alan Mishchenko2014-04-061-2/+4
* Improvement in SOP balancing.Alan Mishchenko2014-04-061-2/+2
* Preparing new implementation of SOP/DSD balancing in 'if' mapper.Alan Mishchenko2014-04-051-10/+18
* Tuning LUT mapping to work while saving the best network.Alan Mishchenko2014-04-041-4/+4
* Adding switch to handle only single faults.Alan Mishchenko2014-04-011-5/+9
* Undoing previous change, which was made by mistake.Alan Mishchenko2014-03-311-2/+2
* Making per-output timeout in bmc3 -a and pdr -a work in CLOCKS_PER_SECs ins...Alan Mishchenko2014-03-311-2/+2
* Adding functionally observable fault testing.Alan Mishchenko2014-03-311-1/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-18 01:39:52 +0000