projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix generate scoping issues
[yosys.git]
/
tests
/
arch
/
2020-07-30
Marcelina Kościelnicka
opt_expr: Remove -clkinv option, make it the default.
tree
|
commitdiff
2020-07-30
Marcelina Kościelnicka
synth_ice40: Use opt_dff.
tree
|
commitdiff
2020-07-30
Marcelina Kościelnicka
synth_xilinx: Use opt_dff.
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
Dan Ravensloft
intel_alm: direct M10K instantiation
tree
|
commitdiff
2020-07-26
Dan Ravensloft
intel_alm: increase abc9 -W
tree
|
commitdiff
2020-07-26
clairexen
Merge pull request #2299 from zachjs/arg-loop
tree
|
commitdiff
2020-07-24
Marcelina Kościelnicka
satgen: Add support for dffe, sdff, sdffe, sdffce cells.
tree
|
commitdiff
2020-07-23
clairexen
Merge pull request #2285 from YosysHQ/mwk/techmap-cellname
tree
|
commitdiff
2020-07-23
clairexen
Merge pull request #2294 from Ravenslofty/intel_alm_timings
tree
|
commitdiff
2020-07-23
Dan Ravensloft
intel_alm: add additional ABC9 timings
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-15
clairexen
Merge pull request #2257 from antmicro/fix-conflicts
tree
|
commitdiff
2020-07-14
Marcelina Kościelnicka
anlogic: Use dfflegalize.
tree
|
commitdiff
2020-07-13
Lofty
Revert "intel_alm: direct M10K instantiation"
tree
|
commitdiff
2020-07-12
Marcelina Kościelnicka
xilinx: Fix srl regression.
tree
|
commitdiff
2020-07-09
clairexen
Merge pull request #2244 from antmicro/logic
tree
|
commitdiff
2020-07-06
Marcelina Kościelnicka
gowin: Use dfflegalize.
tree
|
commitdiff
2020-07-05
Dan Ravensloft
intel_alm: direct M10K instantiation
tree
|
commitdiff
2020-07-05
Dan Ravensloft
synth_gowin: ABC9 support
tree
|
commitdiff
2020-07-05
Dan Ravensloft
intel_alm: add Cyclone 10 GX tests
tree
|
commitdiff
2020-07-05
Marcelina Kościelnicka
Merge pull request #2236 from YosysHQ/mwk/dfflegalize...
tree
|
commitdiff
2020-07-05
whitequark
Merge pull request #2227 from Ravenslofty/ccache
tree
|
commitdiff
2020-07-05
Marcelina Kościelnicka
Merge pull request #2232 from YosysHQ/mwk/gowin-sim...
tree
|
commitdiff
2020-07-05
Dan Ravensloft
intel_alm: DSP inference
tree
|
commitdiff
2020-07-04
Marcelina Kościelnicka
synth_intel_alm: Use dfflegalize.
tree
|
commitdiff
2020-07-04
Dan Ravensloft
Improve MISTRAL_FF specify rules
tree
|
commitdiff
2020-07-04
Eddie Hung
tests: update fsm.ys resource count
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2132 from YosysHQ/eddie/verific_initial
tree
|
commitdiff
2020-06-18
N. Engelhardt
Merge pull request #2153 from boqwxp/splitnets-cleanup
tree
|
commitdiff
2020-06-18
whitequark
Merge pull request #2142 from whitequark/splitnets...
tree
|
commitdiff
2020-06-13
whitequark
Merge pull request #2145 from whitequark/cxxrtl-splitnets
tree
|
commitdiff
2020-06-12
whitequark
Merge pull request #2149 from whitequark/cxxrtl-unbuffe...
tree
|
commitdiff
2020-06-11
Dan Ravensloft
intel_alm: fix DFFE matching
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-06
whitequark
Merge pull request #2110 from BracketMaster/master
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
Claire Wolf
Add missing .gitignore file
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
tests: tidy up testcase
tree
|
commitdiff
2020-06-03
Eddie Hung
Merge pull request #2080 from YosysHQ/eddie/fix_test_wa...
tree
|
commitdiff
2020-06-02
clairexen
Merge pull request #2102 from YosysHQ/tests_fix
tree
|
commitdiff
2020-06-01
Miodrag Milanovic
allow range for mux test
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
Eddie Hung
abc9_ops: update messaging (credit to @Xiretza for...
tree
|
commitdiff
2020-05-30
clairexen
Merge pull request #2018 from boqwxp/qbfsat-timeout
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2029 from whitequark/fix-simplify...
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 #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-26
whitequark
Merge pull request #2090 from whitequark/cxxrtl-fixes
tree
|
commitdiff
2020-05-25
Eddie Hung
tests: add ecp5 latch testcase with -abc9
tree
|
commitdiff
2020-05-25
Eddie Hung
Merge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidy
tree
|
commitdiff
2020-05-25
Eddie Hung
tests: xilinx macc test to have initval, shorten BMC...
tree
|
commitdiff
2020-05-25
Eddie Hung
tests: fix some test warnings
tree
|
commitdiff
2020-05-25
Eddie Hung
tests: add test for abc9 -dff removing a redundant...
tree
|
commitdiff
2020-05-25
Eddie Hung
tests: add testcase for abc9 -dff preserving flop names
tree
|
commitdiff
2020-05-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
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
Marcelina Kościelnicka
Add force_downto and force_upto wire attributes.
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_ops: add -prep_bypass for auto bypass boxes; refactor
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: suppress warnings when no compatible + used flop...
tree
|
commitdiff
2020-05-14
Eddie Hung
xilinx: update abc9_dff tests
tree
|
commitdiff
2020-05-14
Eddie Hung
xilinx: remove no-longer-relevant test
tree
|
commitdiff
2020-05-14
Claire Wolf
Merge pull request #2027 from YosysHQ/eddie/verilog_neg...
tree
|
commitdiff
2020-05-08
Claire Wolf
Merge pull request #2038 from nakengelhardt/no-libdir...
tree
|
commitdiff
2020-05-08
whitequark
Merge pull request #2022 from Xiretza/fallthroughs
tree
|
commitdiff
2020-05-07
Dan Ravensloft
intel_alm: direct LUTRAM cell instantiation
tree
|
commitdiff
2020-05-03
whitequark
Merge pull request #2000 from whitequark/log_error...
tree
|
commitdiff
2020-05-01
Claire Wolf
Merge pull request #1981 from YosysHQ/claire/fix1837
tree
|
commitdiff
2020-04-24
whitequark
Merge pull request #1998 from whitequark/cxxrtl-fixes
tree
|
commitdiff
2020-04-23
Eddie Hung
Merge pull request #1974 from YosysHQ/eddie/abc9_disabl...
tree
|
commitdiff
2020-04-23
Claire Wolf
Merge pull request #1989 from boqwxp/qbfsat_anyconst_so...
tree
|
commitdiff
2020-04-23
Claire Wolf
Merge pull request #1988 from boqwxp/qbfsat
tree
|
commitdiff
2020-04-23
Claire Wolf
Merge pull request #1986 from YosysHQ/eddie/verific_enum
tree
|
commitdiff
2020-04-23
Dan Ravensloft
intel_alm: work around a Quartus ICE
tree
|
commitdiff
next