diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-04 16:50:00 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-04 16:50:00 +0000 |
| commit | 8454ad46e1022f50fcc0eaf717d2806500e2d7fa (patch) | |
| tree | cba2a6c211f673c845337bb9cb467fb00ea1eec3 /src/VeriFuzz.hs | |
| parent | 8a4fa6bbacfd613904f895f66389ff5a4a11bbff (diff) | |
| download | verismith-8454ad46e1022f50fcc0eaf717d2806500e2d7fa.tar.gz verismith-8454ad46e1022f50fcc0eaf717d2806500e2d7fa.zip | |
Add toml configuration support for probabilities
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 9bf3602..7e6a25e 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -15,6 +15,7 @@ module VeriFuzz , draw , SourceInfo(..) , module VeriFuzz.AST + , module VeriFuzz.Config , module VeriFuzz.ASTGen , module VeriFuzz.Circuit , module VeriFuzz.CodeGen @@ -49,6 +50,7 @@ import VeriFuzz.AST import VeriFuzz.ASTGen import VeriFuzz.Circuit import VeriFuzz.CodeGen +import VeriFuzz.Config import VeriFuzz.Env import VeriFuzz.Gen import VeriFuzz.Icarus |