Krystine Sherwin
b9485ce094
register.h: Add internal_flag to Pass
...
Update experimental pass warnings to use a shared function. Reduces repetition, and also allows all of the warning flags to be combined (which at present is just experimental and the new internal).
Update `test_*` passes to call `internal()` in their constructors.
2025-03-21 10:26:12 +13:00
Emil J. Tywoniak
4f3fdc8457
io: refactor string and file work into new unit
2025-03-19 13:43:42 +01:00
KrystalDelusion
9fa1f0e70c
Merge pull request #4567 from kivikakk/cxxrtl-escape-trailing
...
cxxrtl: use octal encoding of non-printables.
2025-03-14 16:52:07 +13:00
KrystalDelusion
65748b8387
Merge pull request #4898 from Anhijkt/fix-xaiger-segfault
...
write_xaiger: Detect and error on combinatorial loops
2025-03-13 10:49:48 +13:00
N. Engelhardt
c74df780b7
Merge pull request #4884 from YosysHQ/docs-preview-functional_tutorial
...
Docs: More on FunctionalIR
2025-03-10 15:05:55 +00:00
Anhijkt
a8052f653a
write_xaiger: Detect and error on combinatorial loops
2025-02-14 01:21:39 +02:00
Krystine Sherwin
fa2d45a922
smtr: Refactor write back into _eval and _initial
...
Easier for comparisons, and the structure still works. (I don't remember why I moved away from it in the first place.)
2025-02-07 13:58:09 +13:00
Robin Ole Heinemann
0ab13924a5
write_verilog: log_abort on unhandled $check flavor
2025-01-30 14:18:02 +00:00
Robin Ole Heinemann
2f11dc87c9
write_verilog: emit $check cell names as labels
2025-01-30 14:18:02 +00:00
Catherine
3076803c9e
write_json: missing \n in help text.
2025-01-23 05:17:52 +00:00
N. Engelhardt
77b28442a5
emit $scopeinfo cells by default
2025-01-08 14:47:46 +01:00
N. Engelhardt
dab7905cbe
write_json: add option to include $scopeinfo cells
2025-01-08 13:33:56 +01:00
Krystine Sherwin
7698dfba5e
smtr: Fix help text
...
Can't take both [selection] and [filename] optional arguments.
2025-01-06 14:31:50 +13:00
Catherine
1ef4c7f565
yosys-smtbmc: add cvc5 to help text.
2024-12-25 04:59:02 +00:00
Emil J. Tywoniak
d071489ab1
hashlib: redo interface for flexibility
2024-12-18 14:49:25 +01:00
Martin Povišer
86fad8f6f5
Merge pull request #4803 from povik/write_verilog-buf
...
write_verilog: Use assign for `$buf`
2024-12-10 20:10:58 +01:00
Martin Povišer
559209c856
abc_new: Fix PI confusion in whitebox model export
2024-12-10 14:27:29 +01:00
Martin Povišer
495a7805ec
aiger2: Support $extern: hierarchy
...
`$extern:...` modules inserted by `techmap -extern` are special in the
regard that they have a private ID (starting with a dollar sign) but are
not an internal cell. Support those modules in xaiger export.
2024-12-10 14:27:29 +01:00
Martin Povišer
e7b21d2706
write_verilog: Use assign for $buf
2024-12-05 18:28:23 +01:00
Krystine Sherwin
e634e9c26b
aiger2: Resolve warnings
...
- Remove unused statics CONST_FALSE and CONST_TRUE (which appear to have been folded into the `Index` declaration as CFALSE and CTRUE).
- Assign default value of EMPTY_LIT to `a` and `b` for comparison ops.
- Tag debug only variables with YS_MAYBE_UNUSED, don't assign unused variables (but continue to call the function because it moves the file pointer).
2024-12-03 14:01:57 +13:00
Krystine Sherwin
1de5d98ae2
Reduce comparisons of size_t and int
...
`Const::size()` returns int, so change iterators that use it to `auto` instead of `size_t`.
For cases where size is being explicitly cast to `int`, use the wrapper that we already have instead: `Yosys::GetSize()`.
2024-11-29 12:53:29 +13:00
KrystalDelusion
dcff8b0666
Merge pull request #4719 from AdamLee7/main
...
add select option for write_json
2024-11-19 08:42:38 +13:00
Akash Levy
ace558e90c
Simplify using module->ports, which is apparently sorted
2024-11-17 11:36:30 -08:00
Akash Levy
3a32729373
Remove keep_running variable (unused)
2024-11-17 10:40:04 -08:00
Akash Levy
8f9a0b680a
Fix O(N^2) port dump down to O(N)
2024-11-16 22:56:41 -08:00
Robin Ole Heinemann
6d4f056a35
cxxrtl: use debug attrs of alias not aliasee
2024-11-12 13:07:33 +00:00
Robin Ole Heinemann
8bc4bd8a20
cxxrtl, fmt: escape double quotes in c strings
2024-11-11 18:49:05 +00:00
Jannis Harder
558b2f9ae9
Merge pull request #3953 from georgerennie/bug_3769
...
write_smt2: Check for constant bool after fully resolving signal
2024-11-11 16:23:35 +01:00
Jannis Harder
014cb531aa
Merge pull request #4645 from georgerennie/george/btor_undef_array_init
...
write_btor: only initialize array with const value when it is fully def
2024-11-11 16:18:57 +01:00
Jannis Harder
261b44718d
Merge pull request #4641 from georgerennie/george/btor_undriven_wires
...
write_btor: don't emit undriven bits multiple times
2024-11-11 16:17:25 +01:00
AdamLee7
7ed359fa7b
add select option for write_json
2024-11-07 17:48:06 +08:00
Krystine Sherwin
ee73a91f44
Remove references to ilang
2024-11-05 12:36:31 +13:00
Martin Povišer
598f6c9de9
aiger2: Fix open-coded constants
2024-10-26 08:54:01 +02:00
Emil J. Tywoniak
785bd44da7
rtlil: represent Const strings as std::string
2024-10-14 06:28:12 +02:00
Jean-François Nguyen
f953a516d0
cxxrtl: fix handling of 0-bit variables in vcd_writer.sample().
2024-10-13 01:00:40 +01:00
Robin Ole Heinemann
0f762f75a6
cxxrtl: fix vcd writer scope handling
...
The vcd writer incorrectly treated two scope vectors as the same, whenever
they have the same length of entries and the last item matches.
This is however not always true, for example consider a current_scope of
["top", "something0", "same"]
and a scope of
["top", "something1", "same"]
2024-10-12 14:41:53 +01:00
Robin Ole Heinemann
a761999579
cxxrtl: fix formatting of UNICHAR
...
This caused compilation to fail when the argument of any, not just
UNICHAR formatting operations, is bigger than 32 bits.
Fixes #4644
2024-10-09 14:39:37 +01:00
George Rennie
6ab3931964
write_btor: only initialize array with const value when it is fully def
...
* If all addresses of an array have the same initial value, they can be
initialized in one go in btor with the constraint that the initial
value must be fully const and thus can't have undef bits in
2024-10-09 15:07:56 +02:00
George Rennie
268926cb5b
write_btor: don't emit undriven bits multiple times
...
* Fixes #4640
2024-10-08 14:39:21 +02:00
KrystalDelusion
0be3b7de51
Merge pull request #4635 from YosysHQ/krys/pr_docs_ci
...
Remove make docs race conditions (and other docs fixes)
2024-10-08 21:39:30 +13:00
Miodrag Milanovic
f079772ade
Add TODO for missing help messages
2024-10-08 08:47:51 +02:00
Jannis Harder
b3b88e56d4
Merge pull request #4609 from georgerennie/george/smtbmc_paths
...
smtbmc: escape path identifiers
2024-10-07 20:36:24 +02:00
Martin Povišer
72f0fea9e8
aiger2: Try to fix VS build
2024-10-07 12:27:37 +02:00
Martin Povišer
47fd2b9deb
aiger2: Update help
2024-10-07 12:03:49 +02:00
Martin Povišer
373e7a1485
aiger2: Fix print
2024-10-07 12:03:49 +02:00
Martin Povišer
ebe51e206e
aiger2: Fix warnings
2024-10-07 12:03:49 +02:00
Martin Povišer
ac79a052ba
aiger2: Adjust help
2024-10-07 12:03:49 +02:00
Martin Povišer
81688e3ba2
aigsize: Remove
2024-10-07 12:03:49 +02:00
Martin Povišer
b8f389370b
aiger2: Convert x-states to zeroes
2024-10-07 12:03:48 +02:00
Martin Povišer
4c0a8a1326
aiger2: Add analysis step to order boxes
2024-10-07 12:03:48 +02:00
