Jannis Harder
0c5f62f6ff
smtbmc: noincr: keep solver running for post check-sat unrolling
2022-06-08 13:20:25 +02:00
Jannis Harder
6db2948938
Merge pull request #3357 from jix/smtbmc-cvc5
...
smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5
2022-06-08 12:52:51 +02:00
Miodrag Milanovic
a0172e68c5
More updates on CHANGELOG
2022-06-08 11:41:13 +02:00
Miodrag Milanovic
096f3d2aa4
Update changelog and manual
2022-06-08 11:28:06 +02:00
Lofty
aae2c01326
sta: warn on unrecognised cells only once
2022-06-08 09:31:49 +01:00
github-actions[bot]
4afb951283
Bump version
2022-06-08 00:15:24 +00:00
Jannis Harder
d9bb10ba5f
Merge pull request #3367 from jix/smtlib2-module-fixes
...
smt2: emit smtlib2_comb_expr outputs after all inputs
2022-06-07 19:45:47 +02:00
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
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
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
b7c19b1c88
smtlib2_module: try to fix test on macos
2022-06-02 23:12:07 -07:00
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
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
d53479a0d6
add $divfloor support to write_smt2
...
Fixes : #3330
2022-05-24 01:34:25 -07:00
