summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/module.make
Commit message (Expand)AuthorAgeFilesLines
* import ttoptYukio Miyasaka2022-09-171-0/+1
* Various changes.Alan Mishchenko2022-07-301-0/+1
* Experiments with technology mapping.Alan Mishchenko2022-06-251-0/+1
* Adding command to check resub problem solution.Alan Mishchenko2022-06-101-0/+1
* Experiments with SAT sweeping.Alan Mishchenko2022-04-241-0/+1
* Experiments with pattern generation.Alan Mishchenko2021-10-101-0/+1
* Experiments with SAT solving.Alan Mishchenko2021-10-091-0/+1
* New command &stochsyn for stochastic synthesis.Alan Mishchenko2021-10-061-0/+1
* Various changes.Alan Mishchenko2021-09-301-0/+2
* Adding command &reshape.Alan Mishchenko2021-09-211-0/+2
* Removing unused command.Alan Mishchenko2021-09-211-2/+0
* Adding place holder file for resub experiments.Alan Mishchenko2021-06-241-0/+1
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-06-191-0/+1
* Experiments with LUT mapping for small functions.Alan Mishchenko2021-05-011-0/+1
* Adding new resub code.Alan Mishchenko2020-07-081-0/+1
* Adding commands to generate data for experiments.Alan Mishchenko2020-02-221-0/+1
* Adding commands to generate data for experiments.Alan Mishchenko2020-02-211-0/+1
* Experimental simulation based code.Alan Mishchenko2020-02-061-0/+1
* Forgot to update module make when adding giaDeep.cAlan Mishchenko2019-12-181-0/+1
* Experiments with simulation.Alan Mishchenko2019-10-271-0/+1
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-0/+1
* Improvements to AIG-based quantification.Alan Mishchenko2017-11-261-0/+1
* Experiment with mapping.Alan Mishchenko2017-09-151-0/+1
* Experiments with support minimization.Alan Mishchenko2017-04-271-0/+1
* Adding stand-alone cut computation to GIA.Alan Mishchenko2017-04-051-0/+1
* Code for structural unateness checking.Alan Mishchenko2017-03-181-0/+1
* Clone of the main SAT solver to eneable independent work.Alan Mishchenko2017-03-031-0/+1
* New command &satoko.Alan Mishchenko2017-02-081-0/+1
* Experiments with edge-based mapping.Alan Mishchenko2016-06-151-0/+1
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-2/+0
* Experiments with arithmetic circuits.Alan Mishchenko2016-04-281-0/+1
* Improved algo for edge computation.Alan Mishchenko2016-04-221-0/+1
* Command &esop to convert AIG into ESOP.Alan Mishchenko2016-04-091-0/+1
* Supporting edge information during mapping.Alan Mishchenko2016-04-061-0/+1
* Enabling native Gia visualization in &show.Alan Mishchenko2016-04-031-0/+1
* Windowing for technology mapping.Alan Mishchenko2016-03-291-0/+1
* Adding support for a different bit-blasting of a multiplier and squarer.Alan Mishchenko2016-02-131-0/+1
* Experiments with SAT-based mapping.Alan Mishchenko2016-02-071-0/+1
* Naive LUT packing algorithm (command &pack).Alan Mishchenko2015-09-301-0/+1
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-271-0/+1
* Adding new command &rex2gia.Alan Mishchenko2015-09-221-0/+1
* Diabling pin-permutation in &nf mapper.Alan Mishchenko2015-02-081-0/+1
* Detecting full-adder chains and putting them into white boxes.Alan Mishchenko2014-11-091-0/+1
* Improved QBF solver.Alan Mishchenko2014-10-181-0/+1
* Code restructuring.Alan Mishchenko2014-09-161-3/+4
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-161-0/+1
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-0/+1
* Adding new command &sopb for resource-aware SOP balancing.Alan Mishchenko2014-07-211-0/+1
* Changes and improvements to different packages.Alan Mishchenko2014-06-281-0/+1
* Experiments with balancing.Alan Mishchenko2014-06-221-0/+1