1. Aug 07, 2020
  2. Jul 31, 2020
  3. Jul 30, 2020
  4. Jul 29, 2020
  5. Jul 26, 2020
  6. Jul 23, 2020
    • Tom Alcorn's avatar
      Basic model checking API (#1499) · 57c846b1
      Tom Alcorn authored
      * Add `check(...)` affordance
      
      * Add assert (renamed from check and fixed)
      
      * Add verification statements
      
      * Move formal to experimental.verification
      
      * Make test use ChiselStage
      
      `generateFirrtl` has been cut from Chisel
      
      * Fix newly introduced style warnings
      
      * Fix some old style warnings for good measure
      
      * Revert "Fix some old style warnings for good measure"
      
      This reverts commit 31d51726c2faa4c277230104bd469ff7ffefc890.
      
      * Cut scalastyle comments
      
      * Cut formal delimiter comments
      57c846b1
  7. Jul 22, 2020
  8. Jul 16, 2020
  9. Jul 14, 2020
  10. Jul 06, 2020
  11. Jul 01, 2020
  12. Jun 30, 2020
    • chick's avatar
      - A few final fixes after the rebase · 3694b092
      chick authored
      3694b092
    • chick's avatar
      This adds a mechanism for the unittests to be run with the TreadleBackend · 0a17d89f
      chick authored
      This mechanism is not enabled and should not change the behavior of existing tests
      A following PR will deliver a switch that will allow changing the backend.
      The reasons for this PR
      - Treadle tests run much faster, enabling quicker debugging and CI cycles
      - This will help ensure fidelity of Treadle to the Verilator backend
      
      A few tests are marked as verilator only due to black box limitations
      
      Change treadle to a direct dependency
      
      I tried to make it a test only dependency but the TesterDriver sits in src/main requiring that
      regular compile have access to treadle
      
      Oops, made treadle the default
      
      A number of changes in response to @ducky64 review
      - made backend check clearer and add error handling for multiple backends specified
      - Fixed duplicate TargetDirAnnotation uses in Treadle backend
      - Cleaned up BlackBox test formatting
      - Undid unnecessary debugging changes from Counter
      - Undid .gitignore change, that should be on another PR
      
      A number of changes in response to @ducky64 review
      - Undid debugging changes made to BitWiseOps
      0a17d89f
  13. Jun 24, 2020
  14. Jun 23, 2020
  15. Jun 20, 2020
  16. Jun 19, 2020
  17. Jun 17, 2020