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
/
2020-05-30
clairexen
Merge pull request #2018 from boqwxp/qbfsat-timeout
tree
|
commitdiff
2020-05-29
Alberto Gonzalez
smtbmc: Remove superfluous `yosys-smt2-timeout` file...
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 division operator
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-28
whitequark
Merge pull request #2088 from rswarbrick/count-at
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2087 from rswarbrick/lex-warn
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2086 from rswarbrick/sigbit
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2084 from rswarbrick/c_str
tree
|
commitdiff
2020-05-26
whitequark
Merge pull request #2090 from whitequark/cxxrtl-fixes
tree
|
commitdiff
2020-05-26
whitequark
cxxrtl: make logging a little bit nicer.
tree
|
commitdiff
2020-05-26
whitequark
cxxrtl: add missing parts of commit 281c9685.
tree
|
commitdiff
2020-05-25
Alberto Gonzalez
smtbmc and qbfsat: Add timeout option to set solver...
tree
|
commitdiff
2020-05-25
Alberto Gonzalez
qbfsat: Move SMT2 info statements back to the top of...
tree
|
commitdiff
2020-05-25
Alberto Gonzalez
qbfsat: Add `-solver` option and allow choice of Z3...
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: do not derive cells
tree
|
commitdiff
2020-05-22
whitequark
Merge pull request #2072 from whitequark/cxxrtl-dont...
tree
|
commitdiff
2020-05-22
whitequark
cxxrtl: get rid of -O5 aka `opt_clean -purge` optimizat...
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-19
Alberto Gonzalez
smtbmc: Fix typo in error message.
tree
|
commitdiff
2020-05-18
Eddie Hung
Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff
tree
|
commitdiff
2020-05-17
Alberto Gonzalez
firrtl: Accept techmapped cell types in FIRRTL backend.
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: use (* abc9_keep *) instead of (* abc9_scc *...
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/xaiger: further reducing Module::derive()...
tree
|
commitdiff
2020-05-14
Eddie Hung
Cleanup; reduce Module::derive() calls
tree
|
commitdiff
2020-05-14
Eddie Hung
xaiger: no longer use nonstandard even/odd to designate...
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: not enough to techmap_fail on (* init=1 *), hide...
tree
|
commitdiff
2020-05-14
Eddie Hung
Revert "Merge pull request #1917 from YosysHQ/eddie...
tree
|
commitdiff
2020-05-14
Eddie Hung
xaiger: always sort input/output bits by port id
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9: generate $abc9_holes design instead of <name...
tree
|
commitdiff
2020-05-14
Eddie Hung
aiger/xaiger: use odd for negedge clk, even for posedge
tree
|
commitdiff
2020-05-14
Eddie Hung
xaiger: update help text
tree
|
commitdiff
2020-05-14
Eddie Hung
xaiger: do not treat (* init=1'bx *) as 1'b0
tree
|
commitdiff
2020-05-14
Eddie Hung
xaiger: when -dff use (* init *) for initial state
tree
|
commitdiff
2020-05-14
Eddie Hung
abc9_ops: add 'dff' label for auto handling of (* abc9_...
tree
|
commitdiff
2020-05-14
Eddie Hung
xaiger: output $_DFF_[NP]_ with mergeability if -dff...
tree
|
commitdiff
2020-05-14
Alberto Gonzalez
smtbmc: Fix return status handling.
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
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
tree
|
commitdiff
2020-05-07
Xiretza
Reorder cases to avoid fall-through warning
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-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
tree
|
commitdiff
2020-05-04
Eddie Hung
Merge pull request #1996 from boqwxp/rtlil_source_locations
tree
|
commitdiff
2020-05-03
whitequark
Merge pull request #2000 from whitequark/log_error...
tree
|
commitdiff
2020-05-03
Claire Wolf
Merge pull request #2014 from YosysHQ/claire/fixoptalu
tree
|
commitdiff
2020-05-02
Eddie Hung
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
tree
|
commitdiff
2020-05-02
Eddie Hung
aiger: fixes for ports that have start_offset != 0
tree
|
commitdiff
2020-05-01
Claire Wolf
Merge pull request #1997 from whitequark/document-ootb
tree
|
commitdiff
2020-05-01
Claire Wolf
Merge pull request #1981 from YosysHQ/claire/fix1837
tree
|
commitdiff
2020-04-30
Eddie Hung
Merge pull request #1999 from YosysHQ/eddie/verific_enu...
tree
|
commitdiff
2020-04-30
whitequark
Merge pull request #2008 from whitequark/editorconfig-abc
tree
|
commitdiff
2020-04-27
Eddie Hung
Merge pull request #1992 from YosysHQ/eddie/bugpoint_help
tree
|
commitdiff
2020-04-25
whitequark
Merge pull request #2002 from YosysHQ/dave/cxxrtl-width
tree
|
commitdiff
2020-04-25
David Shah
cxxrtl: Round up constant width
tree
|
commitdiff
2020-04-24
whitequark
Merge pull request #1998 from whitequark/cxxrtl-fixes
tree
|
commitdiff
2020-04-24
whitequark
cxxrtl: use `cxxrtl_` prefix rather than `cxxrtl.`
tree
|
commitdiff
2020-04-24
whitequark
cxxrtl: improve printing of narrow memories.
tree
|
commitdiff
2020-04-24
whitequark
cxxrtl: fix handling of parametric modules with large...
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 #1983 from YosysHQ/eddie/use_default...
tree
|
commitdiff
2020-04-22
whitequark
Merge pull request #1982 from AsuMagic/asu/cxxrtl-memor...
tree
|
commitdiff
2020-04-22
Eddie Hung
Merge pull request #1969 from boqwxp/pool_emplace
tree
|
commitdiff
2020-04-22
Asu
cxxrtl: keep the memory write queue sorted on insertion.
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-22
Claire Wolf
Merge pull request #1979 from whitequark/cxxrtl-go...
tree
|
commitdiff
2020-04-22
whitequark
cxxrtl: run edge detectors only once in eval().
tree
|
commitdiff
2020-04-22
whitequark
cxxrtl: add an unsupported knob for manipulating clock...
tree
|
commitdiff
2020-04-21
whitequark
cxxrtl: use log_id() where appropriate. NFC.
tree
|
commitdiff
2020-04-21
whitequark
cxxrtl: add (*cxxrtl.{comb,sync}*) annotations on black...
tree
|
commitdiff
2020-04-21
whitequark
cxxrtl: s/sync_{wire,type}/edge_{wire,type}/. NFC.
tree
|
commitdiff
2020-04-21
Marcelina Kościelnicka
write_json: dump default parameter values
tree
|
commitdiff
2020-04-21
Marcelina Kościelnicka
ilang, ast: Store parameter order and default value...
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
cxxrtl: use one delta cycle for immediately converging...
tree
|
commitdiff
2020-04-21
whitequark
cxxrtl: add -O6, a shortcut for running `proc; flatten`.
tree
|
commitdiff
2020-04-21
whitequark
cxxrtl: unbuffer module input wires.
tree
|
commitdiff
2020-04-21
whitequark
cxxrtl: simplify generated edge detection logic.
tree
|
commitdiff
next