aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | Merge pull request #2416 from QuantamHD/masterwhitequark2020-10-311-1/+6
|\ \ \ \
| * | | | This patch adds support for defining the ABC location at runtime instead of a...Ethan Mahintorabi2020-10-281-1/+6
| |/ / /
* | | | Bump versionYosys Bot2020-10-311-1/+1
* | | | Update verific versionMiodrag Milanovic2020-10-301-1/+1
|/ / /
* | | Bump versionYosys Bot2020-10-251-1/+1
* | | xilinx: Fix attributes_test.ysMarcelina Kościelnicka2020-10-241-4/+2
* | | Bump versionYosys Bot2020-10-231-1/+1
* | | nexus: Add make_transp to BRAMsDavid Shah2020-10-221-0/+3
* | | Merge pull request #2403 from nakengelhardt/sim_timescaleN. Engelhardt2020-10-221-0/+21
|\ \ \
| * | | use strftime instead of put_time for gcc 4.8 compatibilityN. Engelhardt2020-10-211-4/+5
| * | | wild guessing at the problem because it builds fine on my machinesN. Engelhardt2020-10-161-0/+3
| * | | sim -vcd: add date, version, and option for timescaleN. Engelhardt2020-10-161-0/+17
* | | | memory_dff: Fix needlessly duplicating enable bits.Marcelina Kościelnicka2020-10-222-0/+32
* | | | Bump versionYosys Bot2020-10-221-1/+1
* | | | btor: Use Mem helper.Marcelina Kościelnicka2020-10-211-93/+102
* | | | smt2: Use Mem helper.Marcelina Kościelnicka2020-10-211-186/+244
* | | | verilog_backend: Use Mem helper.Marcelina Kościelnicka2020-10-211-274/+251
* | | | sim: Use Mem helper.Marcelina Kościelnicka2020-10-211-103/+90
* | | | clk2fflogic: Use Mem helper.Marcelina Kościelnicka2020-10-211-68/+45
* | | | opt_mem: Use Mem helpers.Marcelina Kościelnicka2020-10-211-81/+6
* | | | memory_bram: Use Mem helpers.Marcelina Kościelnicka2020-10-211-121/+90
* | | | memory_map: Use Mem helpers.Marcelina Kościelnicka2020-10-211-138/+81
* | | | memory_unpack: Use Mem helpers.Marcelina Kościelnicka2020-10-211-106/+10
* | | | memory_collect: Use Mem helpers.Marcelina Kościelnicka2020-10-211-223/+9
* | | | memory_nordff: Use Mem helpers.Marcelina Kościelnicka2020-10-211-63/+9
* | | | Add new helper structures to represent memories.Marcelina Kościelnicka2020-10-213-1/+516
* | | | Bump versionYosys Bot2020-10-211-1/+1
* | | | Merge pull request #2405 from byuccl/fix_xilinx_cellsclairexen2020-10-201-2/+2
|\ \ \ \
| * | | | Move signal declarations to before first useJeff Goeders2020-10-191-2/+2
* | | | | Merge pull request #2404 from YosysHQ/claire/fixrpcargsclairexen2020-10-201-1/+2
|\ \ \ \ \
| * | | | | Fix argument handling in connect_rpcClaire Xenia Wolf2020-10-191-1/+2
* | | | | | Bump versionYosys Bot2020-10-201-1/+1
|/ / / / /
* | | | | Merge pull request #2397 from daveshah1/nexusMiodrag Milanović2020-10-1930-0/+12528
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | synth_nexus: Initial implementationDavid Shah2020-10-1530-0/+12528
* | | | | Bump versionYosys Bot2020-10-161-1/+1
* | | | | Merge pull request #2398 from jakobwenzel/smtbmc-escapeclairexen2020-10-151-11/+29
|\ \ \ \ \
| * | | | | smtbmc: escape identifiers in verilog testbenchJakob Wenzel2020-10-061-11/+29
* | | | | | Bump versionYosys Bot2020-10-131-1/+1
* | | | | | extend verific library API for formal apps and generatorsMiodrag Milanovic2020-10-121-15/+83
* | | | | | Bump versionYosys Bot2020-10-091-1/+1
* | | | | | opt_clean: Better memory handling.Marcelina Kościelnicka2020-10-082-8/+94
|/ / / / /
* | / / / Bump versionYosys Bot2020-10-061-1/+1
| |/ / / |/| | |
* | | | Update required Verific versionMiodrag Milanović2020-10-051-1/+1
* | | | Bump versionYosys Bot2020-10-031-1/+1
* | | | Merge pull request #2396 from YosysHQ/claire/empty-paramclairexen2020-10-021-0/+3
|\ \ \ \
| * | | | Ignore empty parameters in Verilog module instantiationsClaire Xenia Wolf2020-10-011-0/+3
* | | | | Bump versionYosys Bot2020-10-021-1/+1
|/ / / /
* | | | Merge pull request #2378 from udif/pr_dollar_high_lowclairexen2020-10-014-31/+159
|\ \ \ \
| * | | | We can now handle array slices (e.g. $size(x[1]) etc. )Udi Finkelstein2020-09-172-9/+20
| * | | | Fixed comments, removed debug messageUdi Finkelstein2020-09-161-5/+5