summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)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 unsigned...Alan Mishchenko2013-01-311-4/+4
* 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 unsigned...Alan Mishchenko2013-01-3025-340/+346
* 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
* 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 19:14:55 +0000