aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | 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
| * | Added $high(), $low(), $left(), $right()Udi Finkelstein2020-09-154-30/+147
* | | Merge pull request #2380 from Xiretza/parallel-testsclairexen2020-10-0121-230/+156
|\ \ \
| * | | tests: add gitignores for auto-generated makefilesXiretza2020-09-262-0/+2
| * | | tests/simple: remove "nullglob" shoptXiretza2020-09-211-1/+0
| * | | tests: ParallelizeXiretza2020-09-213-9/+20
| * | | tests: Centralize test collection and Makefile generationXiretza2020-09-2116-222/+136
* | | | Update .gitignoreDavid Shah2020-10-011-0/+2
* | | | Merge pull request #2395 from YosysHQ/sha1_if_contain_spacesclairexen2020-10-011-2/+18
|\ \ \ \ | |_|_|/ |/| | |
| * | | use sha1 for parameter list in case if they contain spacesMiodrag Milanovic2020-09-301-2/+18
* | | | Bump versionYosys Bot2020-10-011-1/+1
|/ / /
* | | Fixed installation dir override for Python scriptsMiodrag Milanovic2020-09-301-6/+6
* | | Bump versionYosys Bot2020-09-301-1/+1
* | | Merge pull request #2393 from nakengelhardt/no_const_sensitivityclairexen2020-09-293-7/+102
|\ \ \
| * | | add testsN. Engelhardt2020-09-282-0/+49
| * | | write_verilog: emit intermediate wire for constant values in sensitivity listN. Engelhardt2020-09-281-7/+53
* | | | Merge pull request #2392 from YosysHQ/mmicko/hierarchy_fixclairexen2020-09-291-5/+7
|\ \ \ \
| * | | | Validate parameters only when they are usedMiodrag Milanovic2020-09-251-5/+7
* | | | | Bump versionYosys Bot2020-09-291-1/+1
| |/ / / |/| | |
* | | | Merge pull request #2386 from btut/fix/pyinstallpathMiodrag Milanović2020-09-281-2/+1
|\ \ \ \
| * | | | Fixed python installation pathBenedikt Tutzer2020-09-251-2/+1
| |/ / /
* | | | Merge pull request #2387 from btut/fix/pythonWrappersCXXFlagsN. Engelhardt2020-09-281-1/+1
|\ \ \ \ | |/ / / |/| | |
| * | | Use CXXFLAGS to enable pyosys specific code before generating wrappersBenedikt Tutzer2020-09-251-1/+1
|/ / /
* | | Bump versionYosys Bot2020-09-241-1/+1
* | | xilinx: do not make DSP48E1 a whitebox for ABC9 by default (#2325)Eddie Hung2020-09-233-17/+102