| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merged in atomb/abc (pull request #2) | Alan Mishchenko | 2013-11-07 | 2 | -4/+4 |
| |\ | | | | | | | More portability/flexibility fixes | ||||
| | * | Remove unncessary use of PWD in CPP include option. | Aaron Tomb | 2013-11-06 | 1 | -1/+1 |
| | | | | | | | | | | | | | The use of an absolute path can sometimes leads to compile errors using Jenkins on Windows. The form without PWD seems to build correctly on several varieties of each of Linux, OS X, and Windows. | ||||
| | * | Allow ARCHFLAGS and OPTFLAGS to be overridden. | Aaron Tomb | 2013-11-06 | 1 | -2/+2 |
| | | | |||||
| | * | Fix parenthesization of Abc_Clock #ifdef. | Aaron Tomb | 2013-11-06 | 1 | -1/+1 |
| | | | | | | | | | | | The previous location of parentheses led to an attempt to compile against Linux-only clock APIs when building on 32-bit OS X. | ||||
| * | | Organizing the timing report functions. | Alan Mishchenko | 2013-11-07 | 2 | -23/+22 |
| | | | |||||
| * | | Fixing the wire-load approximation problem. | Alan Mishchenko | 2013-11-07 | 8 | -64/+88 |
| |/ | |||||
| * | Specialized inductive check. | Alan Mishchenko | 2013-11-05 | 1 | -6/+3 |
| | | |||||
| * | Specialized inductive check. | Alan Mishchenko | 2013-11-05 | 1 | -1/+1 |
| | | |||||
| * | Specialized inductive check. | Alan Mishchenko | 2013-11-05 | 3 | -4/+159 |
| | | |||||
| * | Merged in atomb/abc (pull request #1) | Alan Mishchenko | 2013-11-05 | 2 | -4/+6 |
| |\ | | | | | | | Several patches to fix compilation under MINGW32 | ||||
| | * | Don't assume MSVC when __MINGW32__ set. | Aaron Tomb | 2013-11-04 | 1 | -0/+2 |
| | | | |||||
| | * | Choose Windows file operations with MINGW32. | Aaron Tomb | 2013-11-04 | 1 | -3/+3 |
| | | | |||||
| | * | Make definition of Abc_Clock work with MINGW32. | Aaron Tomb | 2013-11-04 | 1 | -1/+1 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-05 | 3 | -4/+30 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-05 | 1 | -1/+1 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -3/+3 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -7/+0 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -1/+1 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -1/+5 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -0/+2 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 2 | -2/+3 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 5 | -4/+51 |
| | | | |||||
| * | | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-04 | 1 | -0/+2 |
| | | | |||||
| * | | Added sharing of counter-examples across multiple failed properties in 'bmc3 ↵ | Alan Mishchenko | 2013-11-04 | 1 | -2/+2 |
| | | | | | | | | | -a'. | ||||
| * | | Added sharing of counter-examples across multiple failed properties in 'bmc3 ↵ | Alan Mishchenko | 2013-11-04 | 1 | -1/+2 |
| | | | | | | | | | -a'. | ||||
| * | | Merging heads. | Alan Mishchenko | 2013-11-04 | 1 | -0/+5 |
| |\ \ | |||||
| | * | | Specialized inductive check. | Alan Mishchenko | 2013-11-04 | 1 | -0/+5 |
| | |/ | |||||
| * / | Added sharing of counter-examples across multiple failed properties in 'bmc3 ↵ | Alan Mishchenko | 2013-11-04 | 1 | -43/+84 |
| |/ | | | | -a'. | ||||
| * | Sweeper internal dumping. | Alan Mishchenko | 2013-11-01 | 1 | -7/+5 |
| | | |||||
| * | Sweeper internal dumping. | Alan Mishchenko | 2013-11-01 | 2 | -0/+33 |
| | | |||||
| * | Sweeper internal verification. | Alan Mishchenko | 2013-11-01 | 3 | -5/+7 |
| | | |||||
| * | Sweeper internal verification and new switch for &cfraig. | Alan Mishchenko | 2013-11-01 | 5 | -9/+21 |
| | | |||||
| * | Sweeper internal verification. | Alan Mishchenko | 2013-11-01 | 4 | -24/+77 |
| | | |||||
| * | Corner-case bug in synthesis commands. | Alan Mishchenko | 2013-11-01 | 1 | -0/+6 |
| | | |||||
| * | Sweeper condition complement bug-fix. | Alan Mishchenko | 2013-11-01 | 1 | -1/+1 |
| | | |||||
| * | Sweeper condition complement bug-fix and code for internal verification. | Alan Mishchenko | 2013-11-01 | 8 | -12/+60 |
| | | |||||
| * | Sweeper assertion. | Alan Mishchenko | 2013-11-01 | 1 | -0/+2 |
| | | |||||
| * | Sweeper assertion. | Alan Mishchenko | 2013-11-01 | 1 | -0/+1 |
| | | |||||
| * | Sweeper return value normalization. | Alan Mishchenko | 2013-11-01 | 4 | -7/+42 |
| | | |||||
| * | False path detection. | Alan Mishchenko | 2013-10-31 | 3 | -67/+228 |
| | | |||||
| * | Specialized induction check. | Alan Mishchenko | 2013-10-31 | 4 | -60/+143 |
| | | |||||
| * | GIA sweeper: adding APIs to return valid probe ID and run a command line. | Alan Mishchenko | 2013-10-31 | 1 | -1/+1 |
| | | |||||
| * | GIA sweeper: adding APIs to return valid probe ID and run a command line. | Alan Mishchenko | 2013-10-31 | 2 | -0/+72 |
| | | |||||
| * | Specialized induction check. | Alan Mishchenko | 2013-10-31 | 1 | -1/+5 |
| | | |||||
| * | False path detection. | Alan Mishchenko | 2013-10-31 | 4 | -2/+225 |
| | | |||||
| * | Specialized induction check. | Alan Mishchenko | 2013-10-31 | 4 | -23/+101 |
| | | |||||
| * | Specialized induction check. | Alan Mishchenko | 2013-10-31 | 9 | -5/+289 |
| | | |||||
| * | GIA sweeper interface update. | Alan Mishchenko | 2013-10-31 | 1 | -4/+6 |
| | | |||||
| * | Improving critical path print-out. | Alan Mishchenko | 2013-10-31 | 1 | -6/+47 |
| | | |||||
| * | Bug fix in 'tempor -s'. | Alan Mishchenko | 2013-10-30 | 1 | -0/+1 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |