N. Engelhardt
871b277d35
Merge pull request #3359 from jix/fmcombine-memid
...
fmcombine: Add _gold/_gate suffix to memids
2022-06-09 17:12:34 +02:00
Henner Zeller
9c41b43191
Use compiler-generated default constructor for RTLIL::Const::Const
...
No need for a manual implementation.
While at it: have the constructor that takes a string take a
const string reference instead to avoid a copy.
2022-06-09 16:07:45 +01:00
Henner Zeller
9d41aa8e28
Avoid unnecessary copy of a potential large constant value.
...
The local variable is used just to iterate through the values, so
a const reference is all we need.
2022-06-09 16:05:51 +01:00
Miodrag Milanovic
6e8e4b4550
verific: Added "-vlog-libext" option to specify search extension for libraries
2022-06-09 08:57:48 +02:00
github-actions[bot]
d1b2beab12
Bump version
2022-06-09 00:16:16 +00:00
Marcelina Kościelnicka
47efc04a7d
wreduce: Introduce -mux_undef option (aligned with opt_expr).
2022-06-08 21:28:58 +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
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
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
