aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | 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
| * | | | 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