Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • devel
  • master default protected
  • trustit
3 results
Created with Raphaël 2.2.03Nov10Feb920Jan17161413121110972131Dec30282020 updates, wipmastermasterfixed parsingtrustittrustitcargo-trust opt understanding somewhat improvedMerge branch 'master' of gitlab.henriktjader.com:pln/klee-examplesSpellcheckLocal paths to cortex-m/rtSpellcheckreplay support (wip2)fixed typos in EXAM.mdfixed typos in EXAM.mdMerge branch 'devel' into trustittrustit wipbump to 0.4.0develdevelfixed the missing import and Cargo.toml (no longer assuming a local path to probe.rs)EXAMrunnerexampleinline-asmktestrunner examplesrunner refactoringrunner refactoringcyclecounter workingreading instructions, break stepprogrammnig, reading and writing cleanupwith programmingprobe.rs connection, mem read, step, run, halt worksktest and runner wipmostly comments and README.mdmostly comments and README.mdmostly comments and README.mdreadme updatedThis is the way!examples tidy upregister test (gdb problem?)major update to examplesrtfm rtpro compilesexampleswip (its a mess)examples