3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-05 17:14:08 +00:00

docs/rosette: Fix tenses

This commit is contained in:
Krystine Sherwin 2025-03-07 08:39:21 +13:00
parent b56e3ec6e4
commit c9785584da
No known key found for this signature in database

View file

@ -229,14 +229,14 @@ semantics/syntax of the language.
The major changes from the SMT-LIB backend are as follows:
- all of the ``Smt`` prefixes in names are replace with ``Smtr`` to mean
- all of the ``Smt`` prefixes in names are replaced with ``Smtr`` to mean
``smtlib_rosette``;
- syntax is adjusted for Racket;
- data structures for input/output/state are changed from using
``declare-datatype`` with statically typed fields, to using ``struct`` with no
static typing;
- the transfer function also loses its static typing;
- sign/zero extension in Rosette uses the output width instead of the number of
- sign/zero extension in Rosette use the output width instead of the number of
extra bits, gaining static typing;
- the single scope is traded for a global scope with local scope for each
struct;