summaryrefslogtreecommitdiffstats
path: root/.hgignore
Commit message (Collapse)AuthorAgeFilesLines
* Updated technology mapping.Alan Mishchenko2011-05-081-2/+0
|
* Improvements in sequential verification.Alan Mishchenko2011-05-071-0/+2
|
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-241-0/+1
|
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-0/+1
|
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-301-0/+1
|
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-0/+1
|
* pyabc: make the SIGINT signal handler clean up by sending SIGINT to child ↵Baruch Sterin2011-01-131-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 abcAlan Mishchenko2010-11-011-0/+41