summaryrefslogtreecommitdiffstats
path: root/.hgignore
Commit message (Collapse)AuthorAgeFilesLines
* Uploading pthread library for Windows.Alan Mishchenko2012-10-091-1/+3
|
* Misc changes.Alan Mishchenko2012-04-221-0/+1
|
* Exploration of ISO and minor changes.Alan Mishchenko2012-03-131-0/+2
|
* add arch_flags to .hgignoreBaruch Sterin2012-01-211-0/+3
|
* 64-bit portability changes.Alan Mishchenko2011-09-171-0/+5
|
* 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