summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Improving cut computation.Alan Mishchenko2014-03-304-13/+106
* Mismatch in bmc3 printout.Alan Mishchenko2014-03-301-2/+2
* Adding new code to verify invariant derived by 'pdr'.Alan Mishchenko2014-03-303-3/+87
* Improving cut computation.Alan Mishchenko2014-03-3012-503/+185
* Updating &if for new cut function representation.Alan Mishchenko2014-03-296-16/+66
* Experiments with technology mapping.Alan Mishchenko2014-03-293-15/+219
* Adding per-output logging to bmc3.Alan Mishchenko2014-03-293-10/+28
* Bug in the old code.Alan Mishchenko2014-03-281-23/+41
* Improving network visualization in show/&show.Alan Mishchenko2014-03-282-3/+35
* Adding a feature to dump untestable multiple faults.Alan Mishchenko2014-03-282-16/+124
* Ternary simulation for multi-output miters.Alan Mishchenko2014-03-283-0/+129
* Experiments with stuck-at fault testing.Alan Mishchenko2014-03-242-40/+168
* Integrating barrier buffers into the mapper.Alan Mishchenko2014-03-2316-1265/+945
* Experiments with mapping.Alan Mishchenko2014-03-232-3/+3
* Experiments with mapping.Alan Mishchenko2014-03-233-30/+32
* Experiments with stuck-at fault testing.Alan Mishchenko2014-03-232-31/+105
* Experiments with mapping.Alan Mishchenko2014-03-221-15/+21
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+17
* Experiments with mapping.Alan Mishchenko2014-03-221-30/+193
* Experiments with mapping.Alan Mishchenko2014-03-221-15/+15
* Experiments with mapping.Alan Mishchenko2014-03-223-11/+22
* Experiments with mapping.Alan Mishchenko2014-03-229-371/+1170
* Experiments with recent ideas.Alan Mishchenko2014-03-207-280/+503
* Experiments with cut caching.Alan Mishchenko2014-03-207-1/+134
* Experiments with recent ideas.Alan Mishchenko2014-03-193-231/+233
* Experiments with recent ideas.Alan Mishchenko2014-03-192-5/+4
* Experiments with recent ideas.Alan Mishchenko2014-03-195-187/+202
* Experiments with recent ideas.Alan Mishchenko2014-03-192-2/+239
* Experiments with recent ideas.Alan Mishchenko2014-03-194-47/+156
* Experiments with recent ideas.Alan Mishchenko2014-03-195-7/+487
* Compiler warning.Alan Mishchenko2014-03-181-1/+1
* Experiments with recent ideas.Alan Mishchenko2014-03-184-3/+264
* Updating code to support barrier buffers.Alan Mishchenko2014-03-188-13/+62
* Adding special-case report to 'bmc3'.Alan Mishchenko2014-03-181-0/+6
* Updating code to support barrier buffers.Alan Mishchenko2014-03-185-10/+45
* Adding barrier buffers.Alan Mishchenko2014-03-185-40/+94
* Adding barrier buffers.Alan Mishchenko2014-03-182-110/+78
* Adding progress report to 'bmc3'.Alan Mishchenko2014-03-171-0/+10
* Adding barrier buffers.Alan Mishchenko2014-03-172-98/+72
* Synchronizing with the recent version.Alan Mishchenko2014-03-161-1/+1
* Adding barrier buffers.Alan Mishchenko2014-03-163-2/+9
* Adding barrier buffers.Alan Mishchenko2014-03-1610-38/+449
* Synchronizing with the recent version.Alan Mishchenko2014-03-166-25/+29
* Experiments with simulation.Alan Mishchenko2014-03-141-15/+9
* Experiments with simulation.Alan Mishchenko2014-03-141-1/+1
* Experiments with simulation.Alan Mishchenko2014-03-141-1/+1
* Experiments with simulation.Alan Mishchenko2014-03-141-6/+9
* Experiments with simulation.Alan Mishchenko2014-03-142-9/+47
* Experiments with simulation.Alan Mishchenko2014-03-141-0/+1
* Experiments with simulation.Alan Mishchenko2014-03-146-6/+357
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 14:51:32 +0000