index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
gia
/
giaAiger.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Preserving additional AIG manager when dandling nodes are present.
Alan Mishchenko
2020-01-08
1
-0
/
+3
*
Accidentally losing flop info while rehashing AIG.
Alan Mishchenko
2019-12-03
1
-5
/
+9
*
Preserving boxes after &write.
Alan Mishchenko
2019-07-25
1
-6
/
+2
*
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...
Alan Mishchenko
2019-03-05
1
-11
/
+11
*
Exploring other ways of CEX writing.
Alan Mishchenko
2019-01-21
1
-1
/
+1
*
Adding switch &w -n to modify the comment section of the AIGER file written.
Alan Mishchenko
2018-11-21
1
-3
/
+2
*
Adding an option to write new-line after the comment symbol when dumping an A...
Alan Mishchenko
2018-11-20
1
-2
/
+7
*
Enabling AIGs without structural hashing.
Alan Mishchenko
2016-05-20
1
-1
/
+1
*
Enabling AIGs without structural hashing.
Alan Mishchenko
2016-05-20
1
-1
/
+1
*
Enabling AIGs without structural hashing.
Alan Mishchenko
2016-05-20
1
-9
/
+10
*
Adding option to rehash AIG after mapping.
Alan Mishchenko
2016-04-27
1
-1
/
+1
*
Supporting edge information during mapping.
Alan Mishchenko
2016-04-11
1
-12
/
+12
*
Supporting edges in delay-optimization in &satlut.
Alan Mishchenko
2016-04-07
1
-2
/
+7
*
Supporting edge information during mapping.
Alan Mishchenko
2016-04-06
1
-0
/
+28
*
Adding support for flop init-states in extended AIG.
Alan Mishchenko
2015-10-04
1
-0
/
+23
*
Temp change in the AIG reader and minor tuning.
Alan Mishchenko
2015-07-09
1
-2
/
+2
*
Temp change in the AIG reader and minor tuning.
Alan Mishchenko
2015-07-08
1
-1
/
+2
*
Changing the way extension 'b' is written.
Alan Mishchenko
2015-05-25
1
-3
/
+7
*
Compiler warnings.
Alan Mishchenko
2015-03-08
1
-1
/
+1
*
Compiler warnings.
Alan Mishchenko
2015-03-08
1
-1
/
+1
*
Support for representing programmable cell configuration data.
Alan Mishchenko
2015-03-08
1
-0
/
+24
*
Bug fix in reader/writer of 'r' section.
Alan Mishchenko
2015-03-05
1
-2
/
+5
*
Integrating barrier buffers.
Alan Mishchenko
2014-12-08
1
-2
/
+7
*
Fix in reading flop classes.
Alan Mishchenko
2014-11-21
1
-6
/
+9
*
Fix in reading flop classes.
Alan Mishchenko
2014-11-21
1
-8
/
+23
*
Fix in reading flop classes.
Alan Mishchenko
2014-11-21
1
-6
/
+8
*
Enabling AIGs with boxes for word-level and sequential designs.
Alan Mishchenko
2014-11-13
1
-4
/
+2
*
Adding out-of-bounds checks to AIGER readers.
Alan Mishchenko
2014-09-28
1
-1
/
+1
*
Updating timing info during normalization.
Alan Mishchenko
2014-09-10
1
-1
/
+1
*
Updating timing info during normalization.
Alan Mishchenko
2014-09-10
1
-1
/
+3
*
Improving GIA interfaces for some procedures.
Alan Mishchenko
2014-08-25
1
-1
/
+1
*
Propagating timing support to the new synthesis/mapping commands.
Alan Mishchenko
2014-08-20
1
-4
/
+5
*
Improvements to representation of choices.
Alan Mishchenko
2014-07-01
1
-2
/
+2
*
Temporarily (?) undoing previous change because it is incompatible with old A...
Alan Mishchenko
2013-09-05
1
-3
/
+4
*
Improved unrolling manager.
Alan Mishchenko
2013-09-05
1
-2
/
+2
*
Adding new line (\n) after 'c' at the beginning of the comment section in AIG...
Alan Mishchenko
2013-08-29
1
-1
/
+4
*
Unifying representation of mapping in GIA.
Alan Mishchenko
2013-06-25
1
-9
/
+6
*
Adding support of XOR/MUX in GIA.
Alan Mishchenko
2013-05-17
1
-0
/
+1
*
Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.
Alan Mishchenko
2013-05-17
1
-7
/
+2
*
Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.
Alan Mishchenko
2013-05-13
1
-1
/
+1
*
C++ compiler errors.
Alan Mishchenko
2013-05-04
1
-2
/
+2
*
SAT sweeping under constraints.
Alan Mishchenko
2013-04-27
1
-2
/
+1
*
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ...
Alan Mishchenko
2013-04-18
1
-0
/
+1
*
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ...
Alan Mishchenko
2013-04-17
1
-7
/
+45
*
Fixing the format mismatch in writing mapped GIA.
Alan Mishchenko
2013-04-02
1
-5
/
+9
*
Improvements to the hierarchy/timing manager.
Alan Mishchenko
2013-03-05
1
-11
/
+12
*
Integrating sweeping information.
Alan Mishchenko
2013-02-23
1
-5
/
+8
*
Integrating sweeping information.
Alan Mishchenko
2013-02-23
1
-1
/
+16
*
Integrating sweeping information.
Alan Mishchenko
2013-02-20
1
-12
/
+0
*
Integrating packing information.
Alan Mishchenko
2013-02-17
1
-2
/
+4
[next]