Update dis

Update the CI scripts for the DIS stub to be consistent with the more generic DVMP scripts. Also did some more restructuring of the benchmark to make it easier to split off a generic benchmark library in the future.

added 24 commits

• ad6ea1af...0bf9ff3f - 22 commits from branch master
• 15c35c7f - stub benchmark file
• 6b2d6cfa - minor restructure

Compare with previous version

added 1 commit

• 2171db22 - fix paths

Compare with previous version

added 1 commit

• 6c435ade - debug

Compare with previous version

added 1 commit

• 3cd71acd - debug

Compare with previous version

added 1 commit

• 983e0c56 - DEBUG

Compare with previous version

added 1 commit

• bfae0a0e - DEBUG

Compare with previous version

added 1 commit

• 71765fd1 - DEBUG

Compare with previous version

added 1 commit

• 2da6d719 - debug

Compare with previous version

added 1 commit

• 2266f18e - debug

Compare with previous version

added 1 commit

• 14cc0f4e - debug

Compare with previous version

added 1 commit

• c8780170 - minor restructure

Compare with previous version

added 1 commit

• 1a929908 - restructuring in progress, still have to do dvcs

Compare with previous version

added 1 commit

• bd10069c - update gitlabci files

Compare with previous version

added 1 commit

• bae54514 - only set root build_dir for local builds

Compare with previous version

added 1 commit

• 1acd6b0f - Added facilities to compile our analysis scripts

Compare with previous version

added 1 commit

• 75cf7538 - fixed script name in CI file

Compare with previous version

added 1 commit

• 75b9fafa - fix root build dir initialization

Compare with previous version

changed title from WIP: Update dis dvcs to WIP: Update dis

changed the description

marked this merge request as ready