| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adding code of MiniSAT 2.2. | Alan Mishchenko | 2014-10-21 | 1 | -1/+0 |
| | | |||||
| * | Preparing to work with C++ code. | Alan Mishchenko | 2014-10-21 | 1 | -1/+4 |
| | | |||||
| * | Bug fix in &fraig -L <num>. | Alan Mishchenko | 2014-08-12 | 1 | -0/+3 |
| | | |||||
| * | Uploading pthread library for Windows. | Alan Mishchenko | 2012-10-09 | 1 | -1/+3 |
| | | |||||
| * | Misc changes. | Alan Mishchenko | 2012-04-22 | 1 | -0/+1 |
| | | |||||
| * | Exploration of ISO and minor changes. | Alan Mishchenko | 2012-03-13 | 1 | -0/+2 |
| | | |||||
| * | add arch_flags to .hgignore | Baruch Sterin | 2012-01-21 | 1 | -0/+3 |
| | | |||||
| * | 64-bit portability changes. | Alan Mishchenko | 2011-09-17 | 1 | -0/+5 |
| | | |||||
| * | 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 |