2020-03-16 |
N. Engelhardt | Merge pull request #1768 from boqwxp/smt2_cleanup |
commit | commitdiff | tree |
2020-03-16 |
N. Engelhardt | Merge pull request #1746 from boqwxp/optimization |
commit | commitdiff | tree |
2020-03-15 |
David Shah | Merge pull request #1773 from smunaut/fix_spram_model |
commit | commitdiff | tree |
2020-03-14 |
Sylvain Munaut | ice40: Fix SPRAM model to keep data stable if chipselec... |
commit | commitdiff | tree |
2020-03-14 |
Miodrag Milanovic | Fix invalid verilog syntax |
commit | commitdiff | tree |
2020-03-14 |
Miodrag Milanović | Merge pull request #1759 from zeldin/constant_with_comm... |
commit | commitdiff | tree |
2020-03-14 |
Marcus Comstedt | Add regression tests for new handling of comments in... |
commit | commitdiff | tree |
2020-03-14 |
Miodrag Milanović | Merge pull request #1754 from boqwxp/precise_locations |
commit | commitdiff | tree |
2020-03-14 |
Miodrag Milanović | Merge pull request #1766 from YosysHQ/mmicko/regex_gcc48 |
commit | commitdiff | tree |
2020-03-13 |
Alberto Gonzalez | Clean up pseudo-private member usage in `backends/smt2... |
commit | commitdiff | tree |
2020-03-13 |
Alberto Gonzalez | Add support for optimizing exists-forall problems. |
commit | commitdiff | tree |
2020-03-13 |
Miodrag Milanovic | exclude clang from checking |
commit | commitdiff | tree |
2020-03-13 |
Miodrag Milanovic | Add YS_ prefix to macros, add explanation and apply... |
commit | commitdiff | tree |
2020-03-13 |
Claire Wolf | Merge pull request #1764 from Xiretza/fix-abcrev-check |
commit | commitdiff | tree |
2020-03-13 |
Miodrag Milanovic | Added back tests for logger |
commit | commitdiff | tree |
2020-03-13 |
Miodrag Milanovic | Use boost xpressive for gcc 4.8 |
commit | commitdiff | tree |
2020-03-13 |
Miodrag Milanovic | remove include where not used |
commit | commitdiff | tree |
2020-03-12 |
Xiretza | Improve ABC repository management in Makefile |
commit | commitdiff | tree |
2020-03-12 |
Miodrag Milanovic | Added filter-out for libyosys.so |
commit | commitdiff | tree |
2020-03-12 |
Miodrag Milanovic | Revert "Clean up 'install' Makefile target" |
commit | commitdiff | tree |
2020-03-12 |
Miodrag Milanovic | Revert "Improve ABC repository management in Makefile" |
commit | commitdiff | tree |
2020-03-12 |
Miodrag Milanović | Merge pull request #1666 from Xiretza/improve-makefile |
commit | commitdiff | tree |
2020-03-12 |
N. Engelhardt | Merge pull request #1751 from boqwxp/add_assert |
commit | commitdiff | tree |
2020-03-12 |
Miodrag Milanovic | Add mandatory wasm file to zip file as well |
commit | commitdiff | tree |
2020-03-12 |
Miodrag Milanović | Merge pull request #1757 from jiegec/fix-emcc |
commit | commitdiff | tree |
2020-03-11 |
Marcus Comstedt | refixed parsing of constant with comment between size... |
commit | commitdiff | tree |
2020-03-11 |
jiegec | Add EXTRA_EXPORTED_RUNTIME_METHODS env for yosysjs |
commit | commitdiff | tree |
2020-03-11 |
jiegec | Fix compilation for emcc |
commit | commitdiff | tree |
2020-03-11 |
Eddie Hung | verilog: add test |
commit | commitdiff | tree |
2020-03-11 |
Eddie Hung | Merge pull request #1743 from YosysHQ/eddie/abc9_keep |
commit | commitdiff | tree |
2020-03-11 |
Eddie Hung | Merge pull request #1744 from YosysHQ/eddie/fix1675 |
commit | commitdiff | tree |
2020-03-10 |
Alberto Gonzalez | Extend `add` command to allow adding cells for verifica... |
commit | commitdiff | tree |
2020-03-10 |
Eddie Hung | verilog: also set location for simple_behavioral_stmt |
commit | commitdiff | tree |
2020-03-10 |
David Shah | Merge pull request #1753 from YosysHQ/dave/abc9-speedup |
commit | commitdiff | tree |
2020-03-10 |
David Shah | Merge pull request #1721 from YosysHQ/dave/tribuf-unused |
commit | commitdiff | tree |
2020-03-10 |
N. Engelhardt | Merge pull request #1755 from boqwxp/add_cmd_cleanup |
commit | commitdiff | tree |
2020-03-10 |
Alberto Gonzalez | Clean up passes/cmds/add.cc code style. |
commit | commitdiff | tree |
2020-03-10 |
Alberto Gonzalez | Set AST source locations in more parser rules. |
commit | commitdiff | tree |
2020-03-09 |
Eddie Hung | Merge pull request #1747 from YosysHQ/claire/partselfix |
commit | commitdiff | tree |
2020-03-09 |
David Shah | Add ScriptPass::run_nocheck and use for abc9 |
commit | commitdiff | tree |
2020-03-09 |
N. Engelhardt | Merge pull request #1716 from zeldin/ecp5_fix |
commit | commitdiff | tree |
2020-03-08 |
Claire Wolf | Fix partsel expr bit width handling and add test case |
commit | commitdiff | tree |
2020-03-06 |
Eddie Hung | xaiger: remove some unnecessary operations ... |
commit | commitdiff | tree |
2020-03-06 |
Eddie Hung | Bump ABCREV to receive fix for #1675 |
commit | commitdiff | tree |
2020-03-06 |
Eddie Hung | abc9: for sccs, create a new wire instead of using... |
commit | commitdiff | tree |
2020-03-06 |
Eddie Hung | abc9: (* keep *) wires to be PO only, not PI as well... |
commit | commitdiff | tree |
2020-03-06 |
Eddie Hung | abc: add abc.debug scratchpad option |
commit | commitdiff | tree |
2020-03-06 |
N. Engelhardt | remove unused parameters |
commit | commitdiff | tree |
2020-03-06 |
Miodrag Milanović | Merge pull request #1742 from nakengelhardt/rpc-test... |
commit | commitdiff | tree |
2020-03-06 |
N. Engelhardt | rpc test: make frontend listen before launching yosys... |
commit | commitdiff | tree |
2020-03-05 |
Eddie Hung | Merge pull request #1739 from YosysHQ/eddie/issue1738 |
commit | commitdiff | tree |
2020-03-05 |
Eddie Hung | ice40: fix specify for ICE40_{LP,U} |
commit | commitdiff | tree |
2020-03-05 |
Eddie Hung | tests: extend tests/arch/run-tests.sh for defines |
commit | commitdiff | tree |
2020-03-04 |
Eddie Hung | ice40: fix implicit signal in specify, also clamp negat... |
commit | commitdiff | tree |
2020-03-04 |
Eddie Hung | Merge pull request #1735 from YosysHQ/eddie/abc9_dsp48e1 |
commit | commitdiff | tree |
2020-03-04 |
Eddie Hung | xilinx: consider DSP48E1.ADREG |
commit | commitdiff | tree |
2020-03-04 |
Eddie Hung | xilinx: cleanup DSP48E1 handling for abc9 |
commit | commitdiff | tree |
2020-03-04 |
Eddie Hung | xilinx: improve specify for DSP48E1 |
commit | commitdiff | tree |
2020-03-04 |
Eddie Hung | xilinx: missing DSP48E1.PCIN timing from abc9_{map... |
commit | commitdiff | tree |
2020-03-04 |
David Shah | deminout: Don't demote inouts with unused bits |
commit | commitdiff | tree |
2020-03-03 |
N. Engelhardt | Merge pull request #1691 from ZirconiumX/use-flowmap... |
commit | commitdiff | tree |
2020-03-03 |
Claire Wolf | Fix bison warning for "pure-parser" option |
commit | commitdiff | tree |
2020-03-03 |
Claire Wolf | Merge pull request #1718 from boqwxp/precise_locations |
commit | commitdiff | tree |
2020-03-03 |
Claire Wolf | Merge pull request #1681 from YosysHQ/eddie/fix1663 |
commit | commitdiff | tree |
2020-03-03 |
Claire Wolf | Merge pull request #1519 from YosysHQ/eddie/submod_po |
commit | commitdiff | tree |
2020-03-02 |
Marcelina Kościelnicka | iopadmap: Look harder for already-present buffers.... |
commit | commitdiff | tree |
2020-03-02 |
Eddie Hung | Merge pull request #1724 from YosysHQ/eddie/abc9_specify |
commit | commitdiff | tree |
2020-03-02 |
N. Engelhardt | Merge pull request #1729 from rqou/coolrunner2 |
commit | commitdiff | tree |
2020-03-02 |
R. Ou | coolrunner2: Attempt to give wires/cells more meaningfu... |
commit | commitdiff | tree |
2020-03-02 |
R. Ou | coolrunner2: Fix invalid multiple fanouts of XOR/OR... |
commit | commitdiff | tree |
2020-03-02 |
R. Ou | coolrunner2: Fix packed register+input buffer insertion |
commit | commitdiff | tree |
2020-03-02 |
R. Ou | coolrunner2: Insert many more required feedthrough... |
commit | commitdiff | tree |
2020-02-29 |
Eddie Hung | Merge pull request #1727 from YosysHQ/eddie/fix_write_smt2 |
commit | commitdiff | tree |
2020-02-28 |
Eddie Hung | ystests: fix write_smt2_write_smt2_cyclic_dependency_fail |
commit | commitdiff | tree |
2020-02-28 |
Eddie Hung | Merge pull request #1726 from YosysHQ/eddie/fix1710 |
commit | commitdiff | tree |
2020-02-28 |
Dan Ravensloft | Add -flowmap to synth and synth_ice40 |
commit | commitdiff | tree |
2020-02-28 |
Eddie Hung | ast: fixes #1710; do not generate RTLIL for unreachable... |
commit | commitdiff | tree |
2020-02-28 |
Eddie Hung | Comment out log() |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Remove RAMB{18,36}E1 from cells_xtra.py |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Small fixes |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Fixes for older compilers |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Revert "Fix tests/arch/xilinx/fsm.ys to count flops... |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | ast: quiet down when deriving blackbox modules |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | abc9_ops: suppress -prep_box warning for abc9_flop |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | xilinx: Update RAMB* specify entries |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | ice40: add delays to SB_CARRY |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | xilinx: add delays to INV |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Make TimingInfo::TimingInfo(SigBit) constructor explicit |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | TimingInfo: index by (port_name,offset) |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Fix spacing |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | More +/ice40/cells_sim.v fixes |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Cleanup tests |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Update bug1630.ys to use -lut 4 instead of lut file |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Make +/xilinx/cells_sim.v legal |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | abc9_ops: still emit delay table even box has no timing |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | write_xaiger: add comment about arrival times of flop... |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | abc9_ops: demote lack of box timing info to warning |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | Get rid of (* abc9_{arrival,required} *) entirely |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | abc9_ops: use TimingInfo for -prep_{lut,box} too |
commit | commitdiff | tree |
2020-02-27 |
Eddie Hung | abc9_ops: use TimingInfo for -prep_{lut,box} too |
commit | commitdiff | tree |
next |