Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Profiling quantification and other changes. | Alan Mishchenko | 2017-11-06 | 1 | -0/+52 |
| | |||||
* | Temp changes | Alan Mishchenko | 2017-06-15 | 1 | -0/+25 |
| | |||||
* | Removing unused procedure. | Alan Mishchenko | 2017-02-22 | 1 | -19/+0 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2017-02-18 | 1 | -1/+1 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-18 | 1 | -0/+19 |
| | |||||
* | Updates to arithmetic verification. | Alan Mishchenko | 2017-01-30 | 1 | -2/+2 |
| | |||||
* | Enabling AIGs without structural hashing (&get -c to import logic network). | Alan Mishchenko | 2016-05-20 | 1 | -1/+1 |
| | |||||
* | Improvements to delay-optimization in &satlut. | Alan Mishchenko | 2016-04-04 | 1 | -0/+28 |
| | |||||
* | New command to dump LUT network. | Alan Mishchenko | 2016-01-16 | 1 | -0/+92 |
| | |||||
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-10-28 | 1 | -0/+41 |
| | |||||
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-11 | 1 | -5/+11 |
| | |||||
* | Integrating barrier buffers. | Alan Mishchenko | 2014-12-08 | 1 | -4/+4 |
| | |||||
* | Enabling AIGs with boxes for word-level and sequential designs. | Alan Mishchenko | 2014-11-13 | 1 | -25/+0 |
| | |||||
* | Changing default CNF generation in &bmc. | Alan Mishchenko | 2014-08-18 | 1 | -0/+6 |
| | |||||
* | Updates and changes to several packages. | Alan Mishchenko | 2014-07-20 | 1 | -0/+9 |
| | |||||
* | Compiler warning. | Alan Mishchenko | 2014-07-01 | 1 | -1/+1 |
| | |||||
* | Improvements to representation of choices. | Alan Mishchenko | 2014-07-01 | 1 | -7/+17 |
| | |||||
* | Various modifications. | Alan Mishchenko | 2014-06-12 | 1 | -28/+0 |
| | |||||
* | Various modifications. | Alan Mishchenko | 2014-06-10 | 1 | -0/+28 |
| | |||||
* | Adding print-out of average level. | Alan Mishchenko | 2014-04-19 | 1 | -0/+9 |
| | |||||
* | Ternary simulation for multi-output miters. | Alan Mishchenko | 2014-03-28 | 1 | -0/+54 |
| | |||||
* | Experiments with simulation. | Alan Mishchenko | 2014-03-14 | 1 | -0/+5 |
| | |||||
* | False path detection. | Alan Mishchenko | 2013-10-31 | 1 | -0/+24 |
| | |||||
* | Multi-output property solver. | Alan Mishchenko | 2013-10-23 | 1 | -1/+1 |
| | |||||
* | Adding new synthesis scripts. | Alan Mishchenko | 2013-10-23 | 1 | -0/+1 |
| | |||||
* | More accurate level calculation in AIG balancing. | Alan Mishchenko | 2013-10-22 | 1 | -0/+48 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -0/+64 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -1/+1 |
| | |||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 1 | -2/+8 |
| | |||||
* | Performance balancing command &b. | Alan Mishchenko | 2013-09-27 | 1 | -3/+3 |
| | |||||
* | Changes to enable decomposition of non-DSD functions. | Alan Mishchenko | 2013-09-25 | 1 | -0/+23 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-11 | 1 | -2/+2 |
| | |||||
* | Moving #include to the top of the file in 'giaUtil.c'. | Alan Mishchenko | 2013-09-10 | 1 | -2/+1 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-07 | 1 | -0/+24 |
| | |||||
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 1 | -1/+4 |
| | |||||
* | Unifying representation of mapping in GIA. | Alan Mishchenko | 2013-06-25 | 1 | -0/+92 |
| | |||||
* | Multiplexer profiling. | Alan Mishchenko | 2013-05-27 | 1 | -1/+39 |
| | |||||
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -7/+7 |
| | |||||
* | Bug fix in &mprove. | Alan Mishchenko | 2013-05-19 | 1 | -2/+2 |
| | |||||
* | Adding support of XOR/MUX in GIA. | Alan Mishchenko | 2013-05-17 | 1 | -1/+1 |
| | |||||
* | Adding support of XOR/MUX in GIA. | Alan Mishchenko | 2013-05-17 | 1 | -0/+11 |
| | |||||
* | Adding new command &mprove for proving groups of properties. | Alan Mishchenko | 2013-05-17 | 1 | -0/+89 |
| | |||||
* | SAT sweeping under constraints. | Alan Mishchenko | 2013-05-06 | 1 | -0/+1 |
| | |||||
* | Reading/writing MiniAIG and several minor changes. | Alan Mishchenko | 2013-05-03 | 1 | -0/+29 |
| | |||||
* | SAT sweeping under constraints. | Alan Mishchenko | 2013-04-28 | 1 | -0/+25 |
| | |||||
* | SAT sweeping under constraints. | Alan Mishchenko | 2013-04-27 | 1 | -0/+30 |
| | |||||
* | SAT sweeping under constraints. | Alan Mishchenko | 2013-04-25 | 1 | -2/+7 |
| | |||||
* | User-controlable SAT sweeper. | Alan Mishchenko | 2013-02-26 | 1 | -3/+3 |
| | |||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-28 | 1 | -0/+19 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-06 | 1 | -0/+16 |
| |