summaryrefslogtreecommitdiffstats
path: root/src/base/abci
Commit message (Expand)AuthorAgeFilesLines
* Changed to 'print_level' to be less verbose by default.Alan Mishchenko2013-03-282-15/+24
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-281-23/+34
* Added dumping QDIMACS files in command 'qbf'.Alan Mishchenko2013-03-273-7/+48
* Removing hard-coded limit on the number of solving iterations in command 'qbf'.Alan Mishchenko2013-03-272-6/+6
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-271-1/+82
* Commenting out undesirable warnings/assertions.Alan Mishchenko2013-03-262-4/+3
* Handling special case in 'fold' when the network is combinational.Alan Mishchenko2013-03-131-10/+9
* PO partitioning algorithm.Alan Mishchenko2013-03-091-9/+45
* PO partitioning algorithm.Alan Mishchenko2013-03-091-8/+167
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-071-12/+54
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-052-13/+14
* User-controlable SAT sweeper.Alan Mishchenko2013-03-041-43/+65
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-0/+74
* Started PO partitioning command.Alan Mishchenko2013-02-241-0/+98
* K-hot STG encoding.Alan Mishchenko2013-02-231-5/+18
* Adding new features to 'dualrail'.Alan Mishchenko2013-02-211-0/+3
* Adding new features to 'dualrail'.Alan Mishchenko2013-02-212-10/+54
* Enabling two-timeframe property check in the interpolation procedure.Alan Mishchenko2013-02-211-2/+6
* New command &cycle, which is faster than 'cycle'.Alan Mishchenko2013-02-191-0/+61
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-191-6/+72
* Integrating sweeping information.Alan Mishchenko2013-02-191-0/+104
* Added 'gap timeout' to pdr.Alan Mishchenko2013-02-161-29/+27
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-152-21/+61
* Integration of timing manager.Alan Mishchenko2013-02-031-2/+77
* Added switch 'zeropo -s' to skip comb sweep after removing a PO.Alan Mishchenko2013-02-011-4/+9
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-25/+25
* Fixed a corner-case when 'sim3 -a' does not work for costant POs.Alan Mishchenko2013-01-251-0/+5
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-3/+16
* Extending verification status file format to allow for SAT status without CEX.Alan Mishchenko2013-01-251-4/+15
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-232-10/+46
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-232-6/+12
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-2/+2
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+0
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-3/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Adding support of flops to the conversion of MiniAIG into ABC network.Alan Mishchenko2013-01-081-0/+11
* Technology mapper.Alan Mishchenko2013-01-081-2/+4
* New unrolling manager.Alan Mishchenko2012-12-241-2/+6
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-151-4/+49
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-132-118/+94
* Unifification of custom extensions.Alan Mishchenko2012-12-103-19/+19
* Retiring old 'fpga' command and package.Alan Mishchenko2012-12-101-2/+0
* Renaming If_Lut_t into If_LibLut_t.Alan Mishchenko2012-12-103-11/+11
* Adding box library.Alan Mishchenko2012-12-101-5/+7
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-2/+2
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-4/+4
* Renaming multi-output mode enable switch 'bmc3 -s' to be 'bmc3 -a'.Alan Mishchenko2012-12-091-4/+4
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-15/+29
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-092-56/+42
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-1/+9
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 05:11:45 +0000