summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Collapse)AuthorAgeFilesLines
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ↵Alan Mishchenko2013-04-181-2/+8
| | | | for liveness properties).
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ↵Alan Mishchenko2013-04-171-4/+4
| | | | for liveness properties).
* Adding command &filter_equiv to filter candidate equivalence classes using ↵Alan Mishchenko2013-04-174-1/+54
| | | | indexes of disproved POs after handling SRM as a multi-output miter.
* Adding parameter structure for rarity simulation.Alan Mishchenko2013-04-172-156/+109
|
* Bug fix in 'write_pla'.Alan Mishchenko2013-04-151-1/+1
|
* Saving network name in 'blockpo'.Alan Mishchenko2013-04-121-1/+3
|
* Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.Alan Mishchenko2013-04-091-5/+13
|
* Small changes to LMS code.Alan Mishchenko2013-04-011-1/+1
|
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-1/+1
|
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-3/+16
|
* Updating 'sim3' to move the design into the last rare state.Alan Mishchenko2013-04-012-3/+1
|
* Updating 'sim3' to move the design into the last rare state.Alan Mishchenko2013-04-012-24/+56
|
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-3/+11
|
* Improving verbose printout of 'sim3' when solving multiple outputs.Alan Mishchenko2013-03-301-3/+3
|
* Compiler warnings.Alan Mishchenko2013-03-302-4/+1
|
* Compiler warnings.Alan Mishchenko2013-03-301-26/+10
|
* Improved 'trim' and added 'dropsat' to replace sat POs by constant 0.Alan Mishchenko2013-03-301-69/+144
|
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-5/+7
|
* Added dumping QDIMACS files in command 'qbf'.Alan Mishchenko2013-03-281-9/+11
|
* Changed to 'print_level' to be less verbose by default.Alan Mishchenko2013-03-283-16/+25
|
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-283-23/+67
|
* 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
|
* Misc changes.Alan Mishchenko2013-03-071-2/+2
|
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-1/+1
|
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-1/+1
|
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-054-13/+17
|
* User-controlable SAT sweeper.Alan Mishchenko2013-03-042-43/+67
|
* 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
|
* Fixing performance problem in 'cone -s'Alan Mishchenko2013-02-133-10/+46
|
* 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-012-5/+12
|
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-303-52/+52
| | | | unsigned long long.
* Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current ↵Alan Mishchenko2013-01-252-2/+35
| | | | network is an AIG and the given PO has const 0/1 function.