Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Blame Permalink
  • ZipCPU's avatar
    7608531e
    Master make target test now works · 7608531e
    ZipCPU authored 
    FORMAL proofs no longer depend on the commercial
  Symbiotic EDA Suite.
More updates to remove unnamed generate blocks
Moved sim_testcases to the sim directory
stepchk source added to the repository, necessary to
  pass the test suite
    7608531e
    History
    Master make target test now works
    ZipCPU authored 
    FORMAL proofs no longer depend on the commercial
  Symbiotic EDA Suite.
More updates to remove unnamed generate blocks
Moved sim_testcases to the sim directory
stepchk source added to the repository, necessary to
  pass the test suite