| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Updated technology mapping. | Alan Mishchenko | 2011-05-08 | 1 | -2/+0 |
| | | |||||
| * | Improvements in sequential verification. | Alan Mishchenko | 2011-05-07 | 1 | -0/+2 |
| | | |||||
| * | Added switch to control duplication of logic after mapping. | Alan Mishchenko | 2011-04-24 | 1 | -0/+1 |
| | | |||||
| * | Unsuccessful attempt to improve PDR and a few minor changes. | Alan Mishchenko | 2011-04-07 | 1 | -0/+1 |
| | | |||||
| * | Made gate library package Mio independent of CUDD. | Alan Mishchenko | 2011-03-30 | 1 | -0/+1 |
| | | |||||
| * | Cumulative changes of the last two weeks. | Alan Mishchenko | 2011-02-01 | 1 | -0/+1 |
| | | |||||
| * | pyabc: make the SIGINT signal handler clean up by sending SIGINT to child ↵ | Baruch Sterin | 2011-01-13 | 1 | -1/+1 |
| | | | | | processes registered by the python code. Also provide functions to block SIGINT and unblock it, to allow for critical sections where signals are blocked | ||||
| * | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -0/+41 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |