1. 28 Apr, 2019 3 commits
    • Nils Fitinghoff's avatar
      Revert "bump version" · b196a57b
      Nils Fitinghoff authored
      This reverts commit d64a7e7f.
      It breaks the build until vcell can be updated.
      b196a57b
    • Nils Fitinghoff's avatar
      bump version · d64a7e7f
      Nils Fitinghoff authored
      d64a7e7f
    • Nils Fitinghoff's avatar
      improve abort identification in KLEE output · 519a1dc7
      Nils Fitinghoff authored
      KLEE reports the line that called `ll::abort()`. The previous
      solution called a safe `abort()` which in turn called `ll::abort`. This
      meant that every abort was reported as originating in this library.
      
      This replaces the safe `abort()` function with a macro `kabort!()`. The
      behavior differs in that `kabort!()` expands to nothing when not in KLEE
      mode, while `abort()` expanded to a panic.
      
      The macro causes the call to `ll::abort()` to happen directly from user
      code from KLEE's point of view.
      519a1dc7
  2. 27 Apr, 2019 1 commit
  3. 19 Feb, 2019 2 commits
  4. 16 Feb, 2019 2 commits
  5. 31 Dec, 2018 1 commit
  6. 29 Dec, 2018 1 commit
  7. 28 Dec, 2018 6 commits
  8. 27 Dec, 2018 1 commit
  9. 25 Dec, 2018 3 commits
  10. 24 Dec, 2018 9 commits