Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 81c45e0f997264f5037fc3fc8b544063d5a42a89
  • master default protected
  • klee
3 results
Created with Raphaël 2.2.02Jan1Dec30Nov19Apr1815Mar1312653128FebInstallation instructions, including dependencieskleekleeUpdated the README references to dockerUpdate to latest LLVM 9 and working with KLEE 2Separate target triple, add new recommended optimisation settingsAdded a brief application descriptionAdded notes on how to install the docker container for KLEE supportUpdate README.mdmastermasterAlso change the profiling script to use the last testChanged how the directory is used, not using klee-lastGet a copy of the profiling script into the output directoryUpdated the openocd IPDisabled gdb-dashboard and try connecting on openocd on any interfaceAll output goes into the output folderTRACE related macros fixedfunction instead of macro for trace eventMerge branch 'klee' of gitlab.henriktjader.com:d7020e/d7020e_srp into kleeRemoved irrelevant commentbugfixMerged from klee-branchSort max-exec time listMerge branch 'klee' of git@gitlab.henriktjader.com:d7020e/d7020e_srp.git into kleeLab assignmentProperly print contents of jobMerge branch 'klee' of gitlab.henriktjader.com:d7020e/d7020e_srp into kleeExplain how to use the makefile and how to get the KLEE kodeadded additional conditionAutoformat mainForce KLEE to play within bounds and cleanupRemoved main.hSmall bugfixesMerge branch 'klee' of git@gitlab.henriktjader.com:d7020e/d7020e_srp.git into kleemain restrucuring symbolic jobs, SRP.x files simplifiedChanged name to job instead of task, parse event_jobIntroduced JOB-field to database and removed terminate_executionprepare for lab (wcet)Fixed the macro and formatted mainGDB-dashboard workaroundsAdded automation for makefileTrouble with j2Added python and makefiles