index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
aiger
/
xaiger.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
write_xaiger: cleanup
Eddie Hung
2020-01-09
1
-17
/
+15
*
write_xaiger: cope with abc9_arrival as string of ints
Eddie Hung
2020-01-09
1
-8
/
+21
*
Stray log_module
Eddie Hung
2020-01-06
1
-2
/
+0
*
Revert "write_xaiger to pad, not abc9_ops -prep_holes"
Eddie Hung
2020-01-06
1
-16
/
+10
*
Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor
Eddie Hung
2020-01-06
1
-56
/
+33
|
\
|
*
write_xaiger: make more robust, update doc
Eddie Hung
2020-01-06
1
-29
/
+14
|
*
Restore write_xaiger's holes_mode since port_id order causes QoR
Eddie Hung
2020-01-03
1
-27
/
+19
|
*
Cleanup
Eddie Hung
2020-01-02
1
-2
/
+1
|
*
write_xaiger: get rid of external_bits dict
Eddie Hung
2020-01-02
1
-1
/
+1
*
|
write_xaiger to pad, not abc9_ops -prep_holes
Eddie Hung
2020-01-05
1
-10
/
+16
*
|
Fix when -dff not given
Eddie Hung
2020-01-04
1
-14
/
+10
*
|
Call -prep_holes before aigmap; fix topo ordering
Eddie Hung
2020-01-03
1
-8
/
+1
*
|
WIP
Eddie Hung
2020-01-03
1
-56
/
+0
*
|
Preserve topo ordering from -prep_holes to write_xaiger
Eddie Hung
2020-01-03
1
-159
/
+77
*
|
WIP
Eddie Hung
2020-01-03
1
-67
/
+8
*
|
WIP
Eddie Hung
2020-01-03
1
-23
/
+141
*
|
Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor
Eddie Hung
2020-01-02
1
-145
/
+128
|
\
|
|
*
abc9 -keepff -> -dff; refactor dff operations
Eddie Hung
2020-01-02
1
-89
/
+47
|
*
Get rid of (* abc9_keep *) in write_xaiger too
Eddie Hung
2020-01-01
1
-15
/
+18
|
*
attributes.count() -> get_bool_attribute()
Eddie Hung
2020-01-01
1
-1
/
+1
|
*
parse_xaiger to not take box_lookup
Eddie Hung
2019-12-31
1
-2
/
+13
|
*
Do not re-order carry chain ports, just precompute iteration order
Eddie Hung
2019-12-31
1
-22
/
+32
|
*
write_xaiger: be more precise with ff_bits, remove ff_aig_map
Eddie Hung
2019-12-31
1
-21
/
+19
|
*
Retry getting rid of write_xaiger's holes_mode
Eddie Hung
2019-12-31
1
-81
/
+41
|
*
Revert "Get rid of holes_mode"
Eddie Hung
2019-12-30
1
-35
/
+70
|
*
Get rid of holes_mode
Eddie Hung
2019-12-30
1
-70
/
+35
*
|
Move Pass::call() out of abc9_ops into abc9
Eddie Hung
2019-12-30
1
-0
/
+4
*
|
Cleanup
Eddie Hung
2019-12-30
1
-7
/
+3
*
|
Rid unnecessary if
Eddie Hung
2019-12-30
1
-13
/
+11
*
|
Get rid of holes_mode
Eddie Hung
2019-12-30
1
-70
/
+35
*
|
Add abc9_ops -prep_holes
Eddie Hung
2019-12-30
1
-132
/
+8
|
/
*
write_xaiger to use scratchpad for stats; cleanup abc9
Eddie Hung
2019-12-30
1
-17
/
+5
*
Remove unused
Eddie Hung
2019-12-30
1
-5
/
+0
*
Call "proc" if processes inside whiteboxes
Eddie Hung
2019-12-30
1
-1
/
+1
*
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2019-12-30
1
-21
/
+27
|
\
|
*
write_xaiger: inherit port ordering from original module
Eddie Hung
2019-12-27
1
-5
/
+16
|
*
Revert "Merge pull request #1598 from YosysHQ/revert-1588-eddie/xaiger_cleanup"
Eddie Hung
2019-12-27
1
-19
/
+27
|
*
Merge branch 'master' of github.com:YosysHQ/yosys
Eddie Hung
2019-12-27
1
-27
/
+19
|
|
\
|
|
*
Revert "write_xaiger: only instantiate each whitebox cell type once"
David Shah
2019-12-27
1
-27
/
+19
|
*
|
write_xaiger: simplify c{i,o}_bits
Eddie Hung
2019-12-27
1
-12
/
+6
|
|
/
|
*
write_xaiger: only instantiate each whitebox cell type once
Eddie Hung
2019-12-20
1
-19
/
+27
|
*
Revert "Optimise write_xaiger"
Eddie Hung
2019-12-20
1
-24
/
+21
|
*
Stray newline
Eddie Hung
2019-12-06
1
-1
/
+0
|
*
write_xaiger to inst each cell type once, do not call techmap/aigmap
Eddie Hung
2019-12-06
1
-21
/
+25
|
*
Revert "Fold loop"
Eddie Hung
2019-11-27
1
-3
/
+6
|
*
latch -> box
Eddie Hung
2019-11-26
1
-1
/
+1
|
*
Fold loop
Eddie Hung
2019-11-26
1
-6
/
+3
|
*
Do not sigmap keep bits inside write_xaiger
Eddie Hung
2019-11-26
1
-1
/
+1
|
*
xaiger: do not promote output wires
Eddie Hung
2019-11-26
1
-5
/
+0
*
|
Add "synth_xilinx -dff" option, cleanup abc9
Eddie Hung
2019-12-30
1
-2
/
+3
[next]