1. 01 Mar, 2021 3 commits
  2. 05 Sep, 2020 5 commits
  3. 07 Aug, 2020 1 commit
  4. 06 Aug, 2020 4 commits
  5. 09 May, 2020 1 commit
  6. 01 May, 2020 3 commits
  7. 16 Nov, 2019 2 commits
    • karroffel's avatar
      Merge branch 'mirai' into 'master' · c8d08307
      karroffel authored
      Connect the contracts crate to the MIRAI static analyzer.
      
      See merge request !3
      c8d08307
    • Wolfgang Grieskamp's avatar
      Connect contracts crate to the MIRAI static analyzer. · 9910acdf
      Wolfgang Grieskamp authored
      This adds a cargo feature mirai_assertions to the contracts crate. If this feature is on,
      contracts will emit MIRAI macros instead of the standard assert! style macros.
      
      To execute integration tests with MIRAI macros, use
      
          cargo test --tests --features=mirai_assertions
      
      The tests will use mocks of the MIRAI macros which map back to regular
      runtime assertions.
      9910acdf
  8. 20 Jul, 2019 6 commits
  9. 17 Jul, 2019 1 commit
  10. 07 Jun, 2019 3 commits
  11. 03 Jun, 2019 1 commit
  12. 12 Apr, 2019 3 commits
  13. 08 Apr, 2019 2 commits
  14. 07 Apr, 2019 1 commit
  15. 06 Apr, 2019 4 commits