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 | 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 |
2019-10-01 |
David Shah | ecp5: Fix shuffle_enable port |
commit | commitdiff | tree |
2019-10-01 |
David Shah | ecp5: Add support for mapping 36-bit wide PDP BRAMs |
commit | commitdiff | tree |
2019-10-01 |
Eddie Hung | Add test |
commit | commitdiff | tree |
2019-10-01 |
Eddie Hung | techmap wires named _TECHMAP_REPLACE_.<identifier>... |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add quick test |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add -select option to aigmap |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Fix typo |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Fix for svinterfaces |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | module->derive() to be lazy and not touch ast if alread... |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Update doc for equiv_opt |
commit | commitdiff | tree |
2019-09-30 |
whitequark | Merge pull request #1406 from whitequark/connect_rpc |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Merge pull request #1397 from btut/fix/python_wrappers_... |
commit | commitdiff | tree |
2019-09-30 |
whitequark | rpc: new frontend. |
commit | commitdiff | tree |
2019-09-30 |
whitequark | libs: import json11. |
commit | commitdiff | tree |
2019-09-30 |
Miodrag Milanović | Merge pull request #1416 from YosysHQ/mmicko/frontend_b... |
commit | commitdiff | tree |
2019-09-30 |
Clifford Wolf | Bump version |
commit | commitdiff | tree |
2019-09-30 |
Clifford Wolf | Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a... |
commit | commitdiff | tree |
2019-09-30 |
Clifford Wolf | Merge pull request #1417 from YosysHQ/clifford/fixasync... |
commit | commitdiff | tree |
2019-09-30 |
Clifford Wolf | Fix $dlatch handling in async2sync |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add latch test modified from #1363 |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Add LDCE/LDPE sim library, remove from *cells_xtra... |
commit | commitdiff | tree |
2019-09-30 |
Marcin Kościelnicki | synth_xilinx: Support latches, remove used-up FF init... |
commit | commitdiff | tree |
2019-09-30 |
Eddie Hung | Merge pull request #1414 from hzeller/improve-replace... |
commit | commitdiff | tree |
2019-09-29 |
Eddie Hung | Merge pull request #1359 from YosysHQ/xc7dsp |
commit | commitdiff | tree |
2019-09-29 |
Miodrag Milanovic | Fix reading aig files on windows |
commit | commitdiff | tree |
2019-09-29 |
Miodrag Milanovic | Open aig frontend as binary file |
commit | commitdiff | tree |
next |