summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-081-2/+0
|
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-076-1/+51
|
* Compiler warning.Alan Mishchenko2013-07-011-4/+6
|
* Compiler problem.Alan Mishchenko2013-07-012-150/+150
|
* Compiler problem.Alan Mishchenko2013-07-011-20/+20
|
* Fixing a typo.Alan Mishchenko2013-07-011-1/+1
|
* Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, ↵Alan Mishchenko2013-07-014-0/+3618
| | | | and Karem Sakallah at U Michigan.
* Bug fix in the timeout for 'int'.Alan Mishchenko2013-07-011-1/+1
|
* Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem ↵Alan Mishchenko2013-07-011-0/+1
| | | | on some platforms.
* Updating new mapper.Alan Mishchenko2013-06-301-366/+379
|
* Updating new mapper.Alan Mishchenko2013-06-301-76/+139
|
* Updating new mapper.Alan Mishchenko2013-06-301-150/+114
|
* Updating new mapper.Alan Mishchenko2013-06-301-207/+237
|
* Updating new mapper.Alan Mishchenko2013-06-301-8/+29
|
* Updating new mapper.Alan Mishchenko2013-06-301-13/+64
|
* Updating new mapper.Alan Mishchenko2013-06-293-118/+406
|
* Improvemesnts to the mapper.Alan Mishchenko2013-06-291-1/+4
|
* Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed.Niklas Een2013-06-291-2/+2
|
* Fixed a problem in BridgeMode; it will now correctly detect if the pipe has ↵Niklas Een2013-06-281-4/+22
| | | | been closed and exit ABC.
* Updating new mapper.Alan Mishchenko2013-06-282-281/+356
|
* Adding timeout to command 'ind'.Alan Mishchenko2013-06-284-13/+33
|
* 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-2518-463/+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-243-0/+622
|
* 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-2210-2/+1266
|
* 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-182-11/+11
|
* 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-048-9/+480
|
* 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-303-9/+447
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 13:19:53 +0000