summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-59/+91
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-71/+66
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-255-8/+404
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-254-1/+294
|
* Started PO partitioning command.Alan Mishchenko2013-02-251-0/+168
|
* Started PO partitioning command.Alan Mishchenko2013-02-243-0/+219
|
* Integrating sweeping information.Alan Mishchenko2013-02-233-6/+17
|
* Integrating sweeping information.Alan Mishchenko2013-02-239-36/+73
|
* Compiler warnings.Alan Mishchenko2013-02-233-0/+7
|
* K-hot STG encoding.Alan Mishchenko2013-02-233-15/+90
|
* Result of merging with the previous change.Alan Mishchenko2013-02-231-1/+178
|\
| * K-hot STG encoding.Alan Mishchenko2013-02-231-1/+178
| |
* | Allowing for Verilog names of the type slash-<name>-space-[N].Alan Mishchenko2013-02-221-2/+8
|/
* Adding new features to 'dualrail'.Alan Mishchenko2013-02-211-0/+3
|
* Adding new features to 'dualrail'.Alan Mishchenko2013-02-214-18/+95
|
* Compiler warnings.Alan Mishchenko2013-02-215-8/+9
|
* Enabling two-timeframe property check in the interpolation procedure.Alan Mishchenko2013-02-215-22/+37
|
* Integrating sweeping information.Alan Mishchenko2013-02-202-1/+2
|
* Integrating sweeping information.Alan Mishchenko2013-02-201-2/+2
|
* Integrating sweeping information.Alan Mishchenko2013-02-207-189/+64
|
* Integrating sweeping information.Alan Mishchenko2013-02-203-35/+26
|
* Integrating sweeping information.Alan Mishchenko2013-02-204-69/+139
|
* Integrating hierarchy information (reporting incorrect topological order).Alan Mishchenko2013-02-205-13/+77
|
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-201-18/+54
|
* New command &cycle, which is faster than 'cycle'.Alan Mishchenko2013-02-193-0/+111
|
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-196-14/+372
|
* Integrating sweeping information.Alan Mishchenko2013-02-194-29/+198
|
* Integrating sweeping information.Alan Mishchenko2013-02-187-6/+484
|
* Integrating packing information.Alan Mishchenko2013-02-175-4/+427
|
* Added 'gap timeout' to pdr.Alan Mishchenko2013-02-163-43/+61
|
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-162-0/+2
|
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-156-25/+86
|
* Fixing performance problem in 'cone -s'Alan Mishchenko2013-02-133-10/+46
|
* Integration of timing manager.Alan Mishchenko2013-02-063-0/+62
|
* Integration of timing manager.Alan Mishchenko2013-02-039-284/+674
|
* Corner-case bug fix in PDR.Alan Mishchenko2013-02-011-1/+1
|
* Integration of timing manager.Alan Mishchenko2013-02-015-13/+138
|
* Added switch 'zeropo -s' to skip comb sweep after removing a PO.Alan Mishchenko2013-02-012-5/+12
|
* pyabc: allow returning large result from sub processesBaruch Sterin2013-01-302-11/+83
|
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-311-4/+4
| | | | unsigned long long.
* Integration of timing manager.Alan Mishchenko2013-01-304-0/+146
|
* Added a fix for the writing an AIG that is not normalized.Alan Mishchenko2013-01-301-1/+1
|
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-3025-340/+346
| | | | unsigned long long.
* pyabc: fix _cex_put to not call Abc_CexDup() twiceBaruch Sterin2013-01-251-20/+20
|
* pyabc: deal better with null counter examples and remove special case handlingBaruch Sterin2013-01-251-19/+7
|
* Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1.Alan Mishchenko2013-01-251-0/+19
|
* Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current ↵Alan Mishchenko2013-01-253-2/+42
| | | | network is an AIG and the given PO has const 0/1 function.
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-2/+2
|
* Fixed a corner-case when 'sim3 -a' does not work for costant POs.Alan Mishchenko2013-01-252-5/+32
|
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-254-8/+41
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 21:27:10 +0000