summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Adding timeout to the interpolant computation procedure.Alan Mishchenko2013-06-284-4/+23
|
* Data-structure experiment.Alan Mishchenko2013-06-272-89/+86
|
* Saving delay information after mapping.Alan Mishchenko2013-06-262-0/+2
|
* Minor compilation problem.Alan Mishchenko2013-06-261-1/+1
|
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-1/+1
|
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-2517-459/+365
|
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-253-13/+16
|
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-256-231/+211
|
* Improving CEC (command 'dcec') by integrating XOR balancing.Alan Mishchenko2013-06-251-1/+1
|
* Improving CEC (command 'dcec') by integrating XOR balancing.Alan Mishchenko2013-06-252-3/+38
|
* New features to debug an test tech-mapping with choices.Alan Mishchenko2013-06-242-0/+602
|
* New random FSM generation command 'genfsm'.Alan Mishchenko2013-06-223-9/+235
|
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-221-1/+1
|
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-228-1/+1260
|
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-212-2/+2
|
* fix pyabc to link correctly on some linux version, fixing problem caused by ↵Baruch Sterin2013-06-181-0/+1
| | | | the changeset named: Suggested changes to counting time in Abc_Clock()
* Performance improvements in 'pdr'.Alan Mishchenko2013-06-182-4/+10
|
* Fix constant propagation after 'if'.Alan Mishchenko2013-06-181-0/+14
|
* Bug fixes in the implementation of varius resource limits in 'pdr'.Alan Mishchenko2013-06-181-7/+18
|
* Compiler warnings.Alan Mishchenko2013-06-183-2/+2
|
* Suggested changes to counting time in Abc_Clock()Alan Mishchenko2013-06-181-10/+10
|
* Bug fix in gate sizing.Alan Mishchenko2013-06-161-1/+1
|
* New MFS package (bug fix).Alan Mishchenko2013-06-071-2/+1
|
* Integrating new MFS package with GIA manager.Alan Mishchenko2013-06-047-9/+476
|
* New MFS package.Alan Mishchenko2013-05-316-20/+21
|
* New MFS package.Alan Mishchenko2013-05-317-15/+79
|
* New MFS package.Alan Mishchenko2013-05-304-57/+32
|
* New MFS package.Alan Mishchenko2013-05-308-67/+197
|
* New DSD detection code.Alan Mishchenko2013-05-302-9/+443
|
* Multiplexer profiling.Alan Mishchenko2013-05-276-133/+375
|
* Moving one declaration to the header file.Alan Mishchenko2013-05-274-5/+2
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-272-2/+2
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-27358-3273/+3291
|
* Several small changes to the MFS packages.Alan Mishchenko2013-05-2710-21/+26
|
* Added switch -M to set max size of two-cube divisors to extract (often helps ↵Alan Mishchenko2013-05-275-19/+38
| | | | both runtime and quality).
* Changing how often timeout is checked in the SAT solver and several ↵Alan Mishchenko2013-05-274-3/+21
| | | | application packages.
* New MFS package.Alan Mishchenko2013-05-271-1/+1
|
* New MFS package.Alan Mishchenko2013-05-274-9/+35
|
* New MFS package.Alan Mishchenko2013-05-265-15/+34
|
* New MFS package.Alan Mishchenko2013-05-269-98/+96
|
* New command 'putontop' to concatenate networks for don't-care-based ↵Alan Mishchenko2013-05-255-7/+196
| | | | optimization.
* New MFS package.Alan Mishchenko2013-05-2512-109/+111
|
* New MFS package.Alan Mishchenko2013-05-2511-119/+100
|
* New MFS package.Alan Mishchenko2013-05-254-10/+22
|
* New MFS package.Alan Mishchenko2013-05-259-38/+67
|
* New MFS package.Alan Mishchenko2013-05-2410-73/+102
|
* New MFS package.Alan Mishchenko2013-05-249-180/+598
|
* New MFS package.Alan Mishchenko2013-05-236-125/+349
|
* Counter-example depth minimization.Alan Mishchenko2013-05-226-16/+552
|
* Bug fix in saving CEXes and CEX vectors.Alan Mishchenko2013-05-211-5/+9
|