1. Aug 15, 2020
  2. Aug 13, 2020
  3. Aug 12, 2020
  4. Aug 11, 2020
  5. Aug 10, 2020
  6. Aug 08, 2020
  7. Aug 07, 2020
  8. Jul 31, 2020
  9. Jul 30, 2020
  10. Jul 29, 2020
  11. Jul 26, 2020
  12. 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
  13. Jul 22, 2020
  14. Jul 16, 2020
  15. Jul 14, 2020
  16. Jul 06, 2020
  17. Jul 01, 2020
  18. 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
  19. Jun 24, 2020
  20. Jun 23, 2020