├── .dir-locals.el ├── .envrc ├── .gitattributes ├── .github └── workflows │ └── main.yml ├── .gitignore ├── LICENSE ├── README.md ├── Setup.hs ├── app └── Main.hs ├── bugs ├── icarus_10.md ├── quartus_12.md ├── vivado_1.md ├── vivado_2.md ├── vivado_3.md ├── vivado_4.md ├── vivado_5.md ├── yosys_11.md ├── yosys_13.md ├── yosys_6.md ├── yosys_7.md ├── yosys_8.md └── yosys_9.md ├── data ├── README.md ├── cells_cmos.v ├── cells_cyclone_v.v ├── cells_verific.v ├── cells_xilinx_7.v └── cells_yosys.v ├── default.nix ├── examples ├── config.toml ├── decl.v ├── shift.v └── simple.v ├── experiments ├── config_all.toml ├── config_extra_large.toml ├── config_large.toml ├── config_large_yosys.toml ├── config_medium.toml ├── config_medium_rand.toml ├── config_size_l.toml ├── config_size_m.toml ├── config_size_s.toml ├── config_size_xl.toml ├── config_small.toml ├── config_tiny.toml ├── config_yosys.toml ├── instructions.md ├── instructions.org ├── quartus_all.toml ├── reduction.org ├── test.csv ├── verismith_creduce.csv ├── vivado_all.toml └── yosys_all.toml ├── flake.lock ├── flake.nix ├── scripts ├── Dockerfile ├── build.sh ├── config.toml ├── convert.py ├── exclude.sh ├── filter_icarus.sh ├── parallelsets.py ├── reducer.sh ├── run.py ├── scale.py ├── setup.sh ├── size.py └── swarm.py ├── shell.nix ├── src ├── Verismith.hs └── Verismith │ ├── Circuit.hs │ ├── Circuit │ ├── Base.hs │ ├── Gen.hs │ ├── Internal.hs │ └── Random.hs │ ├── Config.hs │ ├── CounterEg.hs │ ├── EMI.hs │ ├── Fuzz.hs │ ├── Generate.hs │ ├── OptParser.hs │ ├── Reduce.hs │ ├── Report.hs │ ├── Result.hs │ ├── Shuffle.hs │ ├── Tool.hs │ ├── Tool │ ├── Icarus.hs │ ├── Identity.hs │ ├── Internal.hs │ ├── Quartus.hs │ ├── QuartusLight.hs │ ├── Template.hs │ ├── Vivado.hs │ ├── XST.hs │ └── Yosys.hs │ ├── Utils.hs │ ├── Verilog.hs │ ├── Verilog │ ├── AST.hs │ ├── BitVec.hs │ ├── CodeGen.hs │ ├── Distance.hs │ ├── Eval.hs │ ├── Internal.hs │ ├── Lex.x │ ├── Mutate.hs │ ├── Parser.hs │ ├── Preprocess.hs │ ├── Quote.hs │ └── Token.hs │ ├── Verilog2005.hs │ └── Verilog2005 │ ├── AST.hs │ ├── Generator.hs │ ├── Lexer.x │ ├── LibPretty.hs │ ├── Parser.hs │ ├── PrettyPrinter.hs │ ├── Randomness.hs │ ├── Token.hs │ └── Utils.hs ├── test ├── Benchmark.hs ├── Config.hs ├── Distance.hs ├── Doctest.hs ├── Parser.hs ├── Property.hs ├── Reduce.hs ├── Test.hs ├── Unit.hs ├── data │ ├── additional.toml │ └── default_config.toml └── doctest.json └── verismith.cabal /.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/.dir-locals.el -------------------------------------------------------------------------------- /.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/.envrc -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/Setup.hs -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/app/Main.hs -------------------------------------------------------------------------------- /bugs/icarus_10.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/icarus_10.md -------------------------------------------------------------------------------- /bugs/quartus_12.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/quartus_12.md -------------------------------------------------------------------------------- /bugs/vivado_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/vivado_1.md -------------------------------------------------------------------------------- /bugs/vivado_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/vivado_2.md -------------------------------------------------------------------------------- /bugs/vivado_3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/vivado_3.md -------------------------------------------------------------------------------- /bugs/vivado_4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/vivado_4.md -------------------------------------------------------------------------------- /bugs/vivado_5.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/vivado_5.md -------------------------------------------------------------------------------- /bugs/yosys_11.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/yosys_11.md -------------------------------------------------------------------------------- /bugs/yosys_13.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/yosys_13.md -------------------------------------------------------------------------------- /bugs/yosys_6.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/yosys_6.md -------------------------------------------------------------------------------- /bugs/yosys_7.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/yosys_7.md -------------------------------------------------------------------------------- /bugs/yosys_8.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/yosys_8.md -------------------------------------------------------------------------------- /bugs/yosys_9.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/bugs/yosys_9.md -------------------------------------------------------------------------------- /data/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/data/README.md -------------------------------------------------------------------------------- /data/cells_cmos.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/data/cells_cmos.v -------------------------------------------------------------------------------- /data/cells_cyclone_v.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/data/cells_cyclone_v.v -------------------------------------------------------------------------------- /data/cells_verific.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/data/cells_verific.v -------------------------------------------------------------------------------- /data/cells_xilinx_7.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/data/cells_xilinx_7.v -------------------------------------------------------------------------------- /data/cells_yosys.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/data/cells_yosys.v -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/default.nix -------------------------------------------------------------------------------- /examples/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/examples/config.toml -------------------------------------------------------------------------------- /examples/decl.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/examples/decl.v -------------------------------------------------------------------------------- /examples/shift.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/examples/shift.v -------------------------------------------------------------------------------- /examples/simple.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/examples/simple.v -------------------------------------------------------------------------------- /experiments/config_all.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_all.toml -------------------------------------------------------------------------------- /experiments/config_extra_large.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_extra_large.toml -------------------------------------------------------------------------------- /experiments/config_large.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_large.toml -------------------------------------------------------------------------------- /experiments/config_large_yosys.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_large_yosys.toml -------------------------------------------------------------------------------- /experiments/config_medium.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_medium.toml -------------------------------------------------------------------------------- /experiments/config_medium_rand.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_medium_rand.toml -------------------------------------------------------------------------------- /experiments/config_size_l.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_size_l.toml -------------------------------------------------------------------------------- /experiments/config_size_m.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_size_m.toml -------------------------------------------------------------------------------- /experiments/config_size_s.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_size_s.toml -------------------------------------------------------------------------------- /experiments/config_size_xl.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_size_xl.toml -------------------------------------------------------------------------------- /experiments/config_small.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_small.toml -------------------------------------------------------------------------------- /experiments/config_tiny.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_tiny.toml -------------------------------------------------------------------------------- /experiments/config_yosys.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/config_yosys.toml -------------------------------------------------------------------------------- /experiments/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/instructions.md -------------------------------------------------------------------------------- /experiments/instructions.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/instructions.org -------------------------------------------------------------------------------- /experiments/quartus_all.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/quartus_all.toml -------------------------------------------------------------------------------- /experiments/reduction.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/reduction.org -------------------------------------------------------------------------------- /experiments/test.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/test.csv -------------------------------------------------------------------------------- /experiments/verismith_creduce.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/verismith_creduce.csv -------------------------------------------------------------------------------- /experiments/vivado_all.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/vivado_all.toml -------------------------------------------------------------------------------- /experiments/yosys_all.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/experiments/yosys_all.toml -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/flake.nix -------------------------------------------------------------------------------- /scripts/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/Dockerfile -------------------------------------------------------------------------------- /scripts/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/build.sh -------------------------------------------------------------------------------- /scripts/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/config.toml -------------------------------------------------------------------------------- /scripts/convert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/convert.py -------------------------------------------------------------------------------- /scripts/exclude.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/exclude.sh -------------------------------------------------------------------------------- /scripts/filter_icarus.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/filter_icarus.sh -------------------------------------------------------------------------------- /scripts/parallelsets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/parallelsets.py -------------------------------------------------------------------------------- /scripts/reducer.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/reducer.sh -------------------------------------------------------------------------------- /scripts/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/run.py -------------------------------------------------------------------------------- /scripts/scale.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/scale.py -------------------------------------------------------------------------------- /scripts/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/setup.sh -------------------------------------------------------------------------------- /scripts/size.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/size.py -------------------------------------------------------------------------------- /scripts/swarm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/scripts/swarm.py -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- 1 | ( import ./. { doBenchmark = true; } ).env 2 | -------------------------------------------------------------------------------- /src/Verismith.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith.hs -------------------------------------------------------------------------------- /src/Verismith/Circuit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Circuit.hs -------------------------------------------------------------------------------- /src/Verismith/Circuit/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Circuit/Base.hs -------------------------------------------------------------------------------- /src/Verismith/Circuit/Gen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Circuit/Gen.hs -------------------------------------------------------------------------------- /src/Verismith/Circuit/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Circuit/Internal.hs -------------------------------------------------------------------------------- /src/Verismith/Circuit/Random.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Circuit/Random.hs -------------------------------------------------------------------------------- /src/Verismith/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Config.hs -------------------------------------------------------------------------------- /src/Verismith/CounterEg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/CounterEg.hs -------------------------------------------------------------------------------- /src/Verismith/EMI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/EMI.hs -------------------------------------------------------------------------------- /src/Verismith/Fuzz.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Fuzz.hs -------------------------------------------------------------------------------- /src/Verismith/Generate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Generate.hs -------------------------------------------------------------------------------- /src/Verismith/OptParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/OptParser.hs -------------------------------------------------------------------------------- /src/Verismith/Reduce.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Reduce.hs -------------------------------------------------------------------------------- /src/Verismith/Report.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Report.hs -------------------------------------------------------------------------------- /src/Verismith/Result.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Result.hs -------------------------------------------------------------------------------- /src/Verismith/Shuffle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Shuffle.hs -------------------------------------------------------------------------------- /src/Verismith/Tool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool.hs -------------------------------------------------------------------------------- /src/Verismith/Tool/Icarus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool/Icarus.hs -------------------------------------------------------------------------------- /src/Verismith/Tool/Identity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool/Identity.hs -------------------------------------------------------------------------------- /src/Verismith/Tool/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool/Internal.hs -------------------------------------------------------------------------------- /src/Verismith/Tool/Quartus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool/Quartus.hs -------------------------------------------------------------------------------- /src/Verismith/Tool/QuartusLight.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool/QuartusLight.hs -------------------------------------------------------------------------------- /src/Verismith/Tool/Template.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool/Template.hs -------------------------------------------------------------------------------- /src/Verismith/Tool/Vivado.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool/Vivado.hs -------------------------------------------------------------------------------- /src/Verismith/Tool/XST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool/XST.hs -------------------------------------------------------------------------------- /src/Verismith/Tool/Yosys.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Tool/Yosys.hs -------------------------------------------------------------------------------- /src/Verismith/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Utils.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/AST.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/BitVec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/BitVec.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/CodeGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/CodeGen.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/Distance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/Distance.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/Eval.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/Internal.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/Lex.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/Lex.x -------------------------------------------------------------------------------- /src/Verismith/Verilog/Mutate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/Mutate.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/Parser.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/Preprocess.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/Preprocess.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/Quote.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/Quote.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog/Token.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog/Token.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog2005.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog2005/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005/AST.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog2005/Generator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005/Generator.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog2005/Lexer.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005/Lexer.x -------------------------------------------------------------------------------- /src/Verismith/Verilog2005/LibPretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005/LibPretty.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog2005/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005/Parser.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog2005/PrettyPrinter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005/PrettyPrinter.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog2005/Randomness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005/Randomness.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog2005/Token.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005/Token.hs -------------------------------------------------------------------------------- /src/Verismith/Verilog2005/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/src/Verismith/Verilog2005/Utils.hs -------------------------------------------------------------------------------- /test/Benchmark.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/Benchmark.hs -------------------------------------------------------------------------------- /test/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/Config.hs -------------------------------------------------------------------------------- /test/Distance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/Distance.hs -------------------------------------------------------------------------------- /test/Doctest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/Doctest.hs -------------------------------------------------------------------------------- /test/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/Parser.hs -------------------------------------------------------------------------------- /test/Property.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/Property.hs -------------------------------------------------------------------------------- /test/Reduce.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/Reduce.hs -------------------------------------------------------------------------------- /test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/Test.hs -------------------------------------------------------------------------------- /test/Unit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/Unit.hs -------------------------------------------------------------------------------- /test/data/additional.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/data/additional.toml -------------------------------------------------------------------------------- /test/data/default_config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/data/default_config.toml -------------------------------------------------------------------------------- /test/doctest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/test/doctest.json -------------------------------------------------------------------------------- /verismith.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ymherklotz/verismith/HEAD/verismith.cabal --------------------------------------------------------------------------------