summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDup.c
Commit message (Expand)AuthorAgeFilesLines
* New switch in command &st for adding buffers.Alan Mishchenko2022-07-311-0/+21
* Bug fix in &uif.Alan Mishchenko2022-04-241-2/+2
* Supporting multiple box types in &uif.Alan Mishchenko2022-04-241-17/+36
* Bug fix in &uif.Alan Mishchenko2022-04-241-4/+12
* Experiments with word-level data structures.Alan Mishchenko2022-04-221-0/+138
* Experiments with word-level data structures.Alan Mishchenko2022-04-041-7/+83
* Experiments with word-level data structures.Alan Mishchenko2022-01-211-0/+14
* Adding new command &icec.Alan Mishchenko2021-12-171-0/+64
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-20 16:00:11 +0000