summaryrefslogtreecommitdiffstats
path: root/.hgignore
Commit message (Collapse)AuthorAgeFilesLines
* .hgignore: add .rej, .orig filesBaruch Sterin2015-10-211-1/+3
|
* Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute ↵Baruch Sterin2015-10-211-0/+3
| | | | flags and source file. This is a ugly hack, mainly to allow the use of CLion with ABC. Include some changes in the Makefile to support that.
* More tuning in &nf.Alan Mishchenko2015-09-061-10/+1
|
* Compiler warnings.Alan Mishchenko2015-06-241-0/+1
|
* Adding code of MiniSAT 2.2.Alan Mishchenko2014-10-211-1/+0
|
* Preparing to work with C++ code.Alan Mishchenko2014-10-211-1/+4
|
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-0/+3
|
* 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