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 | 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 | 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-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 | Merge pull request #1423 from YosysHQ/eddie/techmap_rep... |
commit | commitdiff | tree |
2019-10-03 |
Eddie Hung | log_dump() to support State enum |
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 |
2019-09-29 |
Miodrag Milanović | Merge pull request #1413 from YosysHQ/mmicko/backend_bi... |
commit | commitdiff | tree |
2019-09-29 |
Clifford Wolf | Merge pull request #1411 from aman-goel/YosysHQ-master |
commit | commitdiff | tree |
2019-09-29 |
Henner Zeller | Avoid work in replace() if rules empty. |
commit | commitdiff | tree |
2019-09-28 |
Miodrag Milanovic | Add aiger and protobuf backends binary support |
commit | commitdiff | tree |
2019-09-28 |
Miodrag Milanovic | Support binary files for backends, fixes #1407 |
commit | commitdiff | tree |
2019-09-28 |
Eddie Hung | Fix box name |
commit | commitdiff | tree |
2019-09-27 |
Eddie Hung | Re-order |
commit | commitdiff | tree |
2019-09-27 |
Eddie Hung | Missing (* mul2dsp *) for sliceB |
commit | commitdiff | tree |
2019-09-27 |
Eddie Hung | equiv_opt to call async2sync when not -multiclock like... |
commit | commitdiff | tree |
2019-09-27 |
Eddie Hung | Ooops AREG and BREG to default to -1 |
commit | commitdiff | tree |
2019-09-27 |
Aman Goel | Corrects btor2 backend |
commit | commitdiff | tree |
2019-09-27 |
Marcin Kościelnicki | Fix _TECHMAP_REMOVEINIT_ handling. |
commit | commitdiff | tree |
2019-09-27 |
Aman Goel | Merge pull request #7 from YosysHQ/master |
commit | commitdiff | tree |
2019-09-27 |
Miodrag Milanović | Merge pull request #1409 from YosysHQ/mmicko/fix_getopt... |
commit | commitdiff | tree |
2019-09-27 |
Miodrag Milanovic | Change order of parameters, to work on other os |
commit | commitdiff | tree |
2019-09-27 |
Clifford Wolf | Merge pull request #1404 from YosysHQ/fix_gzip_macos |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Update doc with max cascade chain of 20 |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Do not always zero out C (e.g. during cascade breaks) |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Update doc |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Zero out ports |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | xilinx_dsp_cascade to also cascade AREG and BREG |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Try recursive pmgen for P cascade |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Missing an '&' |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Combine 'flatten' & 'coarse' labels in synth_ecp5 so... |
commit | commitdiff | tree |
2019-09-26 |
Miodrag Milanovic | Make read/write gzip files on macos works, fixes #1357 |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Typo |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | CREG to check for \keep |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Remove newline |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | select once |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Stop trying to be too smart by prematurely optimising |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | mul2dsp.v slice names |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Do not die if DSP48E1.P has no users (would otherwise... |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Reject if (* init *) present |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Remove unnecessary check for A_SIGNED != B_SIGNED;... |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Revert "Remove _TECHMAP_CELLTYPE_ check since all ... |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Revert "No need for $__mul anymore?" |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Rework xilinx_dsp postAdd for new wreduce call |
commit | commitdiff | tree |
2019-09-26 |
Eddie Hung | Only wreduce on t:$add |
commit | commitdiff | tree |
2019-09-25 |
Eddie Hung | Remove _TECHMAP_CELLTYPE_ check since all $mul |
commit | commitdiff | tree |
2019-09-25 |
Eddie Hung | Fix memory issue since SigSpec& could be invalidated |
commit | commitdiff | tree |
2019-09-25 |
Eddie Hung | Merge pull request #1401 from SergeyDegtyar/SergeyDegty... |
commit | commitdiff | tree |
next |