Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • klee
  • master default protected
2 results
Created with Raphaël 2.2.014Feb19Apr1815Mar1312653128FebCleaned old dependencieskleekleeAlso 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-branchmastermasterSort 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 makefilesAdded sources and headersMerged klee-code with SRP-exampleAdded gdb_history to ignorebugfixdocsdoc