Commits · master · Per Lindgren / cargo-klee

Dec 02, 2021
- bump readme to reflect latest KLEE 2.3-pre · cef847e1
  Per Lindgren authored 3 years ago
  
  cef847e1
Dec 01, 2021
- bump version · 5d8f6df0
  Per Lindgren authored 3 years ago
  
  5d8f6df0
Nov 04, 2021
- update to latest KLEE and llvm 12 · be1ee38f
  Per Lindgren authored 3 years ago
  
  be1ee38f
- update to latest KLEE and llvm 12 · 4e5a2602
  Per Lindgren authored 3 years ago
  
  4e5a2602
Dec 09, 2020
- update klee-sys dependency · 1a57da36
  Per Lindgren authored 4 years ago
  
  1a57da36
Dec 08, 2020
- cargo klee 0.3.0 · a6769d0a
  Per Lindgren authored 4 years ago
  
  a6769d0a
Nov 27, 2019
- examples updated · 6568c3fc
  Per authored 5 years ago
  
  6568c3fc
Apr 28, 2019
- Revert "bump version" · b196a57b
  Nils Fitinghoff authored 6 years ago
  b196a57b
- bump version · d64a7e7f
  Nils Fitinghoff authored 6 years ago
  
  d64a7e7f
- improve abort identification in KLEE output · 519a1dc7
  Nils Fitinghoff authored 6 years ago
  519a1dc7
Apr 27, 2019
- add simpler clock tree derivation, up edition · d6ddde24
  Nils Fitinghoff authored 6 years ago
  d6ddde24
Feb 19, 2019
- src/foo.rs docs updated · 9c2b272b
  Per authored 6 years ago
  
  9c2b272b
- readme · e16765b6
  Per authored 6 years ago
  
  e16765b6
Feb 16, 2019
- clk derive and proof improved · 37b47442
  Per Lindgren authored 6 years ago
  
  37b47442
- clk derive and proof · 48de5c26
  Per Lindgren authored 6 years ago
  
  48de5c26
Dec 31, 2018
- updated klee-examples · 7d2f3699
  Per Lindgren authored 6 years ago
  
  7d2f3699
Dec 29, 2018
- updated exompples toml, and klee option · c24284b1
  Per Lindgren authored 6 years ago
  
  c24284b1
Dec 28, 2018
- updated exompples toml · 24a66afa
  Per Lindgren authored 6 years ago
  
  24a66afa
- klee-examples/Cargo.toml · d2c7a71c
  Per Lindgren authored 6 years ago
  
  d2c7a71c
- klee-examples/Cargo.toml · 3a161f3d
  Per Lindgren authored 6 years ago
  
  3a161f3d
- updated exompples teml · 5135013a
  Per Lindgren authored 6 years ago
  
  5135013a
- updated examples · cd7a46e7
  Per Lindgren authored 6 years ago
  
  cd7a46e7
- no lang items · 328ce95b
  Per Lindgren authored 6 years ago
  
  328ce95b
Dec 27, 2018
- &'static CStr · 9a503050
  Per Lindgren authored 6 years ago
  
  9a503050
Dec 25, 2018
- use git instead of path · bdd593e0
  Per Lindgren authored 6 years ago
  
  bdd593e0
- cleaning · f724aded
  Per Lindgren authored 6 years ago
  
  f724aded
- examples · 537b53f2
  Per Lindgren authored 6 years ago
  
  537b53f2
Dec 24, 2018
- tmp · b716f56a
  Per Lindgren authored 6 years ago
  
  b716f56a
- renames · 6f374718
  Per Lindgren authored 6 years ago
  
  6f374718
- commenting example · cafef982
  Per Lindgren authored 6 years ago
  
  cafef982
- tidying up · cb5a6ef9
  Per Lindgren authored 6 years ago
  
  cb5a6ef9
- lib.rs · a7968bec
  Per Lindgren authored 6 years ago
  
  a7968bec
- .gitignore · 111b305c
  Per Lindgren authored 6 years ago
  
  111b305c
- tmp · cc8440f3
  Per Lindgren authored 6 years ago
  
  cc8440f3
- disable volatile register · 68dc73d2
  Per Lindgren authored 6 years ago
  
  68dc73d2
- initial commit, paths broken · eb47927d
  Per Lindgren authored 6 years ago
  
  eb47927d