Krystine Sherwin
560b5fe6bd
docs/functional: Add dummy toy example
...
Add `dummy.cc`, loosely based on `backends/functional/test_generic.cc` but as an actualy backend and without the memory testing.
Skeleton section for minimal functional backend, describing the aforementioned `dummy.cc`.
2025-02-27 16:14:59 +13:00
Krystine Sherwin
db823a6acb
docs/rosette: Fix inline code
2025-02-27 16:11:44 +13:00
Krystine Sherwin
c429aef60f
docs/rosette: More intro of SMT-LIB backend
...
As the intro paragraph (now) says:
> This section will introduce the SMT-LIB functional backend and what changes are needed...
The example is intended to be read without prior knowledge of the SMT-LIB backend, but the previous version glossed over a lot and instead focused on *just* what was changed.
This version should now be easier to follow without prior knowledge, while still being able to learn enough about the `Smt` version to adapt it to a different s-expression target that isn't Rosette.
Also adds a few `literalinclude`s of smtlib.cc, which is now copied to `docs/source/generated` along with producing the rosette diff on the fly (which now also has up to 20 lines of context, enabling the full `Module::write()` diff to be literal included).
2025-02-22 17:14:13 +13:00
Krystine Sherwin
819c3260ec
docs/rosette: Backend section body
2025-02-07 15:33:40 +13:00
Krystine Sherwin
b02d2c633e
docs/rosette: Module section body
2025-02-07 15:09:06 +13:00
Krystine Sherwin
34c424be68
docs/rosette: Minor updates
...
- Fixing typo
- Reference `write_functional_rosette`
- Adjusting/fixing diff sections
- Comment on why the `code-block:: diff` isn't a `literalinclude`
2025-02-07 15:08:24 +13:00
Krystine Sherwin
dc5a5b7bd1
docs/rosette: Regen rosette.diff
...
This time from the actual source, which apparently means changing all of the spaces for tabs.
2025-02-07 14:13:34 +13: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
Krystine Sherwin
d73c58fad1
docs/rosette: Sort, Struct, and PrintVisitor sections
2025-02-04 12:24:34 +13:00
Krystine Sherwin
1b6b6a77ba
docs/rosette: Add details for Scope
...
Add a diff file and use it for showing changes from smtlib to rosette.
Also add relevant sections of diff to Sort and Struct sections.
2025-01-25 09:51:20 +13:00
Krystine Sherwin
242c037158
docs/rosette: Add overview
2025-01-24 13:10:34 +13: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
Krystine Sherwin
f4c7377ac1
functional_ir.rst: Fix typo
2025-01-06 14:30:55 +13:00
Krystine Sherwin
23fa9b2014
functional_ir.rst: Initial skeleton for Rosette
2025-01-06 14:30:29 +13:00
Krystine Sherwin
ef7734d610
functional_ir.rst: Formatting
...
Line breaks.
Put intro under sub-heading.
2025-01-06 12:01:21 +13:00
github-actions[bot]
17a53b8385
Bump version
2025-01-04 00:20:29 +00:00
Martin Povišer
45e31f06b4
Merge pull request #4831 from mikesinouye/hashlib
...
Approximately double the max hash table size
2025-01-03 10:32:56 +01:00
mikesinouye
de9cb5a60c
Remove spurious prime
2025-01-02 11:05:30 -08:00
mikesinouye
1ae0d8432f
Approximately double the max hash table size
2025-01-02 08:59:11 -08:00
github-actions[bot]
cbb95cb517
Bump version
2024-12-26 00:20:44 +00:00
Catherine
1ef4c7f565
yosys-smtbmc: add cvc5 to help text.
2024-12-25 04:59:02 +00:00
github-actions[bot]
8acc77c1e0
Bump version
2024-12-20 00:21:02 +00:00
Emil J
8fd40942e9
Merge pull request #4825 from YosysHQ/emil/fix-gcc-error-directive
...
yosys_common: fix gcc warning in #error directive
2024-12-19 16:29:03 +01:00
Emil J. Tywoniak
cea5326229
yosys_common: fix gcc warning in #error directive
2024-12-19 15:55:51 +01:00
Emil J
301d9677b0
Merge pull request #4824 from YosysHQ/emil/fix-witness-stack-overflow
...
yw: fix unintensional recursion in hash_into
2024-12-19 15:30:57 +01:00
Emil J. Tywoniak
a6bd8ff3e5
yw: fix unintensional recursion in hash_into
2024-12-19 11:47:34 +01:00
github-actions[bot]
281e474d45
Bump version
2024-12-19 00:22:04 +00:00
Emil J
6ab5be4a0e
Merge pull request #4814 from YosysHQ/emil/make-test-fasterer
...
test: every test everywhere all at once
2024-12-18 19:02:39 +01:00
Emil J
f6e435fdfb
Merge pull request #4524 from YosysHQ/emil/hashlib-interface
...
Neater hashing interface
2024-12-18 18:50:53 +01:00
Emil J. Tywoniak
026e9dae9d
hashlib: fixes from jix
2024-12-18 15:09:25 +01:00
Emil J. Tywoniak
ed70038aa1
hashlib: fixes from jix
2024-12-18 15:09:25 +01:00
Emil J. Tywoniak
b9b9515bb0
hashlib: hash_eat -> hash_into
2024-12-18 15:09:25 +01:00
Emil J. Tywoniak
0a525f38c2
hashlib: declare YS_HASHING_VERSION = 1
2024-12-18 15:09:25 +01:00
Emil J. Tywoniak
1df8a3e64b
hashlib: legacy mkhash_add -> djb2_add
2024-12-18 15:09:25 +01:00
Emil J. Tywoniak
4e29ec1854
hashlib: acc -> eat
2024-12-18 15:09:25 +01:00
Emil J. Tywoniak
79acc141d5
hashlib: add deprecated mkhash function to prevent plugin breakage
2024-12-18 14:58:53 +01:00
Emil J. Tywoniak
6d53454bf5
docs: move hashing-based container details into internal docs from guidelines
2024-12-18 14:58:53 +01:00
Emil J
1401906d81
docs: formatting and fixes
...
Co-authored-by: KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com>
2024-12-18 14:58:53 +01:00
Krystine Sherwin
0454787443
Docs: Formatting and fixes
2024-12-18 14:58:51 +01:00
Emil J. Tywoniak
ad0dc17711
docs: document the ideas behind the hashing interface
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
0dafe06cd4
hashlib: run_hash uses hash_top_ops, not hash_ops
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
02a578365a
hashlib: remove is_new from HasherDJB32, implement hash_top for IdString
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
704a58ab21
hashlib: restore hash_obj_ops for pointers to indexed types
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
52b0fc03b7
hash: solo hashing interface, override for SigBit
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
b7991ed1f5
hashlib: prevent naive hashing of IdString when hashing SigBit
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
4d14399749
hashlib: allow forcing Hasher state, use it for IdString trivial hashing
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
c1af19fabc
hashlib: don't xorshift in between upper and lower word
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
209ab6fb72
hashlib: fudge always
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
582259f770
hashlib: hash_t can be set to 64-bit
2024-12-18 14:58:31 +01:00
Emil J. Tywoniak
b8738e2bd7
hashlib: use hash_t across the board
2024-12-18 14:58:31 +01:00
