Commits · trustit · Per Lindgren / klee-examples

Browse files

Feb 10, 2020
- fixed parsing · 2874c050
  Per authored 5 years ago
  
  2874c050
Feb 09, 2020
- cargo-trust opt understanding somewhat improved · 8cb90636
  Per authored 5 years ago
  
  8cb90636
- Local paths to cortex-m/rt · 69f63ad0
  Per authored 5 years ago
  
  69f63ad0
Jan 20, 2020
- replay support (wip2) · 37acafe3
  Per Lindgren authored 5 years ago
  
  37acafe3
Jan 17, 2020
- fixed typos in EXAM.md · b7466925
  Per Lindgren authored 5 years ago
  
  b7466925
- Merge branch 'devel' into trustit · 9100dbe8
  Per authored 5 years ago
  
  9100dbe8
- trustit wip · 260ccaf0
  Per authored 5 years ago
  
  260ccaf0
Jan 16, 2020
- bump to 0.4.0 · b8057e37
  Per Lindgren authored 5 years ago
  
  b8057e37
- fixed the missing import and Cargo.toml (no longer assuming a local path to probe.rs) · 5441e3f9
  Per Lindgren authored 5 years ago
  
  5441e3f9
- EXAM · a8b6f47b
  Per authored 5 years ago
  
  a8b6f47b
Jan 14, 2020
- runner · dc6cddf0
  Per Lindgren authored 5 years ago
  
  dc6cddf0
- example · 4e416dd8
  Per Lindgren authored 5 years ago
  
  4e416dd8
- inline-asm · 54e25a25
  Per Lindgren authored 5 years ago
  
  54e25a25
Jan 13, 2020
- ktest · a201c66f
  Per authored 5 years ago
  
  a201c66f
- runner examples · d2d86753
  Per authored 5 years ago
  
  d2d86753
- runner refactoring · c2e88a26
  Per authored 5 years ago
  
  c2e88a26
- runner refactoring · 4de57d13
  Per authored 5 years ago
  
  4de57d13
- cyclecounter working · 45eef53e
  Per authored 5 years ago
  
  45eef53e
Jan 12, 2020
- reading instructions, break step · b8ce62e6
  Per authored 5 years ago
  
  b8ce62e6
- programmnig, reading and writing cleanup · 654619be
  Per authored 5 years ago
  
  654619be
- with programming · 8c346413
  Per authored 5 years ago
  
  8c346413
- probe.rs connection, mem read, step, run, halt works · 21b69784
  Per Lindgren authored 5 years ago
  
  21b69784
Jan 11, 2020
- ktest and runner wip · 75303861
  Per Lindgren authored 5 years ago
  
  75303861
Jan 10, 2020
- mostly comments and README.md · fae6f193
  Per Lindgren authored 5 years ago
  
  fae6f193
- mostly comments and README.md · aad74fbe
  Per Lindgren authored 5 years ago
  
  aad74fbe
- mostly comments and README.md · ccf21da9
  Per Lindgren authored 5 years ago
  
  ccf21da9
Jan 09, 2020
- readme updated · 5f54a10f
  Per Lindgren authored 5 years ago
  
  5f54a10f
- This is the way! · 93073bdc
  Per authored 5 years ago
  
  93073bdc
Jan 08, 2020
- examples tidy up · fbfade07
  Per authored 5 years ago
  
  fbfade07
- register test (gdb problem?) · 44409b65
  Per authored 5 years ago
  
  44409b65
- major update to examples · 435742ae
  Per authored 5 years ago
  
  435742ae
Jan 07, 2020
- rtfm rtpro compiles · 51dedf4e
  Per authored 5 years ago
  
  51dedf4e
Jan 02, 2020
- examples · be22f4a1
  Per Lindgren authored 5 years ago
  
  be22f4a1
Jan 01, 2020
- wip (its a mess) · 82e9a08f
  Per authored 5 years ago
  
  82e9a08f
- examples · df8eaa8c
  Per Lindgren authored 5 years ago
  
  df8eaa8c
Dec 31, 2019
- cortex_m_rt_test · 62864935
  Per authored 5 years ago
  
  62864935
Dec 30, 2019
- cortex_m_test · 7fa81f96
  Per authored 5 years ago
  
  7fa81f96
- regist_test with replay · abedf760
  Per authored 5 years ago
  
  abedf760
- examples · 4e61acde
  Per authored 5 years ago
  
  4e61acde
- klee_only_test · f6a7dad8
  Per authored 5 years ago
  
  f6a7dad8