index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
Commit message (
Expand
)
Author
Age
Files
Lines
*
Improve yosys-smtbmc "solver not found" handling
Claire Wolf
2020-01-27
1
-1
/
+5
*
Merge pull request #1629 from YosysHQ/mwk/edif-z
Claire Wolf
2020-01-21
1
-0
/
+2
|
\
|
*
edif: Just ignore connections to 'z
Marcin Kościelnicki
2020-01-13
1
-0
/
+2
*
|
Merge pull request #1623 from YosysHQ/mmicko/edif_attr
Miodrag Milanović
2020-01-14
1
-25
/
+37
|
\
\
|
|
/
|
/
|
|
*
remove whitespace
Miodrag Milanovic
2020-01-10
1
-1
/
+1
|
*
Export wire properties as well in EDIF
Miodrag Milanovic
2020-01-10
1
-26
/
+38
*
|
write_xaiger: create holes_sigmap before modifications
Eddie Hung
2020-01-11
1
-1
/
+2
*
|
write_xaiger: sort holes by offset as well as port_id
Eddie Hung
2020-01-11
1
-1
/
+2
*
|
write_xaiger: cleanup holes generation
Eddie Hung
2020-01-08
1
-80
/
+89
*
|
write_xaiger: holes PIs only if whitebox
Eddie Hung
2020-01-08
1
-13
/
+18
|
/
*
write_xaiger: make more robust, update doc
Eddie Hung
2020-01-06
1
-29
/
+14
*
write_aiger: make more robust
Eddie Hung
2020-01-06
1
-0
/
+8
*
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
*
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
*
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
*
|
Really fix it!
Eddie Hung
2019-12-27
1
-10
/
+7
*
|
write_xaiger: fix arrival times for non boxes
Eddie Hung
2019-12-27
1
-18
/
+25
*
|
write_xaiger to opt instead of just clean whiteboxes
Eddie Hung
2019-12-23
1
-1
/
+1
*
|
Cleanup xaiger, remove unnecessary complexity with inout
Eddie Hung
2019-12-17
1
-61
/
+20
*
|
Do not sigmap
Eddie Hung
2019-12-17
1
-1
/
+1
*
|
Revert "Use sigmap signal"
Eddie Hung
2019-12-17
1
-1
/
+1
*
|
Use sigmap signal
Eddie Hung
2019-12-16
1
-1
/
+1
[next]