Skip to content
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

Bachlorthesis Friedel #659

Draft
wants to merge 216 commits into
base: vara-dev
Choose a base branch
from
Draft

Bachlorthesis Friedel #659

wants to merge 216 commits into from

Conversation

Sinerum
Copy link
Contributor

@Sinerum Sinerum commented Jul 5, 2022

No description provided.

Sinerum and others added 30 commits February 2, 2022 10:43
From now on, users can specify a datetime instead of of a commit hash to
select a range of commits.

vara-cs gen -p xz select_sample --start 2021-08-08 --end 2022-1-1
Converters are required for CLI options that are converted to complex types by click so that they can still be properly stored in an artefact file.
Implement new sub command all for vara-cs cleanup
Add options --experiment, --case-studies and --report to the base command to better filter which reports are deleted
Remove subcommand error this functionality is now provided by a --error flag for the all subcommand.

resolves se-sic/VaRA#844
In cases where the start timestamp is before the initial commit, we
should select the initial commit.
Switches the default to disabled blocked revisions when sampling.
Adapts the b_verifier_report_opt_plot plot to the click CLI.
Adapts the b_verifier_report_no_opt_plot plot to the click CLI.
The new ZippedReportFolder is a context manager with which experiments
can create a folder report, i.e., a folder into which any amount of
files can be dropped into and which is compressed into a single report
file afterwards.
This PR adds a graph abstraction for blame interaction data with different views on the blame data.
Using graphs allows us to analyze blame interactions from a graph-theoretic perspective.
Sinerum and others added 30 commits June 26, 2023 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

8 participants