sfcX/src/test/scala/firrtl/backends/experimental/smt/end2end, branch master

[smt] treat stop with non-zero ret like an assertion (#2338)

2021-08-30T20:41:24+00:00

We treat it as an assertion that the stop will
never be enabled. stop(0) will still be ignored
(but now demoted to a info from a warning).

[smt] make SMTLib + Btor2 emitters public objects (#2326)

2021-08-10T18:29:35+00:00

This will make it easier for formal verification
libraries to make use of these emitters.

[smt] PropagatePresetAnnotations is now a real prereq (#2325)

2021-08-10T16:36:33+00:00

Replace hard coded line separators with system specific ones (#2281)

2021-07-07T15:25:06+00:00

Use os-lib to rewrite Z3ModelChecker (#2223)

2021-05-17T21:58:21+00:00

* add os-lib to dependency.

* use os-lib in Z3ModelChecker

* fix for review by Kevin.

SMT: memory port inout fields cannot be used as RHS expressions (#2105)

2021-03-08T23:39:15+00:00

* SMT: memory port inout fields cannot be used as RHS expressions

* smt: add end2end check for read enable modelling

Remove Scala 2.11 (#2062)

2021-03-02T23:32:24+00:00

smt: add support for uninterpreted ext modules (#1994)

2020-12-02T19:21:31+00:00

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

smt: add support for write-first memories (#1948)

2020-11-11T20:12:45+00:00

Fix SMT Memory Bug (#1942)

2020-11-10T03:57:08+00:00

* smt: add test for write port collision

* smt: add missing call to insertDummyAssignsForMemoryOutputs

* smt: fix typo in write port code

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>