projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Update example for GW1NR-9
[yosys.git]
/
backends
/
2019-07-03
Eddie Hung
write_xaiger to treat unknown cell connections as keep-s
tree
|
commitdiff
2019-06-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-28
Eddie Hung
Merge pull request #1098 from YosysHQ/xaig
tree
|
commitdiff
2019-06-28
Eddie Hung
Add generic __builtin_bswap32 function
tree
|
commitdiff
2019-06-28
Eddie Hung
Also fix write_aiger for UB
tree
|
commitdiff
2019-06-28
Eddie Hung
Fix more potential for undefined behaviour due to conta...
tree
|
commitdiff
2019-06-27
Eddie Hung
Refactor for one "abc_carry" attribute on module
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge origin/master
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge pull request #1138 from YosysHQ/koriakin/xc7nocar...
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/clifford/fix1132...
tree
|
commitdiff
2019-06-27
Bogdan Vukobratovic
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-27
Eddie Hung
Improve debugging message for comb loops
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'xc7nocarrymux' of https://github.com...
tree
|
commitdiff
2019-06-26
Clifford Wolf
Improve BTOR2 handling of undriven wires
tree
|
commitdiff
2019-06-26
Clifford Wolf
Escape scope names starting with dollar sign in smtio.py
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-25
Clifford Wolf
Merge pull request #1130 from YosysHQ/eddie/fix710
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge pull request #1129 from YosysHQ/eddie/ram32x1d
tree
|
commitdiff
2019-06-25
Clifford Wolf
Merge pull request #1075 from YosysHQ/eddie/muxpack
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-24
Eddie Hung
Merge remote-tracking branch 'origin/eddie/ram32x1d...
tree
|
commitdiff
2019-06-24
Clifford Wolf
Merge pull request #1124 from mmicko/json_ports
tree
|
commitdiff
2019-06-23
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-06-22
Eddie Hung
Carry in/out box ordering now move to end, not swap...
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge branch 'master' into xaig
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-22
Eddie Hung
Replace assert with error message
tree
|
commitdiff
2019-06-22
Eddie Hung
Add log_push()/log_pop() inside write_xaiger
tree
|
commitdiff
2019-06-22
Eddie Hung
Add log_push()/log_pop() inside write_xaiger
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge pull request #1108 from YosysHQ/clifford/fix1091
tree
|
commitdiff
2019-06-21
Eddie Hung
Replace assert with error message
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/eddie/muxpack...
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge branch 'xc7mux' into xc7mux_wip
tree
|
commitdiff
2019-06-21
Eddie Hung
One more workaround for gcc-4.8
tree
|
commitdiff
2019-06-21
Eddie Hung
One more workaround for gcc-4.8
tree
|
commitdiff
2019-06-21
Eddie Hung
No point logging constant bit
tree
|
commitdiff
2019-06-21
Eddie Hung
Move comment
tree
|
commitdiff
2019-06-21
Eddie Hung
Revert "Stab in the dark with aig_map from dict ->...
tree
|
commitdiff
2019-06-21
Eddie Hung
No point logging constant bit
tree
|
commitdiff
2019-06-21
Eddie Hung
Move comment
tree
|
commitdiff
2019-06-21
Eddie Hung
Stab in the dark with aig_map from dict -> std::map
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge branch 'master' into eddie/muxpack
tree
|
commitdiff
2019-06-21
Miodrag Milanovic
Fix json formatting
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/clifford/fix1091...
tree
|
commitdiff
2019-06-21
Miodrag Milanovic
Add upto and offset to JSON ports
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge pull request #1085 from YosysHQ/eddie/shregmap_im...
tree
|
commitdiff
2019-06-21
Clifford Wolf
Merge pull request #1122 from YosysHQ/clifford/jsonports
tree
|
commitdiff
2019-06-21
Clifford Wolf
Added JSON upto and offset
tree
|
commitdiff
2019-06-21
Clifford Wolf
Merge pull request #1117 from bwidawsk/more-home
tree
|
commitdiff
2019-06-21
Clifford Wolf
Merge pull request #1119 from YosysHQ/eddie/fix1118
tree
|
commitdiff
2019-06-21
Clifford Wolf
Merge pull request #1116 from YosysHQ/eddie/fix1115
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix spacing
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix spacing
tree
|
commitdiff
2019-06-21
Eddie Hung
Refactor bit2aig for less lookups
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix gcc invalidation behaviour for write_aiger
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix gcc error, due to dict invalidation during recursion
tree
|
commitdiff
2019-06-21
Eddie Hung
Refactor bit2aig for less lookups
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix gcc invalidation behaviour for write_aiger
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix gcc invalidation behaviour for write_aiger
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix gcc error, due to dict invalidation during recursion
tree
|
commitdiff
2019-06-21
Eddie Hung
write_xaiger to flatten 1'bx/1'bz to 1'b0 again
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix different abc9 test
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix broken abc9.v test due to inout being 1'bx
tree
|
commitdiff
2019-06-21
Eddie Hung
write_xaiger to flatten 1'bx/1'bz to 1'b0 again
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix different abc9 test
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix broken abc9.v test due to inout being 1'bx
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-21
Eddie Hung
Handle COs driven by 1'bx
tree
|
commitdiff
2019-06-21
Eddie Hung
write_xaiger to skip POs driven by 1'bx
tree
|
commitdiff
2019-06-20
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1115...
tree
|
commitdiff
2019-06-20
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1118...
tree
|
commitdiff
2019-06-20
Eddie Hung
Handle COs driven by 1'bx
tree
|
commitdiff
2019-06-20
Eddie Hung
write_xaiger to skip POs driven by 1'bx
tree
|
commitdiff
2019-06-20
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1115...
tree
|
commitdiff
2019-06-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-20
Clifford Wolf
Merge branch 'master' of https://github.com/bogdanvuk...
tree
|
commitdiff
2019-06-20
Clifford Wolf
Merge branch 'unpacked_arrays' of https://github.com...
tree
|
commitdiff
2019-06-19
Clifford Wolf
Merge pull request #1100 from bwidawsk/home
tree
|
commitdiff
2019-06-18
Ben Widawsky
Support filename rewrite in backends
tree
|
commitdiff
2019-06-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-06-18
Clifford Wolf
Merge pull request #1086 from udif/pr_elab_sys_tasks2
tree
|
commitdiff
2019-06-16
Clifford Wolf
Add timescale and generated-by header to yosys-smtbmc...
tree
|
commitdiff
next