ymherklotz/verismith

Issues

• It would be nice to have a stack.yaml in the repo?

  #103 opened 3 months ago by bojle
  10

• Remove Travis CI file and possibly add Github Actions

  #92 opened 9 months ago by ymherklotz
  0

• Build failed due to dependency errors (tasty-hedgehog >=1.0 && <1.2)

  #99 opened 9 months ago by YikeZhou
  1

• Build fails: 'can't find include file HsTimeConfig.h' and other errors

  #85 opened 9 months ago by yurivict
  6

• verismith never generates simple 'if' statements - only 'if/else' statements

  #94 opened 2 years ago by yurivict
  0

• can I use the EMI？

  #95 opened 9 months ago by 1353369570
  1

• Update the nixpkgs pin to include vector 0.13

  #96 opened 9 months ago by ymherklotz
  0

• nix build failure on Ubuntu 20.04.6 LTS (GNU/Linux 5.15.90.1-microsoft-standard-WSL2 x86_64)

  #98 opened 9 months ago by blackcoatzhou
  1

• verismith doesn't complain about undefined config values in config file

  #88 opened 2 years ago by yurivict
  1

• Add SystemVerilog parsers found in sv-tests?

  #77 opened 4 years ago by mithro
  2

• Shuffle signal and module instantiation

  #81 opened 2 years ago by dwRchyngqxs
  0

• verismith generates mismatching Verilog assign statements

  #90 opened 2 years ago by yurivict
  0

• verismith doesn't generate assign statements with concatenation and bit selectors in the LHS

  #89 opened 2 years ago by yurivict
  0

• The README section 'Build with cabal from source' should begin with 'cabal update'

  #87 opened 2 years ago by yurivict
  0

• I can't understand the readme you wrote

  #79 opened 2 years ago by cemery123
  19

• "Resources" links are broken

  #78 opened 4 years ago by forrestv
  1

• Division with context-sensitive guards

  #66 opened 5 years ago by ymherklotz
  0

• Parallelise the reduction algorithm

  #68 opened 5 years ago by ymherklotz
  0

• Add python scripts into the main program

  #56 opened 5 years ago by ymherklotz
  0

• Add support for more Verilog constructs

  #59 opened 5 years ago by ymherklotz
  0

• Add simple nondeterminism to the generation step

  #62 opened 5 years ago by ymherklotz
  0

• Remove unsafe head from Lenses

  #51 opened 5 years ago by ymherklotz
  0

• License has contradictory wording

  #72 opened 5 years ago by krupan
  3

• Support combinational always blocks

  #61 opened 5 years ago by ymherklotz
  0

• run nix-build has no response

  #71 opened 5 years ago by semiwizard
  1

• cabal: Could not resolve dependencies:

  #69 opened 5 years ago by semiwizard
  3

• Add option to remove folders that pass synthesis

  #55 opened 5 years ago by ymherklotz
  0

• Add reduction algorithm optimisation

  #60 opened 5 years ago by ymherklotz
  1

• Add a rerun option instead of hijacking reduce

  #57 opened 5 years ago by ymherklotz
  1

• Error in for loop reduction

  #64 opened 5 years ago by ymherklotz
  1

• Mask the output of simulator based on golden design

  #58 opened 5 years ago by ymherklotz
  1

• Fix parser with new modules

  #65 opened 5 years ago by ymherklotz
  1

• Update dependency for Hedgehog

  #63 opened 5 years ago by ymherklotz
  0

• Not all inputs get initialised in module

  #54 opened 5 years ago by ymherklotz
  0

• Fix resizing of module inputs and outputs

  #52 opened 5 years ago by ymherklotz
  1

• Implement some EMI approaches

  #41 opened 6 years ago by ymherklotz
  0

• Add Report type to generate reports from

  #43 opened 6 years ago by ymherklotz
  1

• Extend parser to accept all Verilog

  #44 opened 6 years ago by ymherklotz
  1

• Add documentation to all functions

  #45 opened 6 years ago by ymherklotz
  0

• Change the hierarchy of AST

  #46 opened 6 years ago by ymherklotz
  0

• Make findActiveWire work with SourceInfo

  #50 opened 6 years ago by ymherklotz
  1

• Add LDPE module to vivado cells

  #49 opened 6 years ago by ymherklotz
  0

• Add single seed to runs, so that these can be rerun

  #40 opened 6 years ago by ymherklotz
  0

• Add simulator options to config.toml

  #48 opened 6 years ago by ymherklotz
  0

• Think about removing the Arbitrary module

  #47 opened 6 years ago by ymherklotz
  0

• Add support for Covered

  #42 opened 6 years ago by ymherklotz
  0

• Remove quickcheck completely

  #39 opened 6 years ago by ymherklotz
  1

• Support multiple modules and way to specify top module

  #37 opened 6 years ago by ymherklotz
  0

• Make types in AST more efficient

  #36 opened 6 years ago by ymherklotz
  0

• Parser not identifying input and output

  #38 opened 6 years ago by ymherklotz
  0