index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
gia
/
giaMan.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Experiments with CEC for arithmetic circuits.
Alan Mishchenko
2016-05-11
1
-0
/
+1
*
Experimental algorithm for edge optimization.
Alan Mishchenko
2016-04-13
1
-0
/
+2
*
Supporting edge information during mapping.
Alan Mishchenko
2016-04-11
1
-1
/
+1
*
Supporting edge information during mapping.
Alan Mishchenko
2016-04-06
1
-0
/
+26
*
Windowing for technology mapping.
Alan Mishchenko
2016-03-30
1
-0
/
+1
*
Windowing for technology mapping.
Alan Mishchenko
2016-03-29
1
-1
/
+1
*
Adding support for black boxes in extended AIG.
Alan Mishchenko
2015-10-04
1
-0
/
+2
*
Adding support for flop init-states in extended AIG.
Alan Mishchenko
2015-10-04
1
-0
/
+1
*
New constraint manager and memory reporting 'ps'.
Alan Mishchenko
2015-09-08
1
-0
/
+7
*
Support for representing programmable cell configuration data.
Alan Mishchenko
2015-03-08
1
-0
/
+2
*
Diabling pin-permutation in &nf mapper.
Alan Mishchenko
2015-02-08
1
-0
/
+1
*
Integrating barrier buffers.
Alan Mishchenko
2014-12-08
1
-0
/
+2
*
Improvements to handling boxes and flops.
Alan Mishchenko
2014-11-25
1
-1
/
+1
*
Adding integrity check for boxes and flops.
Alan Mishchenko
2014-11-25
1
-4
/
+17
*
Improvements to handling boxes and flops.
Alan Mishchenko
2014-11-25
1
-1
/
+1
*
Improvements to handling boxes and flops.
Alan Mishchenko
2014-11-24
1
-5
/
+7
*
Fix in reading flop classes.
Alan Mishchenko
2014-11-21
1
-8
/
+7
*
Fix in reading flop classes.
Alan Mishchenko
2014-11-21
1
-1
/
+7
*
Integrating mfs2 package to work with boxes.
Alan Mishchenko
2014-11-16
1
-0
/
+1
*
Generation of barrier-buffers for hierarchical design.
Alan Mishchenko
2014-11-10
1
-0
/
+1
*
Improvements to DSD balancing.
Alan Mishchenko
2014-08-27
1
-1
/
+1
*
Improvements to the timing manager.
Alan Mishchenko
2014-08-25
1
-2
/
+4
*
Adding support for standard-cell mapping.
Alan Mishchenko
2014-07-28
1
-0
/
+1
*
Improvements to representation of choices.
Alan Mishchenko
2014-07-01
1
-4
/
+2
*
Improvements to power-aware mapping.
Alan Mishchenko
2014-06-23
1
-5
/
+9
*
Experiments with balancing.
Alan Mishchenko
2014-06-22
1
-1
/
+1
*
New tools for profiling verification miters.
Alan Mishchenko
2014-06-20
1
-0
/
+39
*
Various modifications.
Alan Mishchenko
2014-06-12
1
-24
/
+5
*
Various modifications.
Alan Mishchenko
2014-06-10
1
-3
/
+18
*
Adding CEC command &splitprove.
Alan Mishchenko
2014-06-04
1
-0
/
+1
*
Adding color to sizing stats.
Alan Mishchenko
2014-04-19
1
-0
/
+7
*
Adding color to mapping stats.
Alan Mishchenko
2014-04-19
1
-0
/
+17
*
Adding print-out of average level.
Alan Mishchenko
2014-04-19
1
-1
/
+4
*
Experiments with recent ideas.
Alan Mishchenko
2014-03-20
1
-6
/
+14
*
Experiments with recent ideas.
Alan Mishchenko
2014-03-19
1
-0
/
+39
*
Experiments with recent ideas.
Alan Mishchenko
2014-03-19
1
-0
/
+1
*
Passing file name for stats print-out in &ps.
Alan Mishchenko
2014-03-09
1
-1
/
+1
*
Improving switching activity computation.
Alan Mishchenko
2013-12-26
1
-0
/
+1
*
New BMC engine.
Alan Mishchenko
2013-10-27
1
-1
/
+1
*
Multi-output property solver.
Alan Mishchenko
2013-10-23
1
-0
/
+2
*
Towards better Boolean matching.
Alan Mishchenko
2013-10-05
1
-1
/
+1
*
New logic sharing extraction.
Alan Mishchenko
2013-09-29
1
-1
/
+1
*
New logic sharing extraction.
Alan Mishchenko
2013-09-28
1
-1
/
+9
*
Changed printf to Abc_Print in giaMan.c
Niklas Een
2013-09-27
1
-44
/
+43
*
Improvements to the &ps.
Alan Mishchenko
2013-09-08
1
-0
/
+2
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
1
-6
/
+6
*
Unifying parameters for the &ps command.
Alan Mishchenko
2013-09-05
1
-6
/
+7
*
Updates for the new BMC engine.
Alan Mishchenko
2013-09-05
1
-0
/
+21
*
Unifying representation of mapping in GIA.
Alan Mishchenko
2013-06-25
1
-3
/
+3
*
Counter-example depth minimization.
Alan Mishchenko
2013-05-22
1
-1
/
+5
[next]