-
Notifications
You must be signed in to change notification settings - Fork 9
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Manuel messerig bachelor project #612
base: vara-dev
Are you sure you want to change the base?
Commits on Feb 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 1b0abc7 - Browse repository at this point
Copy the full SHA 1b0abc7View commit details
Commits on Feb 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for ee3c530 - Browse repository at this point
Copy the full SHA ee3c530View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6c99456 - Browse repository at this point
Copy the full SHA 6c99456View commit details -
Fixes binary execution context
Binaries need to be created at the correct location.
Configuration menu - View commit details
-
Copy full SHA for ca957d5 - Browse repository at this point
Copy the full SHA ca957d5View commit details
Commits on Mar 4, 2022
-
Changed relative path to file into absolut path and use compression l…
…evel 2
Manuel Messerig committedMar 4, 2022 Configuration menu - View commit details
-
Copy full SHA for e407dd5 - Browse repository at this point
Copy the full SHA e407dd5View commit details
Commits on Apr 4, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a315aff - Browse repository at this point
Copy the full SHA a315affView commit details
Commits on Apr 6, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 47ef8b6 - Browse repository at this point
Copy the full SHA 47ef8b6View commit details
Commits on Apr 27, 2022
-
Configuration menu - View commit details
-
Copy full SHA for c3491ab - Browse repository at this point
Copy the full SHA c3491abView commit details
Commits on Apr 30, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 3a61f08 - Browse repository at this point
Copy the full SHA 3a61f08View commit details
Commits on May 2, 2022
-
Configuration menu - View commit details
-
Copy full SHA for da2bdb7 - Browse repository at this point
Copy the full SHA da2bdb7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 57ec1ad - Browse repository at this point
Copy the full SHA 57ec1adView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1f91f25 - Browse repository at this point
Copy the full SHA 1f91f25View commit details
Commits on May 5, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 2f59514 - Browse repository at this point
Copy the full SHA 2f59514View commit details -
Configuration menu - View commit details
-
Copy full SHA for dc85ac9 - Browse repository at this point
Copy the full SHA dc85ac9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9adc71c - Browse repository at this point
Copy the full SHA 9adc71cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6f0a039 - Browse repository at this point
Copy the full SHA 6f0a039View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2f6edb8 - Browse repository at this point
Copy the full SHA 2f6edb8View commit details -
Configuration menu - View commit details
-
Copy full SHA for c46a570 - Browse repository at this point
Copy the full SHA c46a570View commit details -
Configuration menu - View commit details
-
Copy full SHA for 355ede6 - Browse repository at this point
Copy the full SHA 355ede6View commit details
Commits on May 6, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 47b8fe2 - Browse repository at this point
Copy the full SHA 47b8fe2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7ae59ec - Browse repository at this point
Copy the full SHA 7ae59ecView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5940b98 - Browse repository at this point
Copy the full SHA 5940b98View commit details
Commits on May 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for dba86f6 - Browse repository at this point
Copy the full SHA dba86f6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9b2dba2 - Browse repository at this point
Copy the full SHA 9b2dba2View commit details
Commits on May 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for e5f1e0e - Browse repository at this point
Copy the full SHA e5f1e0eView commit details
Commits on May 13, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 482f05a - Browse repository at this point
Copy the full SHA 482f05aView commit details
Commits on May 14, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 89c4b0a - Browse repository at this point
Copy the full SHA 89c4b0aView commit details
Commits on May 15, 2022
-
Configuration menu - View commit details
-
Copy full SHA for cde7ab9 - Browse repository at this point
Copy the full SHA cde7ab9View commit details
Commits on May 24, 2022
-
Configuration menu - View commit details
-
Copy full SHA for eead077 - Browse repository at this point
Copy the full SHA eead077View commit details -
Configuration menu - View commit details
-
Copy full SHA for 882012d - Browse repository at this point
Copy the full SHA 882012dView commit details
Commits on May 25, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 86dbbaa - Browse repository at this point
Copy the full SHA 86dbbaaView commit details
Commits on Jun 1, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 792becc - Browse repository at this point
Copy the full SHA 792beccView commit details -
Configuration menu - View commit details
-
Copy full SHA for a872744 - Browse repository at this point
Copy the full SHA a872744View commit details
Commits on Jun 2, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 506c8d1 - Browse repository at this point
Copy the full SHA 506c8d1View commit details
Commits on Jun 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 54181ff - Browse repository at this point
Copy the full SHA 54181ffView commit details
Commits on Jun 14, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a5c1707 - Browse repository at this point
Copy the full SHA a5c1707View commit details
Commits on Jun 15, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 43d5a3d - Browse repository at this point
Copy the full SHA 43d5a3dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 35447f1 - Browse repository at this point
Copy the full SHA 35447f1View commit details -
Configuration menu - View commit details
-
Copy full SHA for f29eda8 - Browse repository at this point
Copy the full SHA f29eda8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3ae1979 - Browse repository at this point
Copy the full SHA 3ae1979View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9776e44 - Browse repository at this point
Copy the full SHA 9776e44View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6878317 - Browse repository at this point
Copy the full SHA 6878317View commit details
Commits on Jun 19, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 909d6fe - Browse repository at this point
Copy the full SHA 909d6feView commit details -
Configuration menu - View commit details
-
Copy full SHA for d7cd211 - Browse repository at this point
Copy the full SHA d7cd211View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4edb02b - Browse repository at this point
Copy the full SHA 4edb02bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7ec9f54 - Browse repository at this point
Copy the full SHA 7ec9f54View commit details -
Configuration menu - View commit details
-
Copy full SHA for c5bb412 - Browse repository at this point
Copy the full SHA c5bb412View commit details -
Configuration menu - View commit details
-
Copy full SHA for c3bb6bc - Browse repository at this point
Copy the full SHA c3bb6bcView commit details -
Configuration menu - View commit details
-
Copy full SHA for f44da39 - Browse repository at this point
Copy the full SHA f44da39View commit details -
Configuration menu - View commit details
-
Copy full SHA for c1b41a3 - Browse repository at this point
Copy the full SHA c1b41a3View commit details -
Configuration menu - View commit details
-
Copy full SHA for ad8ba47 - Browse repository at this point
Copy the full SHA ad8ba47View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4f5c394 - Browse repository at this point
Copy the full SHA 4f5c394View commit details -
Configuration menu - View commit details
-
Copy full SHA for 04e8d5c - Browse repository at this point
Copy the full SHA 04e8d5cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7f7468f - Browse repository at this point
Copy the full SHA 7f7468fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 10fb6cf - Browse repository at this point
Copy the full SHA 10fb6cfView commit details -
Configuration menu - View commit details
-
Copy full SHA for f9c8742 - Browse repository at this point
Copy the full SHA f9c8742View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6792777 - Browse repository at this point
Copy the full SHA 6792777View commit details -
Configuration menu - View commit details
-
Copy full SHA for 84930fe - Browse repository at this point
Copy the full SHA 84930feView commit details -
Configuration menu - View commit details
-
Copy full SHA for abbd231 - Browse repository at this point
Copy the full SHA abbd231View commit details -
Configuration menu - View commit details
-
Copy full SHA for d0736b5 - Browse repository at this point
Copy the full SHA d0736b5View commit details
Commits on Jun 20, 2022
-
Configuration menu - View commit details
-
Copy full SHA for f4ee235 - Browse repository at this point
Copy the full SHA f4ee235View commit details -
Configuration menu - View commit details
-
Copy full SHA for cd3f5d8 - Browse repository at this point
Copy the full SHA cd3f5d8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7d0ec13 - Browse repository at this point
Copy the full SHA 7d0ec13View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6025d7b - Browse repository at this point
Copy the full SHA 6025d7bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6e5bce5 - Browse repository at this point
Copy the full SHA 6e5bce5View commit details
Commits on Jun 22, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 3bb1cd5 - Browse repository at this point
Copy the full SHA 3bb1cd5View commit details
Commits on Jun 30, 2022
-
Configuration menu - View commit details
-
Copy full SHA for e1c9841 - Browse repository at this point
Copy the full SHA e1c9841View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for fb2017e - Browse repository at this point
Copy the full SHA fb2017eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9f84e68 - Browse repository at this point
Copy the full SHA 9f84e68View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for aad93bb - Browse repository at this point
Copy the full SHA aad93bbView commit details -
Configuration menu - View commit details
-
Copy full SHA for a99087e - Browse repository at this point
Copy the full SHA a99087eView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 98a91d5 - Browse repository at this point
Copy the full SHA 98a91d5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2ad465b - Browse repository at this point
Copy the full SHA 2ad465bView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for d8c3678 - Browse repository at this point
Copy the full SHA d8c3678View commit details
Commits on Jul 1, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 0b40b09 - Browse repository at this point
Copy the full SHA 0b40b09View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 21a7378 - Browse repository at this point
Copy the full SHA 21a7378View commit details -
Configuration menu - View commit details
-
Copy full SHA for 542d465 - Browse repository at this point
Copy the full SHA 542d465View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for ba41ea6 - Browse repository at this point
Copy the full SHA ba41ea6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 45ea78f - Browse repository at this point
Copy the full SHA 45ea78fView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 3bb587e - Browse repository at this point
Copy the full SHA 3bb587eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3ce5662 - Browse repository at this point
Copy the full SHA 3ce5662View commit details -
Configuration menu - View commit details
-
Copy full SHA for aa66c68 - Browse repository at this point
Copy the full SHA aa66c68View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 3ac5ca6 - Browse repository at this point
Copy the full SHA 3ac5ca6View commit details
Commits on Jul 4, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 2e9cb96 - Browse repository at this point
Copy the full SHA 2e9cb96View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 131ec22 - Browse repository at this point
Copy the full SHA 131ec22View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1669d6e - Browse repository at this point
Copy the full SHA 1669d6eView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 282c371 - Browse repository at this point
Copy the full SHA 282c371View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5423794 - Browse repository at this point
Copy the full SHA 5423794View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 4ec4ded - Browse repository at this point
Copy the full SHA 4ec4dedView commit details -
Configuration menu - View commit details
-
Copy full SHA for 03e3269 - Browse repository at this point
Copy the full SHA 03e3269View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 8b5327d - Browse repository at this point
Copy the full SHA 8b5327dView commit details -
Configuration menu - View commit details
-
Copy full SHA for e3d9127 - Browse repository at this point
Copy the full SHA e3d9127View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 0b0b842 - Browse repository at this point
Copy the full SHA 0b0b842View commit details
Commits on Jul 5, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 4282b2d - Browse repository at this point
Copy the full SHA 4282b2dView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 7523477 - Browse repository at this point
Copy the full SHA 7523477View commit details
Commits on Jul 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 54a4e45 - Browse repository at this point
Copy the full SHA 54a4e45View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 8d4bbfd - Browse repository at this point
Copy the full SHA 8d4bbfdView commit details
Commits on Sep 2, 2022
-
Configuration menu - View commit details
-
Copy full SHA for f01720f - Browse repository at this point
Copy the full SHA f01720fView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for c199d14 - Browse repository at this point
Copy the full SHA c199d14View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4e7ca46 - Browse repository at this point
Copy the full SHA 4e7ca46View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 3e62a2d - Browse repository at this point
Copy the full SHA 3e62a2dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 19879c5 - Browse repository at this point
Copy the full SHA 19879c5View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 2116ada - Browse repository at this point
Copy the full SHA 2116adaView commit details
Commits on Sep 5, 2022
-
Configuration menu - View commit details
-
Copy full SHA for d5258fb - Browse repository at this point
Copy the full SHA d5258fbView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for ceeabfe - Browse repository at this point
Copy the full SHA ceeabfeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7957658 - Browse repository at this point
Copy the full SHA 7957658View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for daf24f7 - Browse repository at this point
Copy the full SHA daf24f7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 318d1b5 - Browse repository at this point
Copy the full SHA 318d1b5View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 675c413 - Browse repository at this point
Copy the full SHA 675c413View commit details -
Configuration menu - View commit details
-
Copy full SHA for e345c0a - Browse repository at this point
Copy the full SHA e345c0aView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 7a6e776 - Browse repository at this point
Copy the full SHA 7a6e776View commit details
Commits on Sep 12, 2022
-
Changed the TEF Report aggregate so it outputs a json with aggergated…
… data over all reports in that zip
Configuration menu - View commit details
-
Copy full SHA for 8a3beee - Browse repository at this point
Copy the full SHA 8a3beeeView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for f2195aa - Browse repository at this point
Copy the full SHA f2195aaView commit details -
Configuration menu - View commit details
-
Copy full SHA for a352478 - Browse repository at this point
Copy the full SHA a352478View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 321af52 - Browse repository at this point
Copy the full SHA 321af52View commit details -
Configuration menu - View commit details
-
Copy full SHA for aaf1512 - Browse repository at this point
Copy the full SHA aaf1512View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for a7fb8fe - Browse repository at this point
Copy the full SHA a7fb8feView commit details -
Configuration menu - View commit details
-
Copy full SHA for ebcd2a3 - Browse repository at this point
Copy the full SHA ebcd2a3View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for cf3ec1f - Browse repository at this point
Copy the full SHA cf3ec1fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7382f90 - Browse repository at this point
Copy the full SHA 7382f90View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 317807e - Browse repository at this point
Copy the full SHA 317807eView commit details -
Configuration menu - View commit details
-
Copy full SHA for d3a6bf2 - Browse repository at this point
Copy the full SHA d3a6bf2View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for bff369e - Browse repository at this point
Copy the full SHA bff369eView commit details
Commits on Sep 13, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 82cf987 - Browse repository at this point
Copy the full SHA 82cf987View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 83898b1 - Browse repository at this point
Copy the full SHA 83898b1View commit details -
Configuration menu - View commit details
-
Copy full SHA for e197a2e - Browse repository at this point
Copy the full SHA e197a2eView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for fde965a - Browse repository at this point
Copy the full SHA fde965aView commit details
Commits on Sep 14, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 4c85061 - Browse repository at this point
Copy the full SHA 4c85061View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 6c23776 - Browse repository at this point
Copy the full SHA 6c23776View commit details -
Configuration menu - View commit details
-
Copy full SHA for ccbd707 - Browse repository at this point
Copy the full SHA ccbd707View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 4c85d18 - Browse repository at this point
Copy the full SHA 4c85d18View commit details -
Configuration menu - View commit details
-
Copy full SHA for 49a5205 - Browse repository at this point
Copy the full SHA 49a5205View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 53862fa - Browse repository at this point
Copy the full SHA 53862faView commit details
Commits on Sep 17, 2022
-
Configuration menu - View commit details
-
Copy full SHA for fe1bd0f - Browse repository at this point
Copy the full SHA fe1bd0fView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for def5ef4 - Browse repository at this point
Copy the full SHA def5ef4View commit details -
Configuration menu - View commit details
-
Copy full SHA for e9f1790 - Browse repository at this point
Copy the full SHA e9f1790View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for eb60aa3 - Browse repository at this point
Copy the full SHA eb60aa3View commit details
Commits on Sep 26, 2022
-
Configuration menu - View commit details
-
Copy full SHA for fe9cd39 - Browse repository at this point
Copy the full SHA fe9cd39View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for c716aa8 - Browse repository at this point
Copy the full SHA c716aa8View commit details -
Configuration menu - View commit details
-
Copy full SHA for c86abf6 - Browse repository at this point
Copy the full SHA c86abf6View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for c9c0ac6 - Browse repository at this point
Copy the full SHA c9c0ac6View commit details -
Configuration menu - View commit details
-
Copy full SHA for c977a43 - Browse repository at this point
Copy the full SHA c977a43View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for af690dd - Browse repository at this point
Copy the full SHA af690ddView commit details
Commits on Oct 24, 2022
-
Merge remote-tracking branch 'origin/f-DraftVerifierExperiment' into …
…Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for a1841f8 - Browse repository at this point
Copy the full SHA a1841f8View commit details
Commits on Oct 26, 2022
-
Configuration menu - View commit details
-
Copy full SHA for f93fee3 - Browse repository at this point
Copy the full SHA f93fee3View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 9b3d682 - Browse repository at this point
Copy the full SHA 9b3d682View commit details -
Configuration menu - View commit details
-
Copy full SHA for 703727e - Browse repository at this point
Copy the full SHA 703727eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1c42fca - Browse repository at this point
Copy the full SHA 1c42fcaView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 92bf798 - Browse repository at this point
Copy the full SHA 92bf798View commit details
Commits on Oct 27, 2022
-
Merge branch 'vara-dev' of github.com:se-sic/VaRA-Tool-Suite into Man…
…uel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 40ea6a6 - Browse repository at this point
Copy the full SHA 40ea6a6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 22e3cb3 - Browse repository at this point
Copy the full SHA 22e3cb3View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for d7d0c25 - Browse repository at this point
Copy the full SHA d7d0c25View commit details
Commits on Oct 28, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 04ba897 - Browse repository at this point
Copy the full SHA 04ba897View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for b1f6b39 - Browse repository at this point
Copy the full SHA b1f6b39View commit details -
Configuration menu - View commit details
-
Copy full SHA for b6088d5 - Browse repository at this point
Copy the full SHA b6088d5View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 0917aef - Browse repository at this point
Copy the full SHA 0917aefView commit details
Commits on Oct 31, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 2c9cf61 - Browse repository at this point
Copy the full SHA 2c9cf61View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 90d6284 - Browse repository at this point
Copy the full SHA 90d6284View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2964404 - Browse repository at this point
Copy the full SHA 2964404View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 81a5858 - Browse repository at this point
Copy the full SHA 81a5858View commit details -
Configuration menu - View commit details
-
Copy full SHA for dafad0d - Browse repository at this point
Copy the full SHA dafad0dView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 3018378 - Browse repository at this point
Copy the full SHA 3018378View commit details -
Configuration menu - View commit details
-
Copy full SHA for 11fa0ec - Browse repository at this point
Copy the full SHA 11fa0ecView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 8c956a2 - Browse repository at this point
Copy the full SHA 8c956a2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8f52d7e - Browse repository at this point
Copy the full SHA 8f52d7eView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 38386b0 - Browse repository at this point
Copy the full SHA 38386b0View commit details
Commits on Nov 1, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 46d433e - Browse repository at this point
Copy the full SHA 46d433eView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 191aff2 - Browse repository at this point
Copy the full SHA 191aff2View commit details
Commits on Nov 9, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 614297d - Browse repository at this point
Copy the full SHA 614297dView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for dab87d8 - Browse repository at this point
Copy the full SHA dab87d8View commit details
Commits on Nov 10, 2022
-
Merge branch 'vara-dev' of github.com:se-sic/VaRA-Tool-Suite into Man…
…uel_Messerig_Bachelor_Project � Conflicts: � varats-core/varats/experiment/experiment_util.py � varats/varats/experiments/vara/feature_experiment.py
Configuration menu - View commit details
-
Copy full SHA for 88cd017 - Browse repository at this point
Copy the full SHA 88cd017View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for f7bbc68 - Browse repository at this point
Copy the full SHA f7bbc68View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4ba3068 - Browse repository at this point
Copy the full SHA 4ba3068View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 4fe714a - Browse repository at this point
Copy the full SHA 4fe714aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2d34b1a - Browse repository at this point
Copy the full SHA 2d34b1aView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for ff2c4d8 - Browse repository at this point
Copy the full SHA ff2c4d8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1f4bab5 - Browse repository at this point
Copy the full SHA 1f4bab5View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 860d500 - Browse repository at this point
Copy the full SHA 860d500View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9feeeef - Browse repository at this point
Copy the full SHA 9feeeefView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 6ce585f - Browse repository at this point
Copy the full SHA 6ce585fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 158c769 - Browse repository at this point
Copy the full SHA 158c769View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 6c7efd9 - Browse repository at this point
Copy the full SHA 6c7efd9View commit details -
Configuration menu - View commit details
-
Copy full SHA for bee5e45 - Browse repository at this point
Copy the full SHA bee5e45View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 55a9bb0 - Browse repository at this point
Copy the full SHA 55a9bb0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4cebb43 - Browse repository at this point
Copy the full SHA 4cebb43View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 42bea9b - Browse repository at this point
Copy the full SHA 42bea9bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5954918 - Browse repository at this point
Copy the full SHA 5954918View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 57c955f - Browse repository at this point
Copy the full SHA 57c955fView commit details -
Configuration menu - View commit details
-
Copy full SHA for dbf0eac - Browse repository at this point
Copy the full SHA dbf0eacView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 357babb - Browse repository at this point
Copy the full SHA 357babbView commit details
Commits on Nov 11, 2022
-
Configuration menu - View commit details
-
Copy full SHA for d1e316e - Browse repository at this point
Copy the full SHA d1e316eView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for b8eab96 - Browse repository at this point
Copy the full SHA b8eab96View commit details -
Configuration menu - View commit details
-
Copy full SHA for fa96b39 - Browse repository at this point
Copy the full SHA fa96b39View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for b68c9ff - Browse repository at this point
Copy the full SHA b68c9ffView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1361048 - Browse repository at this point
Copy the full SHA 1361048View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 854f04e - Browse repository at this point
Copy the full SHA 854f04eView commit details -
Configuration menu - View commit details
-
Copy full SHA for efb2705 - Browse repository at this point
Copy the full SHA efb2705View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for dbcb008 - Browse repository at this point
Copy the full SHA dbcb008View commit details -
Configuration menu - View commit details
-
Copy full SHA for c569b35 - Browse repository at this point
Copy the full SHA c569b35View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for f55e61a - Browse repository at this point
Copy the full SHA f55e61aView commit details -
Configuration menu - View commit details
-
Copy full SHA for ef1a848 - Browse repository at this point
Copy the full SHA ef1a848View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 9444879 - Browse repository at this point
Copy the full SHA 9444879View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8486262 - Browse repository at this point
Copy the full SHA 8486262View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 940dd98 - Browse repository at this point
Copy the full SHA 940dd98View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9ce65ba - Browse repository at this point
Copy the full SHA 9ce65baView commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 2f6bbf8 - Browse repository at this point
Copy the full SHA 2f6bbf8View commit details
Commits on Nov 15, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 5a39b27 - Browse repository at this point
Copy the full SHA 5a39b27View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for c7cff4e - Browse repository at this point
Copy the full SHA c7cff4eView commit details
Commits on Nov 29, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 35f9a41 - Browse repository at this point
Copy the full SHA 35f9a41View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for a28f0f6 - Browse repository at this point
Copy the full SHA a28f0f6View commit details -
Configuration menu - View commit details
-
Copy full SHA for a9393d8 - Browse repository at this point
Copy the full SHA a9393d8View commit details -
rge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/Va…
…RA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 88d14fa - Browse repository at this point
Copy the full SHA 88d14faView commit details
Commits on Nov 30, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 9769968 - Browse repository at this point
Copy the full SHA 9769968View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 92317eb - Browse repository at this point
Copy the full SHA 92317ebView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0356a80 - Browse repository at this point
Copy the full SHA 0356a80View commit details -
Merge branch 'Manuel_Messerig_Bachelor_Project' of github.com:se-sic/…
…VaRA-Tool-Suite into Manuel_Messerig_Bachelor_Project
Configuration menu - View commit details
-
Copy full SHA for 0e3bd03 - Browse repository at this point
Copy the full SHA 0e3bd03View commit details
Commits on Dec 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 44e3a7e - Browse repository at this point
Copy the full SHA 44e3a7eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 61fab48 - Browse repository at this point
Copy the full SHA 61fab48View commit details
Commits on Jan 11, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 7824086 - Browse repository at this point
Copy the full SHA 7824086View commit details
Commits on Feb 1, 2023
-
Configuration menu - View commit details
-
Copy full SHA for a3facaf - Browse repository at this point
Copy the full SHA a3facafView commit details
Commits on Feb 6, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b4eb4db - Browse repository at this point
Copy the full SHA b4eb4dbView commit details
Commits on Feb 7, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 4329718 - Browse repository at this point
Copy the full SHA 4329718View commit details -
Configuration menu - View commit details
-
Copy full SHA for d20d6e1 - Browse repository at this point
Copy the full SHA d20d6e1View commit details
Commits on Feb 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b83c2b5 - Browse repository at this point
Copy the full SHA b83c2b5View commit details
Commits on Feb 15, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 3ce6c22 - Browse repository at this point
Copy the full SHA 3ce6c22View commit details -
Configuration menu - View commit details
-
Copy full SHA for b9a4719 - Browse repository at this point
Copy the full SHA b9a4719View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7b68353 - Browse repository at this point
Copy the full SHA 7b68353View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5d0ed33 - Browse repository at this point
Copy the full SHA 5d0ed33View commit details -
Configuration menu - View commit details
-
Copy full SHA for 81febea - Browse repository at this point
Copy the full SHA 81febeaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6fbcdc8 - Browse repository at this point
Copy the full SHA 6fbcdc8View commit details -
Configuration menu - View commit details
-
Copy full SHA for d296437 - Browse repository at this point
Copy the full SHA d296437View commit details
Commits on Feb 20, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d9da12c - Browse repository at this point
Copy the full SHA d9da12cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 40d53ca - Browse repository at this point
Copy the full SHA 40d53caView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4104a05 - Browse repository at this point
Copy the full SHA 4104a05View commit details