index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
gia
/
giaDup.c
Commit message (
Collapse
)
Author
Age
Files
Lines
*
New switch in command &st for adding buffers.
Alan Mishchenko
2022-07-31
1
-0
/
+21
|
*
Bug fix in &uif.
Alan Mishchenko
2022-04-24
1
-2
/
+2
|
*
Supporting multiple box types in &uif.
Alan Mishchenko
2022-04-24
1
-17
/
+36
|
*
Bug fix in &uif.
Alan Mishchenko
2022-04-24
1
-4
/
+12
|
*
Experiments with word-level data structures.
Alan Mishchenko
2022-04-22
1
-0
/
+138
|
*
Experiments with word-level data structures.
Alan Mishchenko
2022-04-04
1
-7
/
+83
|
*
Experiments with word-level data structures.
Alan Mishchenko
2022-01-21
1
-0
/
+14
|
*
Adding new command &icec.
Alan Mishchenko
2021-12-17
1
-0
/
+64
|
*
Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.
Alan Mishchenko
2021-09-26
1
-3
/
+3
|
*
Various changes.
Alan Mishchenko
2021-09-02
1
-0
/
+46
|
*
Support of pair-wise miter and other changes.
Alan Mishchenko
2021-08-22
1
-0
/
+38
|
*
Extending &trim to trim structurally equivalent primary outputs.
Alan Mishchenko
2021-08-19
1
-0
/
+25
|
*
Adding node ordering options to command &dfs.
Alan Mishchenko
2021-08-05
1
-6
/
+31
|
*
Updating LUT synthesis code.
Alan Mishchenko
2021-05-16
1
-0
/
+2
|
*
An option to extend the number of primary inputs.
Alan Mishchenko
2021-03-28
1
-0
/
+32
|
*
Integration with several commands.
Alan Mishchenko
2020-11-19
1
-1
/
+1
|
*
Merge pull request #65 from FPGeh/fix_seq_synth
alanminko
2020-04-30
1
-5
/
+7
|
\
|
|
|
|
Gia_ManDupPermFlop to behave as Gia_ManDupPerm
|
*
Gia_ManDupPermFlop to behave as Gia_ManDupPerm
Eddie Hung
2020-01-23
1
-5
/
+7
|
|
|
|
|
|
|
|
Fixes sequential synthesis (e.g. &scl) for multiple domains
*
|
Updating and extending simulation data structures.
Alan Mishchenko
2020-03-05
1
-1
/
+4
|
/
*
Making &gla iterate over property outputs.
Alan Mishchenko
2019-12-11
1
-0
/
+24
|
*
Upgrading reparametrization to perform (non-range-equivalent) removal of logic.
Alan Mishchenko
2019-09-04
1
-0
/
+56
|
*
Adding command &permute.
Alan Mishchenko
2019-07-02
1
-0
/
+45
|
*
Exploring other ways of CEX writing.
Alan Mishchenko
2019-01-21
1
-2
/
+5
|
*
Experiment with partitioned &scorr.
Alan Mishchenko
2019-01-15
1
-0
/
+185
|
*
Bug fix in deriving names for the miter output.
Alan Mishchenko
2019-01-10
1
-4
/
+9
|
*
Preserving output names while deriving a miter.
Alan Mishchenko
2018-09-20
1
-0
/
+26
|
*
Preserving names while deriving a miter.
Alan Mishchenko
2018-09-20
1
-0
/
+2
|
*
Improvements to AIG-based quantification.
Alan Mishchenko
2017-11-26
1
-246
/
+12
|
*
Extracting CSAT interface and several cleanups.
Alan Mishchenko
2017-11-13
1
-1
/
+10
|
*
Changes to make GIA structural hashing use a dedicated array instead of ↵
Alan Mishchenko
2017-11-13
1
-3
/
+3
|
|
|
|
pObj->Value.
*
Improvements to quantification.
Alan Mishchenko
2017-11-13
1
-0
/
+238
|
*
Profiling quantification and other changes.
Alan Mishchenko
2017-11-06
1
-1
/
+1
|
*
Improvements to quantification.
Alan Mishchenko
2017-10-29
1
-0
/
+77
|
*
Useful AIG duplication procedure.
Alan Mishchenko
2017-09-05
1
-0
/
+36
|
*
Several changes to various packages.
Alan Mishchenko
2017-09-04
1
-0
/
+21
|
*
Transforming miter by swapping sides.
Alan Mishchenko
2017-07-23
1
-0
/
+61
|
*
Synchronizing various data-structures.
Alan Mishchenko
2017-07-04
1
-0
/
+25
|
*
Several new procedures for GIA manipulation.
Alan Mishchenko
2017-06-01
1
-0
/
+51
|
*
Word-level abstraction engine.
Alan Mishchenko
2017-02-15
1
-0
/
+37
|
*
Compiler warnings.
Alan Mishchenko
2017-02-10
1
-1
/
+1
|
*
Adding PDR with abstraction.
Alan Mishchenko
2017-02-10
1
-0
/
+74
|
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-15
1
-0
/
+65
|
*
Updated to arithmetic verification.
Alan Mishchenko
2017-01-09
1
-4
/
+12
|
*
Several changes in arithmetic circuit manipulation.
Alan Mishchenko
2016-12-22
1
-13
/
+99
|
*
Adding new command 'dump_equiv'.
Alan Mishchenko
2016-07-21
1
-1
/
+1
|
*
Several corner-case bugs in %read, &cec, and st.
Alan Mishchenko
2016-07-16
1
-3
/
+12
|
*
Removing verbose output in &cec and &syn4.
Alan Mishchenko
2016-07-13
1
-1
/
+1
|
*
Small changes for today's experiments.
Alan Mishchenko
2016-06-03
1
-1
/
+1
|
*
Enabling AIGs without structural hashing.
Alan Mishchenko
2016-05-20
1
-2
/
+3
|
*
Switch &miter -y to convert a two-word miter into a dual-output miter.
Alan Mishchenko
2016-05-20
1
-0
/
+31
|
[next]