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 |
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-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-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 |
2020-04-21 |
whitequark | cxxrtl: localize wires with multiple comb drivers,... |
tree | commitdiff |
2020-04-21 |
whitequark | cxxrtl: detect buffered comb wires, not just feedback... |
tree | commitdiff |
2020-04-21 |
Claire Wolf | Improve net priorities in EDIF back-end |
tree | commitdiff |
2020-04-21 |
whitequark | Merge pull request #1961 from whitequark/paramod-origin... |
tree | commitdiff |
2020-04-20 |
Claire Wolf | Ignore conflicting keep attributes, unless asked not... |
tree | commitdiff |
2020-04-20 |
Claire Wolf | Merge pull request #1964 from YosysHQ/claire/sformatf |
tree | commitdiff |
2020-04-19 |
whitequark | Merge pull request #1967 from whitequark/cxxrtl-blackbo... |
tree | commitdiff |
2020-04-19 |
whitequark | cxxrtl: provide attributes to black box factories,... |
tree | commitdiff |
2020-04-18 |
whitequark | Merge pull request #1963 from whitequark/cxxrtl-blackboxes |
tree | commitdiff |
2020-04-18 |
whitequark | cxxrtl: add templated black box support. |
tree | commitdiff |
2020-04-18 |
whitequark | cxxrtl: make eval() and commit() inline in blackboxes. |
tree | commitdiff |
2020-04-18 |
whitequark | cxxrtl: add simple black box support. |
tree | commitdiff |
2020-04-18 |
whitequark | cxxrtl: use ID::X instead of ID(X). NFC. |
tree | commitdiff |
2020-04-18 |
whitequark | ast, rpc: record original name of $paramod\* as \hdlnam... |
tree | commitdiff |
2020-04-17 |
whitequark | Merge pull request #1955 from whitequark/cxxrtl-sync_always |
tree | commitdiff |
2020-04-17 |
whitequark | cxxrtl: correctly handle `sync always` rules. |
tree | commitdiff |
2020-04-17 |
whitequark | Merge pull request #1898 from boqwxp/locations |
tree | commitdiff |
2020-04-17 |
whitequark | Merge pull request #1864 from boqwxp/cleanup_techmap_abc |
tree | commitdiff |
2020-04-17 |
whitequark | Merge pull request #1888 from boqwxp/cleanup_scatter |
tree | commitdiff |
2020-04-17 |
whitequark | Merge pull request #1882 from boqwxp/cleanup_rename |
tree | commitdiff |
2020-04-16 |
whitequark | Merge pull request #1929 from YosysHQ/eddie/select_unset |
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 |
next |