projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
Fix gcc invalidation behaviour for write_aiger
2019-04-10
Eddie Hung
Revert "abc -dff now implies "-D 0" otherwise retiming...
commit
|
commitdiff
|
tree
2019-04-10
Eddie Hung
Revert ""&nf -D 0" fails => use "-D 1" instead"
commit
|
commitdiff
|
tree
2019-04-10
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2019-04-08
Eddie Hung
Fix a few typos
commit
|
commitdiff
|
tree
2019-04-08
Eddie Hung
$_XILINX_SHREG_ to preserve src attribute
commit
|
commitdiff
|
tree
2019-04-08
Eddie Hung
Update CHANGELOG
commit
|
commitdiff
|
tree
2019-04-08
Eddie Hung
Merge branch 'undo_pr895' into xc7srl
commit
|
commitdiff
|
tree
2019-04-08
Eddie Hung
Undo #895 by instead setting an attribute
commit
|
commitdiff
|
tree
2019-04-08
Eddie Hung
Cope with undoing #895
commit
|
commitdiff
|
tree
2019-04-08
Eddie Hung
Revert "Remove handling for $pmux, since #895"
commit
|
commitdiff
|
tree
2019-03-09
Eddie Hung
Update help message for -chparam
commit
|
commitdiff
|
tree
2019-03-09
Eddie Hung
Add -chparam option to verific command
commit
|
commitdiff
|
tree
2019-03-09
Eddie Hung
Fix spelling
commit
|
commitdiff
|
tree