projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #2018 from boqwxp/qbfsat-timeout
[yosys.git]
/
backends
/
firrtl
/
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
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
Xiretza
Add flooring modulo operator
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-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
tree
|
commitdiff
2020-05-17
Alberto Gonzalez
firrtl: Accept techmapped cell types in FIRRTL backend.
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
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
Xiretza
Add YS_FALLTHROUGH macro to mark case fall-through
tree
|
commitdiff
2020-05-06
Sahand Kashani
Formatting fixes
tree
|
commitdiff
2020-05-05
Sahand Kashani
Add extmodule support to firrtl backend
tree
|
commitdiff
2020-04-23
Eddie Hung
Merge pull request #1974 from YosysHQ/eddie/abc9_disabl...
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1949 from YosysHQ/eddie/select_blackbox
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1969 from boqwxp/pool_emplace
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1973 from YosysHQ/eddie/fix1966
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1950 from YosysHQ/eddie/design_import
tree
|
commitdiff
2020-04-22
Claire Wolf
Merge pull request #1976 from YosysHQ/dave/fix-sim...
tree
|
commitdiff
2020-04-21
Claire Wolf
Merge pull request #1971 from YosysHQ/claire/edifkeep
tree
|
commitdiff
2020-04-21
Claire Wolf
Merge pull request #1851 from YosysHQ/claire/bitselwrite
tree
|
commitdiff
2020-04-21
whitequark
Merge pull request #1961 from whitequark/paramod-origin...
tree
|
commitdiff
2020-04-18
whitequark
ast, rpc: record original name of $paramod\* as \hdlnam...
tree
|
commitdiff
2020-04-17
whitequark
Merge pull request #1864 from boqwxp/cleanup_techmap_abc
tree
|
commitdiff
2020-04-16
whitequark
Merge pull request #1947 from whitequark/cxxrtl-usability
tree
|
commitdiff
2020-04-16
Eddie Hung
Merge pull request #1928 from YosysHQ/eddie/design_delete
tree
|
commitdiff
2020-04-16
whitequark
Merge pull request #1896 from boqwxp/read_stdin_repl
tree
|
commitdiff
2020-04-16
Claire Wolf
Merge pull request #1797 from epfl-vlsc/firrtl_backend_...
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-09
Sahand Kashani
Fix indentation
tree
|
commitdiff
2020-04-08
Sahand Kashani
Remove dependency on ilang backend since we no longer...
tree
|
commitdiff
2020-04-08
Sahand Kashani
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2020-04-08
Sahand Kashani
Remove unnecessary pruning of double-quoting
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-03
Eddie Hung
Merge pull request #1648 from YosysHQ/eddie/cmp2lcu
tree
|
commitdiff
2020-04-02
Eddie Hung
Merge pull request #1853 from YosysHQ/eddie/fix_dynslice
tree
|
commitdiff
2020-04-02
Eddie Hung
Merge pull request #1767 from YosysHQ/eddie/idstrings
tree
|
commitdiff
2020-04-02
Eddie Hung
kernel: big fat patch to use more ID::*, otherwise...
tree
|
commitdiff
2020-04-02
Eddie Hung
kernel: use more ID::*
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
Claire Wolf
Merge pull request #1848 from YosysHQ/eddie/fix_dynslice
tree
|
commitdiff
2020-03-31
Eddie Hung
Merge pull request #1761 from YosysHQ/eddie/opt_merge_s...
tree
|
commitdiff
2020-03-27
Claire Wolf
Merge pull request #1607 from whitequark/simplify-simpl...
tree
|
commitdiff
2020-03-24
Sahand Kashani
Remove use of auto for simple types + simplify src...
tree
|
commitdiff
2020-03-24
Sahand Kashani
Refactor to directly call ILANG_BACKEND::dump_const...
tree
|
commitdiff
2020-03-23
Sahand Kashani
Indentation conventions
tree
|
commitdiff
2020-03-23
Sahand Kashani-Akhavan
Const parameter in function (backends/firrtl/firrtl.cc)
tree
|
commitdiff
2020-03-21
Sahand Kashani
Strip quotes around fileinfo strings
tree
|
commitdiff
2020-03-21
Sahand Kashani
Add fileinfo to firrtl backend for assignments and...
tree
|
commitdiff
2020-03-20
Sahand Kashani
Refactor fileinfo emission characters to single location
tree
|
commitdiff
2020-03-19
Sahand Kashani
Add fileinfo to firrtl backend for instances
tree
|
commitdiff
2020-03-19
Sahand Kashani
Add fileinfo to firrtl backend for modules and wires
tree
|
commitdiff
2020-03-18
Sahand Kashani
Add fileinfo to firrtl backend for top-level circuit
tree
|
commitdiff
2020-03-17
Eddie Hung
Merge pull request #1769 from boqwxp/select_cleanup
tree
|
commitdiff
2020-03-16
N. Engelhardt
Merge pull request #1768 from boqwxp/smt2_cleanup
tree
|
commitdiff
2020-03-16
N. Engelhardt
Merge pull request #1746 from boqwxp/optimization
tree
|
commitdiff
2020-03-14
Miodrag Milanović
Merge pull request #1759 from zeldin/constant_with_comm...
tree
|
commitdiff
2020-03-14
Miodrag Milanović
Merge pull request #1754 from boqwxp/precise_locations
tree
|
commitdiff
2020-03-14
Miodrag Milanović
Merge pull request #1766 from YosysHQ/mmicko/regex_gcc48
tree
|
commitdiff
2020-03-13
Miodrag Milanovic
remove include where not used
tree
|
commitdiff
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
tree
|
commitdiff
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
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
2019-08-22
Clifford Wolf
Merge pull request #1281 from mmicko/efinix
tree
|
commitdiff
2019-08-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-16
Eddie Hung
Merge branch 'eddie/abc9_refactor' into xaig_dff
tree
|
commitdiff
2019-08-16
Eddie Hung
Merge pull request #1250 from bwidawsk/master
tree
|
commitdiff
2019-08-16
Eddie Hung
Merge https://github.com/bogdanvuk/yosys into bogdanvuk...
tree
|
commitdiff
2019-08-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-08-12
Serge Bazanski
Merge pull request #1152 from 1138-4EB/feat-docker
tree
|
commitdiff
2019-08-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-10
Clifford Wolf
Merge pull request #1258 from YosysHQ/eddie/cleanup
tree
|
commitdiff
2019-08-10
Clifford Wolf
Merge pull request #1261 from YosysHQ/clifford/verific_init
tree
|
commitdiff
2019-08-10
Clifford Wolf
Merge pull request #1263 from ucb-bar/firrtl_err_on_uns...
tree
|
commitdiff
2019-08-09
Miodrag Milanovic
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2019-08-08
David Shah
Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-08-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-08-07
Eddie Hung
substr() -> compare()
tree
|
commitdiff
2019-08-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-08-07
Jim Lawson
Merge branch 'master' into firrtl_err_on_unsupported_cell
tree
|
commitdiff
2019-08-07
David Shah
Merge pull request #1260 from YosysHQ/dave/ecp5_cell_fixes
tree
|
commitdiff
2019-08-07
Clifford Wolf
Merge pull request #1213 from YosysHQ/eddie/wreduce_add
tree
|
commitdiff
2019-08-07
Clifford Wolf
Merge pull request #1240 from ucb-bar/firrtl-properties...
tree
|
commitdiff
2019-08-06
Eddie Hung
Use IdString::begins_with()
tree
|
commitdiff
next