summaryrefslogtreecommitdiffstats
path: root/.hgignore
Commit message (Expand)AuthorAgeFilesLines
* .hgignore: add .rej, .orig filesBaruch Sterin2015-10-211-1/+3
* Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute flag...Baruch Sterin2015-10-211-0/+3
* 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 pro...Baruch Sterin2011-01-131-1/+1
* initial commit of public abcAlan Mishchenko2010-11-011-0/+41