riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
11,644 Commits 87 Branches 48 Tags 35 MiB
Commit Graph

11644 Commits

Author SHA1 Message Date
Jannis Harder ac22f1764d smt2: emit smtlib2_comb_expr outputs after all inputs 2022-06-07 19:06:45 +02:00
Jannis Harder 5f9a97d234
Merge pull request #3319 from programmerjake/smtlib2-expr-support 
add smtlib2_comb_expr
 2022-06-07 16:47:10 +02:00
Jannis Harder fe048a48b3
Merge pull request #3358 from jix/smtbmc-yices-forall 
smtbmc: Force nonincremental mode when yices is used with forall
 2022-06-07 13:19:34 +02:00
Marcelina Kościelnicka d07828b409 opt_ffinv: Harden against simple ff/inv loop. 2022-06-07 08:20:06 +02:00
Marcelina Kościelnicka 9e8a2ac051 iopadmap: Fix z assignment removal. 
Fixes #3360.
 2022-06-07 04:10:50 +02:00
github-actions[bot] aa0b47c74a Bump version 2022-06-05 00:19:28 +00:00
Miodrag Milanovic e35a166353 verific: proper file location for readmem commands 2022-06-04 08:39:50 +02:00
github-actions[bot] 8d0f71b256 Bump version 2022-06-04 00:16:35 +00:00
Jannis Harder 459941c8ff fmcombine: Add _gold/_gate suffix to memids 2022-06-03 21:52:28 +02:00
Jannis Harder ab9e887dee smtbmc: Force nonincremental mode when yices is used with forall 2022-06-03 16:45:23 +02:00
Jannis Harder 0207d7b0cf smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5 2022-06-03 16:24:09 +02:00
Jacob Lifshay 0b0123e003 don't use sed -i because it won't work on macos 2022-06-03 01:09:57 -07:00
Miodrag Milanovic d88a5d26b7 Fix preventing show crashing with newer graphviz 2022-06-03 08:38:16 +02:00
Jacob Lifshay b7c19b1c88 smtlib2_module: try to fix test on macos 2022-06-02 23:12:07 -07:00
Jacob Lifshay cd57c5adb3 smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions 2022-06-02 22:37:29 -07:00
github-actions[bot] 1eb1bc441b Bump version 2022-06-03 00:14:33 +00:00
Marcelina Kościelnicka 71dfbf33b2 Add -no-rw-check option to memory_dff + memory + synth_{ice40,ecp5,gowin}. 2022-06-02 23:16:12 +02:00
Marcelina Kościelnicka 3a0aa9c663 memory_dff: Add support for no_rw_check attribute. 2022-06-02 12:49:34 +02:00
N. Engelhardt 61b05051e1 also make 'stat' save counts to scratchpad 2022-06-01 16:01:07 +02:00
N. Engelhardt a55c3db384 have 'select -count' save the count to scratchpad entry 'select.count' 2022-06-01 14:39:33 +02:00
Jannis Harder 01cb02c81d
Merge pull request #3348 from zachjs/func-tern-hint 
verilog: fix width/sign detection for functions
 2022-05-31 15:56:36 +02:00
github-actions[bot] a79a228c2b Bump version 2022-05-31 00:16:32 +00:00
Zachary Snow a650d9079f verilog: fix width/sign detection for functions 2022-05-30 16:45:39 -04:00
Miodrag Milanović cea7e85d60
Merge pull request #3347 from DanielHuisman/fix-3053 
Fix typo in emcc flags (typo introduced by #3053)
 2022-05-30 17:03:39 +02:00
Daniel Huisman 6809ee8de0 Fix typo in emcc flags (typo introduced by #3053) 2022-05-30 17:01:02 +02:00
Jannis Harder 4bfaaea0d5 verilog: fix size and signedness of array querying functions 
genrtlil.cc and simplify.cc had inconsistent and slightly broken
handling of signedness for array querying functions. These functions are
defined to return a signed result. Simplify always produced an unsigned
and genrtlil always a signed 32-bit result ignoring the context.

Includes tests for the the relvant edge cases for context dependent
conversions.
 2022-05-30 09:11:31 -04:00
github-actions[bot] ce24208a8b Bump version 2022-05-28 00:16:59 +00:00
Patrick Urban 5d08688054
gatemate: Fix minor issues with `memory_libmap` (#3343) 2022-05-27 23:35:26 +02:00
Miodrag Milanović 197c9e04e8
Merge pull request #3333 from mohamed/feature/tmpdir 
Observe $TMPDIR variable when creating tmp files
 2022-05-27 16:51:16 +02:00
Miodrag Milanovic 08275a1569 Cleanup, and fix windows 2022-05-27 16:13:55 +02:00
Mohamed A. Bamakhrama 1822be8792 Observe $TMPDIR variable when creating tmp files 
POSIX defines $TMPDIR as containing the pathname of the directory where
programs can create temporary files. On most systems, this variable points to
"/tmp". However, on some systems it can point to a different location.
Without respecting this variable, yosys fails to run on such systems.

Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de>
 2022-05-27 15:06:53 +02:00
Miodrag Milanović bf78041e89
Merge pull request #3341 from mmicko/unused_vars 
Remove set but unused variable
 2022-05-27 14:45:35 +02:00
Miodrag Milanovic f9b6fe521d Upload emscripten artifact 2022-05-27 14:15:25 +02:00
Miodrag Milanovic 4316cdb603 Remove set but unused variable 2022-05-27 12:37:03 +02:00
Miodrag Milanovic 5490f94e82 Add emcc build (stuck if all cpus used on GH) 2022-05-27 11:05:17 +02:00
Miodrag Milanovic 0d31aa6008 Proper std::move 2022-05-27 11:04:16 +02:00
Miodrag Milanovic 7ee570a75e Use proper operator 2022-05-27 10:23:34 +02:00
Miodrag Milanović b0c71ed594
Merge pull request #3053 from DanielHuisman/pr-2 
Fix emcc warnings for WebAssembly build
 2022-05-27 10:13:44 +02:00
github-actions[bot] f698a0514d Bump version 2022-05-26 00:17:28 +00:00
Jannis Harder b75fa62e9b verilog: fix $past's signedness 2022-05-25 16:32:08 -04:00
Miodrag Milanović 63c9c9be5c
Merge pull request #3011 from DanielHuisman/pr-1 
Update WaveDrom script URLs in YosysJS demo
 2022-05-25 17:34:19 +02:00
Jannis Harder 8e9471c695
Merge pull request #3335 from programmerjake/divfloor-in-write_smt2 
add $divfloor support to write_smt2
 2022-05-25 12:25:04 +02:00
Miodrag Milanović 904e2efe11
Merge pull request #3138 from DanielG/fix-git-rev 
Make GIT_REV logic work in release tarballs
 2022-05-25 11:33:11 +02:00
Daniel Gröber 222e7a2da3 Make GIT_REV logic work in release tarballs 
Currently GIT_REV doesn't get set properly when building a release
tarball. To fix this we arrange for .gitcommit to contain the (short)
commit hash in tarballs generated with git-archive(1) using export-subst in
gitattributes. This way the correct commit hash is (reproducibly) included
in the release tarballs while not burdening the maintainers with updating
it in the git repo.

Please note this even works on Github and similar forges as they use
git-archive for generating tarballs so this works out quite nicely.
 2022-05-25 11:20:09 +02:00
Jannis Harder cffec1f95f verilog: fix signedness when removing unreachable cases 2022-05-24 23:03:31 -04:00
Jacob Lifshay d53479a0d6 add $divfloor support to write_smt2 
Fixes: #3330
 2022-05-24 01:34:25 -07:00
github-actions[bot] c525b5f919 Bump version 2022-05-24 00:18:18 +00:00
Miodrag Milanović 335b4888ce
Merge pull request #3332 from YosysHQ/verific_f 
Update Verific command file documentation
 2022-05-23 20:01:44 +02:00
Miodrag Milanovic fdb393b6ce fix text to fit 80 columns 2022-05-23 19:57:21 +02:00
Miodrag Milanovic 4a5790d404 Update verific command file documentation 2022-05-23 19:35:14 +02:00