projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
intel_alm: direct M10K instantiation
[yosys.git]
/
tests
/
simple
/
2020-07-02
clairexen
Merge pull request #2132 from YosysHQ/eddie/verific_initial
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-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-29
clairexen
Merge pull request #2029 from whitequark/fix-simplify...
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #1885 from Xiretza/mod-rem-cells
tree
|
commitdiff
2020-05-29
whitequark
Merge pull request #2033 from boqwxp/cleanup-verilog...
tree
|
commitdiff
2020-05-28
Xiretza
Expand tests/simple/constmuldivmod.v
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2031 from epfl-vlsc/master
tree
|
commitdiff
2020-05-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
tree
|
commitdiff
2020-05-14
Claire Wolf
Merge pull request #2027 from YosysHQ/eddie/verilog_neg...
tree
|
commitdiff
2020-05-08
whitequark
Merge pull request #2022 from Xiretza/fallthroughs
tree
|
commitdiff
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
tree
|
commitdiff
2020-05-02
Claire Wolf
Bugfix in partsel.v signed indices test cases
tree
|
commitdiff
2020-05-02
Claire Wolf
Add tests based on the test case from #1990
tree
|
commitdiff
2020-04-15
N. Engelhardt
Merge pull request #1830 from boqwxp/qbfsat
tree
|
commitdiff
2020-04-10
whitequark
Merge pull request #1603 from whitequark/ice40-ram_style
tree
|
commitdiff
2020-04-08
Sahand Kashani
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2020-04-07
Claire Wolf
Merge pull request #1814 from YosysHQ/mmicko/pyosys_mak...
tree
|
commitdiff
2020-04-06
whitequark
Merge pull request #1859 from boqwxp/design_duplicate
tree
|
commitdiff
2020-04-02
Claire Wolf
Merge pull request #1846 from dh73/ast_fe
tree
|
commitdiff
2020-04-02
Claire Wolf
Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xz
tree
|
commitdiff
2020-04-02
Eddie Hung
Merge pull request #1845 from YosysHQ/eddie/kernel_speedup
tree
|
commitdiff
2020-04-02
Claire Wolf
Merge pull request #1770 from YosysHQ/claire/btor_symbols
tree
|
commitdiff
2020-04-02
Claire Wolf
Merge pull request #1765 from YosysHQ/claire/btor_info
tree
|
commitdiff
2020-04-01
Eddie Hung
Merge pull request #1828 from YosysHQ/eddie/celltypes_s...
tree
|
commitdiff
2020-04-01
Eddie Hung
Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor
tree
|
commitdiff
2020-04-01
Eddie Hung
Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu
tree
|
commitdiff
2020-04-01
David Shah
Merge pull request #1844 from YosysHQ/dave/gen-source-loc
tree
|
commitdiff
2020-04-01
Eddie Hung
Merge pull request #1852 from boqwxp/cleanup_synth_ice40
tree
|
commitdiff
2020-04-01
Eddie Hung
Merge pull request #1849 from boqwxp/cleanup_kernel_yosys
tree
|
commitdiff
2020-04-01
Eddie Hung
Merge pull request #1850 from boqwxp/cleanup_backends
tree
|
commitdiff
2020-04-01
Claire Wolf
Merge pull request #1848 from YosysHQ/eddie/fix_dynslice
tree
|
commitdiff
2020-03-31
Eddie Hung
Add dynamic slicing Verilog testcase
tree
|
commitdiff
2020-03-27
Claire Wolf
Merge pull request #1607 from whitequark/simplify-simpl...
tree
|
commitdiff
2020-03-16
N. Engelhardt
Merge pull request #1746 from boqwxp/optimization
tree
|
commitdiff
2020-03-12
Miodrag Milanović
Merge pull request #1666 from Xiretza/improve-makefile
tree
|
commitdiff
2020-03-12
N. Engelhardt
Merge pull request #1751 from boqwxp/add_assert
tree
|
commitdiff
2020-03-11
Eddie Hung
Merge pull request #1743 from YosysHQ/eddie/abc9_keep
tree
|
commitdiff
2020-03-11
Eddie Hung
Merge pull request #1744 from YosysHQ/eddie/fix1675
tree
|
commitdiff
2020-03-10
David Shah
Merge pull request #1753 from YosysHQ/dave/abc9-speedup
tree
|
commitdiff
2020-03-10
David Shah
Merge pull request #1721 from YosysHQ/dave/tribuf-unused
tree
|
commitdiff
2020-03-09
Eddie Hung
Merge pull request #1747 from YosysHQ/claire/partselfix
tree
|
commitdiff
2020-03-08
Claire Wolf
Fix partsel expr bit width handling and add test case
tree
|
commitdiff
2020-02-01
Eddie Hung
Merge branch 'master' into eddie/submod_po
tree
|
commitdiff
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
tree
|
commitdiff
2020-01-29
N. Engelhardt
Merge pull request #1510 from pumbor/master
tree
|
commitdiff
2020-01-29
Miodrag Milanović
Merge pull request #1559 from YosysHQ/efinix_test_fix
tree
|
commitdiff
2020-01-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-28
Claire Wolf
Merge pull request #1567 from YosysHQ/eddie/sat_init_wa...
tree
|
commitdiff
2020-01-28
N. Engelhardt
Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate
tree
|
commitdiff
2020-01-28
Claire Wolf
Merge pull request #1553 from whitequark/manual-dffx
tree
|
commitdiff
2020-01-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-03
N. Engelhardt
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2019-12-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-12-20
Eddie Hung
Merge pull request #1585 from YosysHQ/eddie/fix_abc9_lut
tree
|
commitdiff
2019-12-19
Eddie Hung
Merge pull request #1581 from YosysHQ/clifford/fix1565
tree
|
commitdiff
2019-12-19
Eddie Hung
Merge pull request #1558 from YosysHQ/eddie/xaiger_cleanup
tree
|
commitdiff
2019-12-19
Eddie Hung
Merge pull request #1569 from YosysHQ/eddie/fix_1531
tree
|
commitdiff
2019-12-19
Eddie Hung
Merge pull request #1571 from YosysHQ/eddie/fix_1570
tree
|
commitdiff
2019-12-12
Eddie Hung
Make SV2017 compliant courtesy of @wsnyder
tree
|
commitdiff
2019-10-27
Clifford Wolf
Merge pull request #1393 from whitequark/write_verilog...
tree
|
commitdiff
2019-10-21
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2019-10-01
Sergey
Merge branch 'master' into SergeyDegtyar/efinix
tree
|
commitdiff
2019-10-01
Sergey
Merge branch 'master' into SergeyDegtyar/anlogic
tree
|
commitdiff
2019-09-30
Eddie Hung
Merge branch 'SergeyDegtyar/ecp5' of https://github...
tree
|
commitdiff
2019-09-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
tree
|
commitdiff
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
tree
|
commitdiff
2019-09-25
Eddie Hung
Merge pull request #1401 from SergeyDegtyar/SergeyDegty...
tree
|
commitdiff
2019-09-18
Eddie Hung
Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...
tree
|
commitdiff
2019-09-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-09-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-09-11
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-09-05
Eddie Hung
Merge remote-tracking branch 'origin/eddie/peepopt_dffm...
tree
|
commitdiff
2019-09-05
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-09-05
Clifford Wolf
Merge pull request #1350 from YosysHQ/clifford/fixsby59
tree
|
commitdiff
2019-09-05
Eddie Hung
simple/peepopt.v tests to various/peepopt.ys with equiv...
tree
|
commitdiff
2019-09-04
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
tree
|
commitdiff
2019-09-04
Eddie Hung
Merge remote-tracking branch 'origin/eddie/peepopt_dffm...
tree
|
commitdiff
2019-09-04
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-09-04
Eddie Hung
Add peepopt_dffmuxext tests
tree
|
commitdiff
2019-09-04
Pepijn de Vos
Merge remote-tracking branch 'diego/gowin'
tree
|
commitdiff
2019-09-04
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2019-09-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-09-03
Clifford Wolf
Merge pull request #1351 from emilazy/remove-which-use
tree
|
commitdiff
2019-09-02
Emily
Use `command -v` rather than `which`
tree
|
commitdiff
2019-08-30
David Shah
Merge branch 'master' into xc7dsp
tree
|
commitdiff
2019-08-29
Sergey
Merge pull request #3 from YosysHQ/Sergey/tests_ice40
tree
|
commitdiff
2019-08-28
Eddie Hung
Merge remote-tracking branch 'origin/clifford/async2syn...
tree
|
commitdiff
2019-08-26
Clifford Wolf
Merge tag 'yosys-0.9'
tree
|
commitdiff
2019-08-25
Clifford Wolf
Merge pull request #1112 from acw1251/pyosys_sigsig_issue
tree
|
commitdiff
next