summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDup.c
Commit message (Expand)AuthorAgeFilesLines
* Updating and extending simulation data structures.Alan Mishchenko2020-03-051-1/+4
* Making &gla iterate over property outputs.Alan Mishchenko2019-12-111-0/+24
* Upgrading reparametrization to perform (non-range-equivalent) removal of logic.Alan Mishchenko2019-09-041-0/+56
* Adding command &permute.Alan Mishchenko2019-07-021-0/+45
* Exploring other ways of CEX writing.Alan Mishchenko2019-01-211-2/+5
* Experiment with partitioned &scorr.Alan Mishchenko2019-01-151-0/+185
* Bug fix in deriving names for the miter output.Alan Mishchenko2019-01-101-4/+9
* Preserving output names while deriving a miter.Alan Mishchenko2018-09-201-0/+26
* Preserving names while deriving a miter.Alan Mishchenko2018-09-201-0/+2
* Improvements to AIG-based quantification.Alan Mishchenko2017-11-261-246/+12
* Extracting CSAT interface and several cleanups.Alan Mishchenko2017-11-131-1/+10
* Changes to make GIA structural hashing use a dedicated array instead of pObj-...Alan Mishchenko2017-11-131-3/+3
* Improvements to quantification.Alan Mishchenko2017-11-131-0/+238
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-1/+1
* Improvements to quantification.Alan Mishchenko2017-10-291-0/+77
* Useful AIG duplication procedure.Alan Mishchenko2017-09-051-0/+36
* Several changes to various packages.Alan Mishchenko2017-09-041-0/+21
* Transforming miter by swapping sides.Alan Mishchenko2017-07-231-0/+61
* Synchronizing various data-structures.Alan Mishchenko2017-07-041-0/+25
* Several new procedures for GIA manipulation.Alan Mishchenko2017-06-011-0/+51
* Word-level abstraction engine.Alan Mishchenko2017-02-151-0/+37
* Compiler warnings.Alan Mishchenko2017-02-101-1/+1
* Adding PDR with abstraction.Alan Mishchenko2017-02-101-0/+74
* Updates to arithmetic verification.Alan Mishchenko2017-01-151-0/+65
* Updated to arithmetic verification.Alan Mishchenko2017-01-091-4/+12
* Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-221-13/+99
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-1/+1
* Several corner-case bugs in %read, &cec, and st.Alan Mishchenko2016-07-161-3/+12
* Removing verbose output in &cec and &syn4.Alan Mishchenko2016-07-131-1/+1
* Small changes for today's experiments.Alan Mishchenko2016-06-031-1/+1
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-2/+3
* Switch &miter -y to convert a two-word miter into a dual-output miter.Alan Mishchenko2016-05-201-0/+31
* Bug fix in &demiter.Alan Mishchenko2016-05-161-16/+9
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-111-1/+6
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-59/+431
* Adding option to rehash AIG after mapping.Alan Mishchenko2016-04-271-4/+4
* Procedure to check inductive invariant for Gia package.Alan Mishchenko2016-03-211-0/+61
* Adding switch &miter -x for XORs outputs of two word-level POs.Alan Mishchenko2016-01-061-0/+31
* Better logic cone proprocessor for 'satclp' to reduce runtime.Alan Mishchenko2015-10-251-0/+255
* Adding support for flop init-states in extended AIG.Alan Mishchenko2015-10-041-0/+2
* Fixing corner-cases in 'tempor' and in 'unfold'.Alan Mishchenko2015-09-221-0/+5
* Adding new GIA duplication API.Alan Mishchenko2015-07-211-0/+36
* Do not add reset logic to un-initialized flops without fanout.Alan Mishchenko2015-07-161-1/+6
* Bug fixing in %blast when blasting MUX coming from always-statement.Alan Mishchenko2015-07-071-0/+1
* Sequential word-level simulator for Wlc_Ntk_t (bug fix).Alan Mishchenko2015-06-051-0/+2
* Sequential word-level simulator for Wlc_Ntk_t.Alan Mishchenko2015-06-041-0/+28
* Commenting out useless assertion in choice computation.Alan Mishchenko2015-04-151-1/+1
* Bug fix in saving AIG attributes in &save and &load.Alan Mishchenko2015-03-221-0/+6
* Experiments with SAT-based cube enumeration.Alan Mishchenko2015-03-051-0/+33
* Incorrect assertion added by recent changes.Alan Mishchenko2014-12-191-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 18:30:10 +0000