summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDup.c
Commit message (Expand)AuthorAgeFilesLines
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-3/+3
* Various changes.Alan Mishchenko2021-09-021-0/+46
* Support of pair-wise miter and other changes.Alan Mishchenko2021-08-221-0/+38
* Extending &trim to trim structurally equivalent primary outputs.Alan Mishchenko2021-08-191-0/+25
* Adding node ordering options to command &dfs.Alan Mishchenko2021-08-051-6/+31
* Updating LUT synthesis code.Alan Mishchenko2021-05-161-0/+2
* An option to extend the number of primary inputs.Alan Mishchenko2021-03-281-0/+32
* Integration with several commands.Alan Mishchenko2020-11-191-1/+1
* Merge pull request #65 from FPGeh/fix_seq_synthalanminko2020-04-301-5/+7
|\
| * Gia_ManDupPermFlop to behave as Gia_ManDupPermEddie Hung2020-01-231-5/+7
* | 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 18:56:08 +0000