Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adding commands to generate data for experiments. | Alan Mishchenko | 2020-02-22 | 1 | -0/+1 |
| | |||||
* | Adding commands to generate data for experiments. | Alan Mishchenko | 2020-02-21 | 1 | -0/+1 |
| | |||||
* | Experimental simulation based code. | Alan Mishchenko | 2020-02-06 | 1 | -0/+1 |
| | |||||
* | Forgot to update module make when adding giaDeep.c | Alan Mishchenko | 2019-12-18 | 1 | -0/+1 |
| | |||||
* | Experiments with simulation. | Alan Mishchenko | 2019-10-27 | 1 | -0/+1 |
| | |||||
* | Experiments with circuit-based SAT. | Alan Mishchenko | 2018-01-27 | 1 | -0/+1 |
| | |||||
* | Improvements to AIG-based quantification. | Alan Mishchenko | 2017-11-26 | 1 | -0/+1 |
| | |||||
* | Experiment with mapping. | Alan Mishchenko | 2017-09-15 | 1 | -0/+1 |
| | |||||
* | Experiments with support minimization. | Alan Mishchenko | 2017-04-27 | 1 | -0/+1 |
| | |||||
* | Adding stand-alone cut computation to GIA. | Alan Mishchenko | 2017-04-05 | 1 | -0/+1 |
| | |||||
* | Code for structural unateness checking. | Alan Mishchenko | 2017-03-18 | 1 | -0/+1 |
| | |||||
* | Clone of the main SAT solver to eneable independent work. | Alan Mishchenko | 2017-03-03 | 1 | -0/+1 |
| | |||||
* | New command &satoko. | Alan Mishchenko | 2017-02-08 | 1 | -0/+1 |
| | |||||
* | Experiments with edge-based mapping. | Alan Mishchenko | 2016-06-15 | 1 | -0/+1 |
| | |||||
* | Experiments with CEC for arithmetic circuits. | Alan Mishchenko | 2016-05-07 | 1 | -2/+0 |
| | |||||
* | Experiments with arithmetic circuits. | Alan Mishchenko | 2016-04-28 | 1 | -0/+1 |
| | |||||
* | Improved algo for edge computation. | Alan Mishchenko | 2016-04-22 | 1 | -0/+1 |
| | |||||
* | Command &esop to convert AIG into ESOP. | Alan Mishchenko | 2016-04-09 | 1 | -0/+1 |
| | |||||
* | Supporting edge information during mapping. | Alan Mishchenko | 2016-04-06 | 1 | -0/+1 |
| | |||||
* | Enabling native Gia visualization in &show. | Alan Mishchenko | 2016-04-03 | 1 | -0/+1 |
| | |||||
* | Windowing for technology mapping. | Alan Mishchenko | 2016-03-29 | 1 | -0/+1 |
| | |||||
* | Adding support for a different bit-blasting of a multiplier and squarer. | Alan Mishchenko | 2016-02-13 | 1 | -0/+1 |
| | |||||
* | Experiments with SAT-based mapping. | Alan Mishchenko | 2016-02-07 | 1 | -0/+1 |
| | |||||
* | Naive LUT packing algorithm (command &pack). | Alan Mishchenko | 2015-09-30 | 1 | -0/+1 |
| | |||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-27 | 1 | -0/+1 |
| | |||||
* | Adding new command &rex2gia. | Alan Mishchenko | 2015-09-22 | 1 | -0/+1 |
| | |||||
* | Diabling pin-permutation in &nf mapper. | Alan Mishchenko | 2015-02-08 | 1 | -0/+1 |
| | |||||
* | Detecting full-adder chains and putting them into white boxes. | Alan Mishchenko | 2014-11-09 | 1 | -0/+1 |
| | |||||
* | Improved QBF solver. | Alan Mishchenko | 2014-10-18 | 1 | -0/+1 |
| | |||||
* | Code restructuring. | Alan Mishchenko | 2014-09-16 | 1 | -3/+4 |
| | |||||
* | Added DSD-based collapsing &dsd. | Alan Mishchenko | 2014-08-16 | 1 | -0/+1 |
| | |||||
* | Generating abstraction of standard cell library. | Alan Mishchenko | 2014-07-26 | 1 | -0/+1 |
| | |||||
* | Adding new command &sopb for resource-aware SOP balancing. | Alan Mishchenko | 2014-07-21 | 1 | -0/+1 |
| | |||||
* | Changes and improvements to different packages. | Alan Mishchenko | 2014-06-28 | 1 | -0/+1 |
| | |||||
* | Experiments with balancing. | Alan Mishchenko | 2014-06-22 | 1 | -0/+1 |
| | |||||
* | Added quick GIG parser. | Alan Mishchenko | 2014-06-19 | 1 | -0/+1 |
| | |||||
* | Various changes to enable better CNF generation. | Alan Mishchenko | 2014-06-17 | 1 | -0/+1 |
| | |||||
* | Various modifications. | Alan Mishchenko | 2014-06-10 | 1 | -0/+1 |
| | |||||
* | Experiment with new idea for ISO. | Alan Mishchenko | 2014-05-21 | 1 | -0/+1 |
| | |||||
* | Exploration of MFFCs. | Alan Mishchenko | 2014-04-26 | 1 | -0/+1 |
| | |||||
* | Experiments with mapping. | Alan Mishchenko | 2014-03-22 | 1 | -0/+1 |
| | |||||
* | Structural mapper into structures. | Alan Mishchenko | 2013-11-12 | 1 | -0/+1 |
| | |||||
* | False path detection. | Alan Mishchenko | 2013-10-31 | 1 | -0/+1 |
| | |||||
* | Resubstitution code. | Alan Mishchenko | 2013-10-06 | 1 | -0/+1 |
| | |||||
* | Experiment with the AIG package. | Alan Mishchenko | 2013-10-03 | 1 | -0/+1 |
| | |||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-29 | 1 | -0/+1 |
| | |||||
* | Performance balancing command &b. | Alan Mishchenko | 2013-09-27 | 1 | -0/+1 |
| | |||||
* | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 1 | -0/+1 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-07 | 1 | -0/+1 |
| | |||||
* | New technology mapper. | Alan Mishchenko | 2013-07-12 | 1 | -1/+0 |
| |