projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #2365 from zachjs/const-arg-loop-split-type
[yosys.git]
/
tests
/
various
/
2020-09-01
clairexen
Merge pull request #2365 from zachjs/const-arg-loop...
tree
|
commitdiff
2020-08-29
Zachary Snow
Fix constant args used with function ports split across...
tree
|
commitdiff
2020-08-22
clairexen
Merge pull request #2349 from nmoroze/smt2-bugfix
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2347 from YosysHQ/mwk/techmap-shift...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2344 from YosysHQ/mwk/opt_share...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2337 from YosysHQ/mwk/clean-keep...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2333 from YosysHQ/mwk/peepopt-shift...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2327 from YosysHQ/mwk/techmap-const...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2319 from YosysHQ/mwk/techmap-cellt...
tree
|
commitdiff
2020-08-19
clairexen
Merge pull request #2122 from PeterCrozier/struct_array2
tree
|
commitdiff
2020-08-18
clairexen
Merge pull request #2339 from zachjs/display-format-0s
tree
|
commitdiff
2020-08-18
clairexen
Merge pull request #2338 from zachjs/const-branch-finish
tree
|
commitdiff
2020-08-18
clairexen
Merge pull request #2317 from zachjs/expand-genblock
tree
|
commitdiff
2020-08-18
Claire Wolf
Merge branch 'zachjs-const-func-block-var'
tree
|
commitdiff
2020-08-18
Claire Wolf
Merge branch 'const-func-block-var' of https://github...
tree
|
commitdiff
2020-08-18
clairexen
Merge pull request #2281 from zachjs/const-real
tree
|
commitdiff
2020-08-07
Marcelina Kościelnicka
peepopt: Remove now-redundant dffmux pattern.
tree
|
commitdiff
2020-07-28
clairexen
Merge pull request #2301 from zachjs/for-loop-errors
tree
|
commitdiff
2020-07-28
clairexen
Merge pull request #2306 from YosysHQ/mwk/equiv_induct...
tree
|
commitdiff
2020-07-27
Marcelina Kościelnicka
equiv_induct: Fix up assumption for $equiv cells in...
tree
|
commitdiff
2020-07-26
clairexen
Merge pull request #2299 from zachjs/arg-loop
tree
|
commitdiff
2020-07-25
Zachary Snow
Allow blocks with declarations within constant functions
tree
|
commitdiff
2020-07-25
Zachary Snow
Avoid generating wires for function args which are...
tree
|
commitdiff
2020-07-20
Zachary Snow
Allow reals as constant function parameters
tree
|
commitdiff
2020-07-16
clairexen
Merge pull request #2229 from Ravenslofty/sf2_remove_sf...
tree
|
commitdiff
2020-07-16
clairexen
Merge pull request #2273 from whitequark/write-verilog...
tree
|
commitdiff
2020-07-16
clairexen
Merge pull request #2272 from whitequark/write-verilog-sv
tree
|
commitdiff
2020-07-16
Miodrag Milanović
Merge pull request #2238 from YosysHQ/mwk/dfflegalize...
tree
|
commitdiff
2020-07-16
Miodrag Milanović
Merge pull request #2226 from YosysHQ/mwk/nuke-efinix...
tree
|
commitdiff
2020-07-16
whitequark
Merge pull request #2270 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2020-07-15
clairexen
Merge pull request #2257 from antmicro/fix-conflicts
tree
|
commitdiff
2020-07-10
Kamil Rakoczy
Revert "Revert PRs #2203 and #2244."
tree
|
commitdiff
2020-07-09
whitequark
Merge pull request #2255 from whitequark/bison-Werror...
tree
|
commitdiff
2020-07-09
whitequark
Revert PRs #2203 and #2244.
tree
|
commitdiff
2020-07-09
clairexen
Merge pull request #2244 from antmicro/logic
tree
|
commitdiff
2020-07-06
Kamil Rakoczy
Add logic param and integer bad syntax tests
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2132 from YosysHQ/eddie/verific_initial
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2186 from YosysHQ/mwk/dfflegalize
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2195 from YosysHQ/mwk/manual-gates
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2203 from antmicro/fix-grammar
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2179 from splhack/static-cast
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2138 from boqwxp/qbfsat-oflag
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2206 from boqwxp/qbfsat-fix-name...
tree
|
commitdiff
2020-06-30
clairexen
Merge pull request #2136 from zachjs/master
tree
|
commitdiff
2020-06-29
Zachary Snow
Allow constant function calls in for loops and generate...
tree
|
commitdiff
2020-06-26
Kamil Rakoczy
Add signed/unsigned tests
tree
|
commitdiff
2020-06-19
whitequark
Merge pull request #2173 from whitequark/use-cxx11...
tree
|
commitdiff
2020-06-18
whitequark
Use C++11 final/override keywords.
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2085 from rswarbrick/select
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2089 from rswarbrick/modports
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2105 from whitequark/split-flatten...
tree
|
commitdiff
2020-06-05
whitequark
Merge pull request #2113 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2020-06-05
N. Engelhardt
Merge pull request #2109 from nakengelhardt/btor_intern...
tree
|
commitdiff
2020-06-04
clairexen
Merge pull request #2041 from PeterCrozier/struct
tree
|
commitdiff
2020-06-04
clairexen
Merge pull request #2099 from Xiretza/manual-include...
tree
|
commitdiff
2020-06-04
Eddie Hung
Merge pull request #2077 from YosysHQ/eddie/abc9_dff_im...
tree
|
commitdiff
2020-06-04
whitequark
Merge pull request #2006 from jersey99/signed-in-rtlil...
tree
|
commitdiff
2020-06-04
N. Engelhardt
Merge pull request #2070 from hackfin/master
tree
|
commitdiff
2020-06-04
Eddie Hung
Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes
no_loop
tree
|
commitdiff
2020-06-03
Peter Crozier
Merge branch 'master' into struct
tree
|
commitdiff
2020-06-03
Eddie Hung
Merge pull request #2080 from YosysHQ/eddie/fix_test_wa...
tree
|
commitdiff
2020-05-31
clairexen
Merge pull request #1862 from boqwxp/cleanup_techmap
tree
|
commitdiff
2020-05-30
Eddie Hung
Merge pull request #2081 from YosysHQ/eddie/blackbox_ast
tree
|
commitdiff
2020-05-30
clairexen
Merge pull request #2018 from boqwxp/qbfsat-timeout
tree
|
commitdiff
2020-05-30
Eddie Hung
abc9_ops: -reintegrate use SigMap to remove (* init...
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2029 from whitequark/fix-simplify...
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2092 from whitequark/rtlil-no-space...
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2017 from boqwxp/qbfsat-cvc4
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2016 from boqwxp/qbfsat-yices
tree
|
commitdiff
2020-05-29
whitequark
Merge pull request #2033 from boqwxp/cleanup-verilog...
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2095 from rswarbrick/hier-typo
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2091 from boqwxp/printattrs
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2051 from Xiretza/makefile-cd-warning
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2031 from epfl-vlsc/master
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2063 from boqwxp/techmapped-firrtl
tree
|
commitdiff
2020-05-27
Alberto Gonzalez
printattrs: Add test.
tree
|
commitdiff
2020-05-25
Eddie Hung
tests: fix some test warnings
tree
|
commitdiff
2020-05-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
tree
|
commitdiff
2020-05-24
Eddie Hung
Merge pull request #2075 from YosysHQ/eddie/xaiger_cleanup
tree
|
commitdiff
2020-05-24
Eddie Hung
xaiger: add testcase
tree
|
commitdiff
2020-05-21
Eddie Hung
Merge pull request #2057 from YosysHQ/eddie/fix_task_attr
tree
|
commitdiff
2020-05-21
Miodrag Milanović
Merge pull request #2059 from boqwxp/logger-vector...
tree
|
commitdiff
2020-05-20
N. Engelhardt
Merge pull request #2046 from PeterCrozier/trap
tree
|
commitdiff
2020-05-20
N. Engelhardt
Merge pull request #2054 from boqwxp/fix-smtbmc
tree
|
commitdiff
2020-05-18
Eddie Hung
Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: preserve $_DFF_?_.Q's (* init *); rely on clean...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: not enough to techmap_fail on (* init=1 *), hide...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too
tree
|
commitdiff
2020-05-14
Claire Wolf
Merge pull request #2027 from YosysHQ/eddie/verilog_neg...
tree
|
commitdiff
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
tree
|
commitdiff
2020-05-07
Eddie Hung
Merge pull request #2034 from YosysHQ/eddie/abc_remote
tree
|
commitdiff
2020-05-06
Eddie Hung
Merge pull request #2028 from zachjs/master
tree
|
commitdiff
2020-05-06
Zachary Snow
verilog: allow null gen-if then block
tree
|
commitdiff
2020-05-05
Eddie Hung
Merge pull request #2025 from YosysHQ/eddie/frontend_cl...
tree
|
commitdiff
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
tree
|
commitdiff
next