2019-10-17 |
SergeyDegtyar | Remove xilinx_ug901 tests (will be moved to yosys-tests) |
commit | commitdiff | tree |
2019-10-17 |
SergeyDegtyar | Add smoke tests to tests/xilinx |
commit | commitdiff | tree |
2019-10-17 |
SergeyDegtyar | Add comments for unproven cells. |
commit | commitdiff | tree |
2019-10-17 |
SergeyDegtyar | Add tests for Xilinx UG901 examples |
commit | commitdiff | tree |
2019-10-16 |
Clifford Wolf | Merge pull request #1450 from YosysHQ/clifford/fixdffmux |
commit | commitdiff | tree |
2019-10-16 |
Clifford Wolf | Fix dffmux peepopt init handling |
commit | commitdiff | tree |
2019-10-16 |
Clifford Wolf | Move GENERATE_PATTERN macro to separate utility header |
commit | commitdiff | tree |
2019-10-16 |
Clifford Wolf | Disable left-over log_debug in peepopt_dffmux.pmg |
commit | commitdiff | tree |
2019-10-16 |
Clifford Wolf | Fix parsing of .cname BLIF statements |
commit | commitdiff | tree |
2019-10-15 |
Clifford Wolf | Add .blackbox support to blif front-end |
commit | commitdiff | tree |
2019-10-14 |
Clifford Wolf | Merge pull request #1448 from YosysHQ/daveshah1-sv... |
commit | commitdiff | tree |
2019-10-14 |
David Shah | Merge pull request #1446 from YosysHQ/dave/ecp5-ioff |
commit | commitdiff | tree |
2019-10-14 |
Clifford Wolf | Use "(id)" instead of "id" for types as temporary hack |
commit | commitdiff | tree |
2019-10-11 |
David Shah | ecp5: Add ECLKBRIDGECS blackbox |
commit | commitdiff | tree |
2019-10-10 |
David Shah | ecp5: Add attrmvcp to copy syn_useioff to driving FF |
commit | commitdiff | tree |
2019-10-10 |
David Shah | ecp5: Set syn_useioff on IO FFs to enable packing |
commit | commitdiff | tree |
2019-10-10 |
Miodrag Milanović | Merge pull request #1445 from YosysHQ/mwk/xilinx_ibufg |
commit | commitdiff | tree |
2019-10-10 |
Marcin Kościelnicki | xilinx: Add simulation model for IBUFG. |
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Revert "Add test that is expecting to fail" |
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Revert "Be mindful that sigmap(wire) could have dupes... |
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Merge pull request #1432 from YosysHQ/eddie/fix1427 |
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a... |
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9 |
commit | commitdiff | tree |
2019-10-08 |
Eddie Hung | Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_... |
commit | commitdiff | tree |
2019-10-06 |
Clifford Wolf | Merge pull request #1439 from YosysHQ/eddie/fix_ice40_w... |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Missing 'accept' at end of ice40_wrapcarry, spotted... |
commit | commitdiff | tree |
2019-10-05 |
Clifford Wolf | Update README.md |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Missed this |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add comment on why we have to match for clock-enable... |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add note on pattern detector |
commit | commitdiff | tree |
2019-10-05 |
Miodrag Milanović | Merge pull request #1436 from YosysHQ/mmicko/msvc_fix |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add comment on why partial multipliers are 18x18 |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add comments for xilinx_dsp_cascade |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Improve comments for xilinx_dsp_CREG |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Fix comment |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Restore optimisation for sigM.empty() |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Retry on fixing TODOs |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Revert "Fix TODOs" |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | More comments, cleanup |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Fix TODOs |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Consistency |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add comments for xilinx_dsp |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Fix typo in check_label() |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Merge branch 'master' into eddie/abc_to_abc9 |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Add temporary `abc9 -nomfs` and use for `synth_xilinx... |
commit | commitdiff | tree |
2019-10-05 |
Eddie Hung | Remove DSP48E1 from *_cells_xtra.v |
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Fix xilinx_dsp for unsigned extensions |
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Fix for SigSpec() == SigSpec(State::Sx, 0) to be true... |
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Add Const::{begin,end,empty}() |
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Rename abc_* names/attributes to more precisely be... |
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Panic over. Model was elsewhere. Re-arrange for consistency |
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Oops |
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Ohmilord this wasn't added all this time!?! |
commit | commitdiff | tree |
2019-10-04 |
Eddie Hung | Add -async2sync to help text as per @daveshah1 |
commit | commitdiff | tree |
2019-10-04 |
Miodrag Milanovic | Fixes for MSVC build |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Use `sat -tempinduct` and comments for why equiv_opt... |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Restore part of doc |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Disable equiv check for ice40 latches |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Add new -async2sync option |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Use equiv_opt -async2sync for xilinx |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Revert "equiv_opt to call async2sync when not -multiclo... |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Revert "Update doc for equiv_opt" |
commit | commitdiff | tree |
2019-10-03 |
Clifford Wolf | Change smtbmc "Warmup failed" status to "PREUNSAT" |
commit | commitdiff | tree |
2019-10-03 |
Clifford Wolf | Update ABC to git rev 623b5e8 |
commit | commitdiff | tree |
2019-10-03 |
Clifford Wolf | Bump version |
commit | commitdiff | tree |
2019-10-03 |
Clifford Wolf | Merge pull request #1419 from YosysHQ/eddie/lazy_derive |
commit | commitdiff | tree |
2019-10-03 |
Clifford Wolf | Merge pull request #1422 from YosysHQ/eddie/aigmap_select |
commit | commitdiff | tree |
2019-10-03 |
Clifford Wolf | Merge pull request #1429 from YosysHQ/clifford/checkmapped |
commit | commitdiff | tree |
2019-10-03 |
Clifford Wolf | Add "check -allow-tbuf" |
commit | commitdiff | tree |
2019-10-03 |
David Shah | frontends/ast: code style |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Improve tests |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Fix typedefs in blocks |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Disambiguate interface ports |
commit | commitdiff | tree |
2019-10-03 |
David Shah | Update CHANGELOG and README |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Add test scripts for typedefs |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Fix memories of typedefs |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Add %expect |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Add support for memories of a typedef |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Add support for memory typedefs |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Fix typedefs in packages |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Fix typedef parameters |
commit | commitdiff | tree |
2019-10-03 |
David Shah | sv: Switch parser to glr, prep for typedef |
commit | commitdiff | tree |
2019-10-03 |
David Shah | Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16 |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Fix broken CI, check reset even for constants, trim... |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Merge pull request #1423 from YosysHQ/eddie/techmap_rep... |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Fix test |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Merge branch 'eddie/fix_sat_init' into eddie/fix1427 |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Update test |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Refactor peepopt_dffmux and be sensitive to \init when... |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | Add test |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | log_dump() to support State enum |
commit | commitdiff | tree |
2019-10-02 |
Eddie Hung | Be mindful that sigmap(wire) could have dupes when... |
commit | commitdiff | tree |
2019-10-02 |
Eddie Hung | Add test that is expecting to fail |
commit | commitdiff | tree |
2019-10-02 |
Eddie Hung | Also rename cells with _TECHMAP_REPLACE_. prefix, as... |
commit | commitdiff | tree |
2019-10-02 |
Eddie Hung | Extend test with renaming cells with prefix too |
commit | commitdiff | tree |
2019-10-02 |
Clifford Wolf | Merge pull request #1428 from YosysHQ/clifford/fixbtor |
commit | commitdiff | tree |
2019-10-02 |
Clifford Wolf | Add "check -mapped" |
commit | commitdiff | tree |
2019-10-02 |
Clifford Wolf | Fix btor back-end to use "state" instead of "input... |
commit | commitdiff | tree |
2019-10-01 |
Miodrag Milanović | Merge pull request #1426 from YosysHQ/mmicko/fix_environ |
commit | commitdiff | tree |
2019-10-01 |
Miodrag Milanovic | Define environ, fixes #1424 |
commit | commitdiff | tree |
next |