diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 14:57:37 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 14:57:37 +0100 |
| commit | b5fddf170e4f4d798b0411f417735cec21e20b29 (patch) | |
| tree | a39f6833d0cabddb6a8590380fd57a62d246ee91 /verifuzz.cabal | |
| parent | 2fa63899e60e1a645b17add333ea20c31eb7b0ae (diff) | |
| download | verismith-b5fddf170e4f4d798b0411f417735cec21e20b29.tar.gz verismith-b5fddf170e4f4d798b0411f417735cec21e20b29.zip | |
Add Identity synthesiser
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 70b42c8..ac44a1e 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -41,6 +41,7 @@ library , VeriFuzz.Result , VeriFuzz.Sim , VeriFuzz.Sim.Icarus + , VeriFuzz.Sim.Identity , VeriFuzz.Sim.Internal , VeriFuzz.Sim.Quartus , VeriFuzz.Sim.Template |