Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | smt2: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -186/+244 |
* | verilog_backend: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -274/+251 |
* | sim: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -103/+90 |
* | clk2fflogic: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -68/+45 |
* | opt_mem: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -81/+6 |
* | memory_bram: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -121/+90 |
* | memory_map: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -138/+81 |
* | memory_unpack: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -106/+10 |
* | memory_collect: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -223/+9 |
* | memory_nordff: Use Mem helpers. | Marcelina Kościelnicka | 2020-10-21 | 1 | -63/+9 |
* | Add new helper structures to represent memories. | Marcelina Kościelnicka | 2020-10-21 | 3 | -1/+516 |
* | Bump version | Yosys Bot | 2020-10-21 | 1 | -1/+1 |
* | Merge pull request #2405 from byuccl/fix_xilinx_cells | clairexen | 2020-10-20 | 1 | -2/+2 |
|\ | |||||
| * | Move signal declarations to before first use | Jeff Goeders | 2020-10-19 | 1 | -2/+2 |
* | | Merge pull request #2404 from YosysHQ/claire/fixrpcargs | clairexen | 2020-10-20 | 1 | -1/+2 |
|\ \ | |||||
| * | | Fix argument handling in connect_rpc | Claire Xenia Wolf | 2020-10-19 | 1 | -1/+2 |
* | | | Bump version | Yosys Bot | 2020-10-20 | 1 | -1/+1 |
|/ / | |||||
* | | Merge pull request #2397 from daveshah1/nexus | Miodrag Milanović | 2020-10-19 | 30 | -0/+12528 |
|\ \ | |||||
| * | | synth_nexus: Initial implementation | David Shah | 2020-10-15 | 30 | -0/+12528 |
* | | | Bump version | Yosys Bot | 2020-10-16 | 1 | -1/+1 |
* | | | Merge pull request #2398 from jakobwenzel/smtbmc-escape | clairexen | 2020-10-15 | 1 | -11/+29 |
|\ \ \ | |||||
| * | | | smtbmc: escape identifiers in verilog testbench | Jakob Wenzel | 2020-10-06 | 1 | -11/+29 |
* | | | | Bump version | Yosys Bot | 2020-10-13 | 1 | -1/+1 |
* | | | | extend verific library API for formal apps and generators | Miodrag Milanovic | 2020-10-12 | 1 | -15/+83 |
* | | | | Bump version | Yosys Bot | 2020-10-09 | 1 | -1/+1 |
* | | | | opt_clean: Better memory handling. | Marcelina Kościelnicka | 2020-10-08 | 2 | -8/+94 |
|/ / / | |||||
* | / | Bump version | Yosys Bot | 2020-10-06 | 1 | -1/+1 |
| |/ |/| | |||||
* | | Update required Verific version | Miodrag Milanović | 2020-10-05 | 1 | -1/+1 |
* | | Bump version | Yosys Bot | 2020-10-03 | 1 | -1/+1 |
* | | Merge pull request #2396 from YosysHQ/claire/empty-param | clairexen | 2020-10-02 | 1 | -0/+3 |
|\ \ | |||||
| * | | Ignore empty parameters in Verilog module instantiations | Claire Xenia Wolf | 2020-10-01 | 1 | -0/+3 |
* | | | Bump version | Yosys Bot | 2020-10-02 | 1 | -1/+1 |
|/ / | |||||
* | | Merge pull request #2378 from udif/pr_dollar_high_low | clairexen | 2020-10-01 | 4 | -31/+159 |
|\ \ | |||||
| * | | We can now handle array slices (e.g. $size(x[1]) etc. ) | Udi Finkelstein | 2020-09-17 | 2 | -9/+20 |
| * | | Fixed comments, removed debug message | Udi Finkelstein | 2020-09-16 | 1 | -5/+5 |
| * | | Added $high(), $low(), $left(), $right() | Udi Finkelstein | 2020-09-15 | 4 | -30/+147 |
* | | | Merge pull request #2380 from Xiretza/parallel-tests | clairexen | 2020-10-01 | 21 | -230/+156 |
|\ \ \ | |||||
| * | | | tests: add gitignores for auto-generated makefiles | Xiretza | 2020-09-26 | 2 | -0/+2 |
| * | | | tests/simple: remove "nullglob" shopt | Xiretza | 2020-09-21 | 1 | -1/+0 |
| * | | | tests: Parallelize | Xiretza | 2020-09-21 | 3 | -9/+20 |
| * | | | tests: Centralize test collection and Makefile generation | Xiretza | 2020-09-21 | 16 | -222/+136 |
* | | | | Update .gitignore | David Shah | 2020-10-01 | 1 | -0/+2 |
* | | | | Merge pull request #2395 from YosysHQ/sha1_if_contain_spaces | clairexen | 2020-10-01 | 1 | -2/+18 |
|\ \ \ \ | |_|_|/ |/| | | | |||||
| * | | | use sha1 for parameter list in case if they contain spaces | Miodrag Milanovic | 2020-09-30 | 1 | -2/+18 |
* | | | | Bump version | Yosys Bot | 2020-10-01 | 1 | -1/+1 |
|/ / / | |||||
* | | | Fixed installation dir override for Python scripts | Miodrag Milanovic | 2020-09-30 | 1 | -6/+6 |
* | | | Bump version | Yosys Bot | 2020-09-30 | 1 | -1/+1 |
* | | | Merge pull request #2393 from nakengelhardt/no_const_sensitivity | clairexen | 2020-09-29 | 3 | -7/+102 |
|\ \ \ | |||||
| * | | | add tests | N. Engelhardt | 2020-09-28 | 2 | -0/+49 |
| * | | | write_verilog: emit intermediate wire for constant values in sensitivity list | N. Engelhardt | 2020-09-28 | 1 | -7/+53 |