-
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
Implements incremental analysis experiment #577
base: vara-dev
Are you sure you want to change the base?
Commits on Nov 23, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 928308e - Browse repository at this point
Copy the full SHA 928308eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3a70322 - Browse repository at this point
Copy the full SHA 3a70322View commit details -
Configuration menu - View commit details
-
Copy full SHA for 724d158 - Browse repository at this point
Copy the full SHA 724d158View commit details -
Configuration menu - View commit details
-
Copy full SHA for aa39871 - Browse repository at this point
Copy the full SHA aa39871View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9ff98d2 - Browse repository at this point
Copy the full SHA 9ff98d2View commit details
Commits on Nov 24, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 7394108 - Browse repository at this point
Copy the full SHA 7394108View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7e87e2a - Browse repository at this point
Copy the full SHA 7e87e2aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2115e2b - Browse repository at this point
Copy the full SHA 2115e2bView commit details
Commits on Nov 30, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 2b6c521 - Browse repository at this point
Copy the full SHA 2b6c521View commit details
Commits on Dec 1, 2021
-
Configuration menu - View commit details
-
Copy full SHA for c05774e - Browse repository at this point
Copy the full SHA c05774eView commit details
Commits on Dec 5, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 5b24147 - Browse repository at this point
Copy the full SHA 5b24147View commit details -
Configuration menu - View commit details
-
Copy full SHA for b027025 - Browse repository at this point
Copy the full SHA b027025View commit details -
Configuration menu - View commit details
-
Copy full SHA for a7651d6 - Browse repository at this point
Copy the full SHA a7651d6View commit details -
Configuration menu - View commit details
-
Copy full SHA for d2197df - Browse repository at this point
Copy the full SHA d2197dfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3e9e42a - Browse repository at this point
Copy the full SHA 3e9e42aView commit details -
Configuration menu - View commit details
-
Copy full SHA for ac418e1 - Browse repository at this point
Copy the full SHA ac418e1View commit details
Commits on Dec 22, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 4be3557 - Browse repository at this point
Copy the full SHA 4be3557View commit details -
Configuration menu - View commit details
-
Copy full SHA for db39b5e - Browse repository at this point
Copy the full SHA db39b5eView commit details -
Configuration menu - View commit details
-
Copy full SHA for d06fe88 - Browse repository at this point
Copy the full SHA d06fe88View commit details -
Configuration menu - View commit details
-
Copy full SHA for ebf4203 - Browse repository at this point
Copy the full SHA ebf4203View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0aeae5e - Browse repository at this point
Copy the full SHA 0aeae5eView commit details
Commits on Jan 18, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b1f55f3 - Browse repository at this point
Copy the full SHA b1f55f3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 24a387f - Browse repository at this point
Copy the full SHA 24a387fView commit details
Commits on Jan 21, 2022
-
Configuration menu - View commit details
-
Copy full SHA for cf83d19 - Browse repository at this point
Copy the full SHA cf83d19View commit details -
Configuration menu - View commit details
-
Copy full SHA for c54b5ff - Browse repository at this point
Copy the full SHA c54b5ffView commit details -
Configuration menu - View commit details
-
Copy full SHA for 54b5c21 - Browse repository at this point
Copy the full SHA 54b5c21View commit details -
Configuration menu - View commit details
-
Copy full SHA for ac879cf - Browse repository at this point
Copy the full SHA ac879cfView commit details -
Configuration menu - View commit details
-
Copy full SHA for aa9765d - Browse repository at this point
Copy the full SHA aa9765dView commit details
Commits on Feb 1, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 386dad9 - Browse repository at this point
Copy the full SHA 386dad9View commit details
Commits on Feb 3, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 88f4b2d - Browse repository at this point
Copy the full SHA 88f4b2dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 878a3f0 - Browse repository at this point
Copy the full SHA 878a3f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for bc9d0f8 - Browse repository at this point
Copy the full SHA bc9d0f8View commit details -
Configuration menu - View commit details
-
Copy full SHA for c78ae96 - Browse repository at this point
Copy the full SHA c78ae96View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3d79441 - Browse repository at this point
Copy the full SHA 3d79441View commit details -
Configuration menu - View commit details
-
Copy full SHA for ec9d2b4 - Browse repository at this point
Copy the full SHA ec9d2b4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1c47227 - Browse repository at this point
Copy the full SHA 1c47227View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8d63f46 - Browse repository at this point
Copy the full SHA 8d63f46View commit details -
Revert "Implements a paper config specific git filter"
This reverts commit 88f4b2d.
Configuration menu - View commit details
-
Copy full SHA for a43ab83 - Browse repository at this point
Copy the full SHA a43ab83View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0aa29fa - Browse repository at this point
Copy the full SHA 0aa29faView commit details -
Configuration menu - View commit details
-
Copy full SHA for cced5e9 - Browse repository at this point
Copy the full SHA cced5e9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5ae553f - Browse repository at this point
Copy the full SHA 5ae553fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 15ea9e5 - Browse repository at this point
Copy the full SHA 15ea9e5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9bf04ae - Browse repository at this point
Copy the full SHA 9bf04aeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8408fc9 - Browse repository at this point
Copy the full SHA 8408fc9View commit details -
Configuration menu - View commit details
-
Copy full SHA for d87297b - Browse repository at this point
Copy the full SHA d87297bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 040bcdf - Browse repository at this point
Copy the full SHA 040bcdfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 50847cd - Browse repository at this point
Copy the full SHA 50847cdView commit details -
Configuration menu - View commit details
-
Copy full SHA for d808d9e - Browse repository at this point
Copy the full SHA d808d9eView commit details
Commits on Feb 4, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a1bf81b - Browse repository at this point
Copy the full SHA a1bf81bView commit details
Commits on Feb 5, 2022
-
Configuration menu - View commit details
-
Copy full SHA for e6326d9 - Browse repository at this point
Copy the full SHA e6326d9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 01ed18a - Browse repository at this point
Copy the full SHA 01ed18aView commit details -
Configuration menu - View commit details
-
Copy full SHA for f30bdae - Browse repository at this point
Copy the full SHA f30bdaeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7877caa - Browse repository at this point
Copy the full SHA 7877caaView commit details
Commits on Feb 11, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b0dc80c - Browse repository at this point
Copy the full SHA b0dc80cView commit details -
Configuration menu - View commit details
-
Copy full SHA for dc98e18 - Browse repository at this point
Copy the full SHA dc98e18View commit details
Commits on Feb 12, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 179eb17 - Browse repository at this point
Copy the full SHA 179eb17View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2793b69 - Browse repository at this point
Copy the full SHA 2793b69View commit details -
Configuration menu - View commit details
-
Copy full SHA for f6a47a0 - Browse repository at this point
Copy the full SHA f6a47a0View commit details
Commits on Feb 14, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 670ef06 - Browse repository at this point
Copy the full SHA 670ef06View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4df7d9f - Browse repository at this point
Copy the full SHA 4df7d9fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5b8f069 - Browse repository at this point
Copy the full SHA 5b8f069View commit details
Commits on Feb 16, 2022
-
Configuration menu - View commit details
-
Copy full SHA for d84d129 - Browse repository at this point
Copy the full SHA d84d129View commit details -
Configuration menu - View commit details
-
Copy full SHA for 799f436 - Browse repository at this point
Copy the full SHA 799f436View commit details -
Configuration menu - View commit details
-
Copy full SHA for ae77457 - Browse repository at this point
Copy the full SHA ae77457View commit details -
Configuration menu - View commit details
-
Copy full SHA for c124c97 - Browse repository at this point
Copy the full SHA c124c97View commit details -
Configuration menu - View commit details
-
Copy full SHA for 44747d7 - Browse repository at this point
Copy the full SHA 44747d7View commit details -
Implements revisions selection based on a time range
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
Configuration menu - View commit details
-
Copy full SHA for 9f53183 - Browse repository at this point
Copy the full SHA 9f53183View commit details -
Implements revisions selection based on a time range
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
Configuration menu - View commit details
-
Copy full SHA for ecdfa9e - Browse repository at this point
Copy the full SHA ecdfa9eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1b52edd - Browse repository at this point
Copy the full SHA 1b52eddView commit details -
Configuration menu - View commit details
-
Copy full SHA for c90afbb - Browse repository at this point
Copy the full SHA c90afbbView commit details
Commits on Feb 17, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 5fec03a - Browse repository at this point
Copy the full SHA 5fec03aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0bc1f85 - Browse repository at this point
Copy the full SHA 0bc1f85View commit details
Commits on Feb 19, 2022
-
Configuration menu - View commit details
-
Copy full SHA for cf22775 - Browse repository at this point
Copy the full SHA cf22775View commit details -
Configuration menu - View commit details
-
Copy full SHA for 75302cd - Browse repository at this point
Copy the full SHA 75302cdView commit details
Commits on Feb 28, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 9936430 - Browse repository at this point
Copy the full SHA 9936430View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7f7766f - Browse repository at this point
Copy the full SHA 7f7766fView commit details
Commits on Mar 1, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 602be45 - Browse repository at this point
Copy the full SHA 602be45View commit details -
Configuration menu - View commit details
-
Copy full SHA for bf06eef - Browse repository at this point
Copy the full SHA bf06eefView commit details -
Configuration menu - View commit details
-
Copy full SHA for 81fe37f - Browse repository at this point
Copy the full SHA 81fe37fView commit details
Commits on Mar 2, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 5a4d06a - Browse repository at this point
Copy the full SHA 5a4d06aView commit details -
Fixes timestamp based revision sampling
In cases where the start timestamp is before the initial commit, we should select the initial commit.
Configuration menu - View commit details
-
Copy full SHA for 586a226 - Browse repository at this point
Copy the full SHA 586a226View commit details -
Fixes timestamp based revision sampling
In cases where the start timestamp is before the initial commit, we should select the initial commit.
Configuration menu - View commit details
-
Copy full SHA for c377cfe - Browse repository at this point
Copy the full SHA c377cfeView commit details -
Configuration menu - View commit details
-
Copy full SHA for e4a56da - Browse repository at this point
Copy the full SHA e4a56daView commit details -
Configuration menu - View commit details
-
Copy full SHA for 31d656d - Browse repository at this point
Copy the full SHA 31d656dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 785a01c - Browse repository at this point
Copy the full SHA 785a01cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1411aaa - Browse repository at this point
Copy the full SHA 1411aaaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 83a5e4b - Browse repository at this point
Copy the full SHA 83a5e4bView commit details
Commits on Mar 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 977f567 - Browse repository at this point
Copy the full SHA 977f567View commit details
Commits on Mar 24, 2022
-
Update varats/varats/plots/incremental_eval.py
Co-authored-by: Jonas Kaufmann <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for b6d34a5 - Browse repository at this point
Copy the full SHA b6d34a5View commit details
Commits on Apr 14, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 28b6679 - Browse repository at this point
Copy the full SHA 28b6679View commit details
Commits on Apr 21, 2022
-
Configuration menu - View commit details
-
Copy full SHA for efe6cea - Browse repository at this point
Copy the full SHA efe6ceaView commit details
Commits on Jul 12, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 51c5865 - Browse repository at this point
Copy the full SHA 51c5865View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3eaea16 - Browse repository at this point
Copy the full SHA 3eaea16View commit details -
Configuration menu - View commit details
-
Copy full SHA for 882f56b - Browse repository at this point
Copy the full SHA 882f56bView commit details
Commits on Sep 25, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a28b008 - Browse repository at this point
Copy the full SHA a28b008View commit details