| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adding timeout to AIG rewriting inside 'int'. | Alan Mishchenko | 2013-07-07 | 6 | -1/+51 |
| | | |||||
| * | Compiler warning. | Alan Mishchenko | 2013-07-01 | 1 | -4/+6 |
| | | |||||
| * | Compiler problem. | Alan Mishchenko | 2013-07-01 | 2 | -150/+150 |
| | | |||||
| * | Compiler problem. | Alan Mishchenko | 2013-07-01 | 1 | -20/+20 |
| | | |||||
| * | Fixing a typo. | Alan Mishchenko | 2013-07-01 | 1 | -1/+1 |
| | | |||||
| * | Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, ↵ | Alan Mishchenko | 2013-07-01 | 4 | -0/+3618 |
| | | | | | and Karem Sakallah at U Michigan. | ||||
| * | Bug fix in the timeout for 'int'. | Alan Mishchenko | 2013-07-01 | 1 | -1/+1 |
| | | |||||
| * | Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem ↵ | Alan Mishchenko | 2013-07-01 | 1 | -0/+1 |
| | | | | | on some platforms. | ||||
| * | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -366/+379 |
| | | |||||
| * | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -76/+139 |
| | | |||||
| * | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -150/+114 |
| | | |||||
| * | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -207/+237 |
| | | |||||
| * | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -8/+29 |
| | | |||||
| * | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -13/+64 |
| | | |||||
| * | Updating new mapper. | Alan Mishchenko | 2013-06-29 | 3 | -118/+406 |
| | | |||||
| * | Improvemesnts to the mapper. | Alan Mishchenko | 2013-06-29 | 1 | -1/+4 |
| | | |||||
| * | Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed. | Niklas Een | 2013-06-29 | 1 | -2/+2 |
| | | |||||
| * | Fixed a problem in BridgeMode; it will now correctly detect if the pipe has ↵ | Niklas Een | 2013-06-28 | 1 | -4/+22 |
| | | | | | been closed and exit ABC. | ||||
| * | Updating new mapper. | Alan Mishchenko | 2013-06-28 | 2 | -281/+356 |
| | | |||||
| * | Adding timeout to command 'ind'. | Alan Mishchenko | 2013-06-28 | 4 | -13/+33 |
| | | |||||
| * | Adding timeout to the interpolant computation procedure. | Alan Mishchenko | 2013-06-28 | 4 | -4/+23 |
| | | |||||
| * | Data-structure experiment. | Alan Mishchenko | 2013-06-27 | 2 | -89/+86 |
| | | |||||
| * | Saving delay information after mapping. | Alan Mishchenko | 2013-06-26 | 2 | -0/+2 |
| | | |||||
| * | Minor compilation problem. | Alan Mishchenko | 2013-06-26 | 1 | -1/+1 |
| | | |||||
| * | Unifying representation of mapping in GIA. | Alan Mishchenko | 2013-06-25 | 1 | -1/+1 |
| | | |||||
| * | Unifying representation of mapping in GIA. | Alan Mishchenko | 2013-06-25 | 18 | -463/+365 |
| | | |||||
| * | Improving integration of the 'if' mapper with GIA. | Alan Mishchenko | 2013-06-25 | 3 | -13/+16 |
| | | |||||
| * | Improving integration of the 'if' mapper with GIA. | Alan Mishchenko | 2013-06-25 | 6 | -231/+211 |
| | | |||||
| * | Improving CEC (command 'dcec') by integrating XOR balancing. | Alan Mishchenko | 2013-06-25 | 1 | -1/+1 |
| | | |||||
| * | Improving CEC (command 'dcec') by integrating XOR balancing. | Alan Mishchenko | 2013-06-25 | 2 | -3/+38 |
| | | |||||
| * | New features to debug an test tech-mapping with choices. | Alan Mishchenko | 2013-06-24 | 3 | -0/+622 |
| | | |||||
| * | New random FSM generation command 'genfsm'. | Alan Mishchenko | 2013-06-22 | 3 | -9/+235 |
| | | |||||
| * | Limiting runtime limit checks in 'pdr'. | Alan Mishchenko | 2013-06-22 | 1 | -1/+1 |
| | | |||||
| * | Limiting runtime limit checks in 'pdr'. | Alan Mishchenko | 2013-06-22 | 10 | -2/+1266 |
| | | |||||
| * | Limiting runtime limit checks in 'pdr'. | Alan Mishchenko | 2013-06-21 | 2 | -2/+2 |
| | | |||||
| * | fix pyabc to link correctly on some linux version, fixing problem caused by ↵ | Baruch Sterin | 2013-06-18 | 1 | -0/+1 |
| | | | | | the changeset named: Suggested changes to counting time in Abc_Clock() | ||||
| * | Performance improvements in 'pdr'. | Alan Mishchenko | 2013-06-18 | 2 | -4/+10 |
| | | |||||
| * | Fix constant propagation after 'if'. | Alan Mishchenko | 2013-06-18 | 1 | -0/+14 |
| | | |||||
| * | Bug fixes in the implementation of varius resource limits in 'pdr'. | Alan Mishchenko | 2013-06-18 | 1 | -7/+18 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2013-06-18 | 3 | -2/+2 |
| | | |||||
| * | Suggested changes to counting time in Abc_Clock() | Alan Mishchenko | 2013-06-18 | 2 | -11/+11 |
| | | |||||
| * | Bug fix in gate sizing. | Alan Mishchenko | 2013-06-16 | 1 | -1/+1 |
| | | |||||
| * | New MFS package (bug fix). | Alan Mishchenko | 2013-06-07 | 1 | -2/+1 |
| | | |||||
| * | Integrating new MFS package with GIA manager. | Alan Mishchenko | 2013-06-04 | 8 | -9/+480 |
| | | |||||
| * | New MFS package. | Alan Mishchenko | 2013-05-31 | 6 | -20/+21 |
| | | |||||
| * | New MFS package. | Alan Mishchenko | 2013-05-31 | 7 | -15/+79 |
| | | |||||
| * | New MFS package. | Alan Mishchenko | 2013-05-30 | 4 | -57/+32 |
| | | |||||
| * | New MFS package. | Alan Mishchenko | 2013-05-30 | 8 | -67/+197 |
| | | |||||
| * | New DSD detection code. | Alan Mishchenko | 2013-05-30 | 3 | -9/+447 |
| | | |||||
| * | Multiplexer profiling. | Alan Mishchenko | 2013-05-27 | 7 | -133/+379 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |