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.

Sign up for GitHub

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

Jump to bottom

WIP: GenerateCoverage Experiment #718

Open
wants to merge 432 commits into
base: vara-dev
Choose a base branch
from
Open

WIP: GenerateCoverage Experiment #718

wants to merge 432 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Jun 1, 2023

  1. Diff only available features in plot. Removes unnecessary -(header^sl… 

    …ow) or similar lines in plots,
    @danjujan
    danjujan committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    9b9ab74 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2023

  1. Coverage Experiemnt: Compile twice once with VaRAs feature regions an… 

    …notated, once with profiling instructions.
    @danjujan
    danjujan committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    52595e5 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2023

  1. Add test for correctly annotating vara_instrs to code regions

    @danjujan
    danjujan committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    4652f8f View commit details
    Browse the repository at this point in the history

  2. Working threshold in confusion matrix

    @danjujan
    danjujan committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    c0fd405 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2023

  1. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Jun 7, 2023
    Configuration menu
    Copy the full SHA
    847f7ed View commit details
    Browse the repository at this point in the history

  2. Fix annotating empty "" feature in norm instr.

    @danjujan
    danjujan committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    821ae1f View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2023

  1. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Jul 3, 2023
    Configuration menu
    Copy the full SHA
    ae51164 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2023

  1. Presence Condition seem to work. Cleanup still required

    @danjujan
    danjujan committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    2fb21b1 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Presence Conditions work. No diffing/merging needed for them

    @danjujan
    danjujan committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    277130d View commit details
    Browse the repository at this point in the history

  2. Fix mypy + pylint errors

    @danjujan
    danjujan committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    d1d6272 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Jul 10, 2023
    Configuration menu
    Copy the full SHA
    d13221a View commit details
    Browse the repository at this point in the history

  4. Fix mypy errors

    @danjujan
    danjujan committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    70fbf58 View commit details
    Browse the repository at this point in the history

  5. Fix docs generation failing due to missing pyeda import

    @danjujan
    danjujan committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    fdc8685 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Jul 10, 2023
    Configuration menu
    Copy the full SHA
    7b59bf3 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. Implements classification evaluation helper

    @vulder
    vulder committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    36cc057 View commit details
    Browse the repository at this point in the history

  2. Updates naming and error handling

    @vulder
    vulder committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    be4624f View commit details
    Browse the repository at this point in the history

  3. Renaming

    @vulder
    vulder committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    a0ed8cb View commit details
    Browse the repository at this point in the history

  4. Removes unnecessary import

    @vulder
    vulder committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    ac3a3d5 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. Add pyeda dependency for container

    @danjujan
    danjujan committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    2b14c3f View commit details
    Browse the repository at this point in the history

  2. Set container image for FeaturePerfCSCollections

    @danjujan
    danjujan committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    feb5129 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. Start removing merging + diffing code

    @danjujan
    danjujan committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    ae877f4 View commit details
    Browse the repository at this point in the history

  2. More merging + diffing code removal

    @danjujan
    danjujan committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    014fd87 View commit details
    Browse the repository at this point in the history

  3. Add helper script to generate feature combinations for case study

    @danjujan
    danjujan committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    ce2a659 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'f-Classification' into jan-dev

    @danjujan
    danjujan committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    1f89353 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. Use VaRA new confusion matrix implementation

    @danjujan
    danjujan committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    bf16566 View commit details
    Browse the repository at this point in the history

  2. Fix mypy + pylint errors

    @danjujan
    danjujan committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    e214aba View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2023

  1. Implements accessor functions

    @vulder
    vulder committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    76fdc0c View commit details
    Browse the repository at this point in the history

  2. Adds stringify function

    @vulder
    vulder committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    0aed9c5 View commit details
    Browse the repository at this point in the history

  3. Cleans up typing

    @vulder
    vulder committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    15041cc View commit details
    Browse the repository at this point in the history

  4. Merge branch 'vara-dev' into f-Classification

    @vulder
    vulder authored Jul 20, 2023
    Configuration menu
    Copy the full SHA
    4c042bf View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Jul 21, 2023
    Configuration menu
    Copy the full SHA
    9d6654c View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Merge branch 'f-Classification' into jan-dev

    @danjujan
    danjujan committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    ed89b30 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. Fix parsing of xz by ignoring regions outside of function of interest

    @danjujan
    danjujan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    22a7bdf View commit details
    Browse the repository at this point in the history

  2. Fix parsing of xz. Do not replace root region with other. Merge instead.

    @danjujan
    danjujan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    3d736d6 View commit details
    Browse the repository at this point in the history

  3. Warn when vara instruction is ignored, because corresponding file was… 

    … not found
    @danjujan
    danjujan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    1d0d37d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    1943d32 View commit details
    Browse the repository at this point in the history

  5. Fix mypy errors

    @danjujan
    danjujan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    b8a257e View commit details
    Browse the repository at this point in the history

  6. Fix failing workload commands because I added a workload in xz

    @danjujan
    danjujan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    68c79a3 View commit details
    Browse the repository at this point in the history

  7. Add script to dump vara feature to command line option mapping

    @danjujan
    danjujan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    e0f2ca5 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Jul 26, 2023
    Configuration menu
    Copy the full SHA
    f61c8ed View commit details
    Browse the repository at this point in the history

  2. Handle absolute paths in VaRA instructions

    @danjujan
    danjujan committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    013e026 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. Use feature command line option mappings specified in feature model

    @danjujan
    danjujan committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a4f0910 View commit details
    Browse the repository at this point in the history

  2. Fix

    @danjujan
    danjujan committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    f7d4676 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. RepositoryAtCommit force checkout to workaround conflicts bug

    @danjujan
    danjujan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    e8011cb View commit details
    Browse the repository at this point in the history

  2. Introduce FILE_ROOT Code Region to be able to parse code regions outs… 

    …ide functions
    @danjujan
    danjujan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    c94d0dd View commit details
    Browse the repository at this point in the history

  3. Fix mypy

    @danjujan
    danjujan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    459221f View commit details
    Browse the repository at this point in the history

  4. Skip test if llvm-profdata is not found

    @danjujan
    danjujan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    a979ffb View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2023

  1. Reduce FPs in confusion matrices by ignoring gap regions when they do… 

    … not have vara_instrs
    @danjujan
    danjujan committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    1ffe1fd View commit details
    Browse the repository at this point in the history

  2. Skip tests if vara_feature is not installed

    @danjujan
    danjujan committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    6bbc96b View commit details
    Browse the repository at this point in the history

  3. Merge same code region instances together

    @danjujan
    danjujan committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    59fccfa View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. Code regions can start or end can overlap. Fixes xz cov_show

    @danjujan
    danjujan committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    7999b24 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. End of code region is not inside code region anymore. Fixes that some… 

    … GAP Regions had vara_instrs. Improves confusion matrices.
    @danjujan
    danjujan committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    b89b05b View commit details
    Browse the repository at this point in the history

  2. Mock CoverageReport._extract_feature_option_mapping in unittests

    @danjujan
    danjujan committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    66be7da View commit details
    Browse the repository at this point in the history

  3. Fix mypy

    @danjujan
    danjujan committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    afa3356 View commit details
    Browse the repository at this point in the history

  4. Fix

    @danjujan
    danjujan committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    46600a5 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. Use requires support

    @danjujan
    danjujan committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    6e1b2e2 View commit details
    Browse the repository at this point in the history

  2. Enable requires support for commands

    @danjujan
    danjujan committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    2b16e2d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'command_requires' into jan-dev

    @danjujan
    danjujan committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    9f20df4 View commit details
    Browse the repository at this point in the history

  4. Add vscode launch config

    @danjujan
    danjujan committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    cc57a04 View commit details
    Browse the repository at this point in the history

  5. Fix docstring

    @danjujan
    danjujan committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    efc5694 View commit details
    Browse the repository at this point in the history

  6. Ignore missing type informations of benchbuilds command class

    @danjujan
    danjujan committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    a6d41af View commit details
    Browse the repository at this point in the history

  7. Fix failing tests

    @danjujan
    danjujan committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    5c79591 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'command_requires' into jan-dev

    @danjujan
    danjujan committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    2b1c368 View commit details
    Browse the repository at this point in the history

  9. Fix test

    @danjujan
    danjujan committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    786baf5 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2023

  1. feature_option_mapping.py uses numeric_values now

    @danjujan
    danjujan committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    5fe6fc0 View commit details
    Browse the repository at this point in the history

  2. Improve sanity check output when parsing coverage json

    @danjujan
    danjujan committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    b070dc8 View commit details
    Browse the repository at this point in the history

  3. XZ: decompress, list, test works

    @danjujan
    danjujan committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    cc34545 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. Fix concurrency issues with BC File cache

    @danjujan
    danjujan committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    86aed9b View commit details
    Browse the repository at this point in the history

  2. Fix pylint + mypy errors

    @danjujan
    danjujan committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    236d204 View commit details
    Browse the repository at this point in the history

  3. Fix mypy

    @danjujan
    danjujan committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    b9fdea7 View commit details
    Browse the repository at this point in the history

  4. Add case_studies

    @danjujan
    danjujan committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    af7e479 View commit details
    Browse the repository at this point in the history

  5. Use executable in Command instead of required

    @danjujan
    danjujan committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    4ab3b8e View commit details
    Browse the repository at this point in the history

  6. Fix mypy errors

    @danjujan
    danjujan committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    1363e91 View commit details
    Browse the repository at this point in the history

  7. Fix mypy errors

    @danjujan
    danjujan committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    0ad9c0e View commit details
    Browse the repository at this point in the history

  8. Fix mypy errors

    @danjujan
    danjujan committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    20f1ec8 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. Coverage Plot: Plot feature annotations without color also to directory

    @danjujan
    danjujan committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    9aa7ef1 View commit details
    Browse the repository at this point in the history

  2. Fix mypy findings

    @danjujan
    danjujan committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    d0cad70 View commit details
    Browse the repository at this point in the history

  3. Fix mypy findings

    @danjujan
    danjujan committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    9ab3419 View commit details
    Browse the repository at this point in the history

  4. Plot confusion matrix to latex table file

    @danjujan
    danjujan committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    e076924 View commit details
    Browse the repository at this point in the history

  5. Add hrules to confusion matrix latex table file

    @danjujan
    danjujan committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    132a2d5 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2023

  1. Parse coverage report files in parallel

    @danjujan
    danjujan committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    671920a View commit details
    Browse the repository at this point in the history

  2. Fix mypy findings + make confusion_matrix output deterministic

    @danjujan
    danjujan committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    c3aeca8 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2023

  1. CoveragePlot: Make it possible to disable workarounds

    @danjujan
    danjujan committed Aug 13, 2023
    Configuration menu
    Copy the full SHA
    d2ad13e View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2023

  1. Make feature_option_mapping python 3.9 compatible

    @danjujan
    danjujan committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    5b03873 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. Try to get xz running on slurm

    @danjujan
    danjujan committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    5c6bf52 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2023

  1. Fix pip system-wide install failing when using fuse-overlayfs

    @danjujan
    danjujan committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    1eee7fc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'fuse-overlayfs' into jan-dev

    @danjujan
    danjujan committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    70b62da View commit details
    Browse the repository at this point in the history

  3. Fix unittests

    @danjujan
    danjujan committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    bb072b9 View commit details
    Browse the repository at this point in the history

  4. Fix unittest

    @danjujan
    danjujan committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    e9f3c6c View commit details
    Browse the repository at this point in the history

  5. Merge branch 'fuse-overlayfs' into jan-dev

    @danjujan
    danjujan committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    fd8d391 View commit details
    Browse the repository at this point in the history

  6. Fix pylint

    @danjujan
    danjujan committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    e2714cd View commit details
    Browse the repository at this point in the history

  7. Fix linking xz in debian 10 container when compiling with profiling i… 

    …nstructions
    @danjujan
    danjujan committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    206b5ea View commit details
    Browse the repository at this point in the history

  8. Drop unnecessary LLVM_ENABLE_PIC cmake variable again

    @danjujan
    danjujan committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    cf96fcb View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2023

  1. Use vara-feature to get all possible configs in feature_combinations.py

    @danjujan
    danjujan committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    68589d3 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. feature_combinations.py outputs options instead of feature names

    @danjujan
    danjujan committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    90ed3e6 View commit details
    Browse the repository at this point in the history

  2. Use virtualenv inside container. 

    This avoids the long-standing issue of not being able to update pip inside containers.
    @boehmseb
    boehmseb committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    2d84b17 View commit details
    Browse the repository at this point in the history

  3. Remove system python from container image. 

    System python wasn't used anyways since we ship our own more up-to-date python installation.
    @boehmseb
    boehmseb committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    5fed346 View commit details
    Browse the repository at this point in the history

  4. Fix test

    @boehmseb
    boehmseb committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    853dc53 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/f-ContainerVirtualenv' into jan-dev

    @danjujan
    danjujan committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    ed69836 View commit details
    Browse the repository at this point in the history

  6. Revert container fixes for fuse-overlayfs

    @danjujan
    danjujan committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    e66cdaa View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. Extract feature model with vara-feature and use it for presence condt… 

    …ion simplification
    @danjujan
    danjujan committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    ac19b85 View commit details
    Browse the repository at this point in the history

  2. Fix mypy errors

    @danjujan
    danjujan committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    1c6a1d9 View commit details
    Browse the repository at this point in the history

  3. Fix test

    @danjujan
    danjujan committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    e5d11d9 View commit details
    Browse the repository at this point in the history

  4. Fix test

    @danjujan
    danjujan committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    1113d57 View commit details
    Browse the repository at this point in the history

  5. Fix test

    @danjujan
    danjujan committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    a3fdd4c View commit details
    Browse the repository at this point in the history

  6. Remove patch from plot tests

    @danjujan
    danjujan committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    4aa6b30 View commit details
    Browse the repository at this point in the history

  7. Fix pylint

    @danjujan
    danjujan committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    f25fa52 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Aug 23, 2023
    Configuration menu
    Copy the full SHA
    b7d9bdd View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2023

  1. Fix hanging when trying to plot

    @danjujan
    danjujan committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    386d7f2 View commit details
    Browse the repository at this point in the history

  2. FeatureModelFromula now has prefixed numbers to support xz's presets

    @danjujan
    danjujan committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    b6ca5b1 View commit details
    Browse the repository at this point in the history

  3. Cache minimize function

    @danjujan
    danjujan committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    0edc91c View commit details
    Browse the repository at this point in the history

  4. Incorporate feedback

    @danjujan
    danjujan committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    44b772e View commit details
    Browse the repository at this point in the history

  5. Merge branch 'command_requires' into jan-dev

    @danjujan
    danjujan committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    da09712 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'vara-dev' into command_requires

    @danjujan
    danjujan authored Aug 24, 2023
    Configuration menu
    Copy the full SHA
    a6884cc View commit details
    Browse the repository at this point in the history

  7. Cleanup

    @danjujan
    danjujan committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    f7a50e3 View commit details
    Browse the repository at this point in the history

  8. Fix pylint

    @danjujan
    danjujan committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    37793ec View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2023

  1. Incorporate feedback

    @danjujan
    danjujan committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    82a4a9b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'command_requires' into jan-dev

    @danjujan
    danjujan committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    b1f65c3 View commit details
    Browse the repository at this point in the history

  3. Fix

    @danjujan
    danjujan committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    ff15992 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Aug 25, 2023
    Configuration menu
    Copy the full SHA
    ad438e4 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'jan-dev' of github.com:se-sic/VaRA-Tool-Suite into jan-dev

    @danjujan
    danjujan committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    d085751 View commit details
    Browse the repository at this point in the history

  6. Fix mypy

    @danjujan
    danjujan committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    e571903 View commit details
    Browse the repository at this point in the history

  7. Fix mypy

    @danjujan
    danjujan committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    ebdce03 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2023

  1. Use FeatureModel for presence condition simplification

    @danjujan
    danjujan committed Aug 26, 2023
    Configuration menu
    Copy the full SHA
    741cd5e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'command_requires' into jan-dev

    @danjujan
    danjujan committed Aug 26, 2023
    Configuration menu
    Copy the full SHA
    7b909f1 View commit details
    Browse the repository at this point in the history

  3. Fix tests + mypy

    @danjujan
    danjujan committed Aug 26, 2023
    Configuration menu
    Copy the full SHA
    1acd18d View commit details
    Browse the repository at this point in the history

  4. Fix mypy

    @danjujan
    danjujan committed Aug 26, 2023
    Configuration menu
    Copy the full SHA
    5a5a08b View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2023

  1. Fix makedir race condition

    @danjujan
    danjujan committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    7c5cce4 View commit details
    Browse the repository at this point in the history

  2. Cleanup test

    @danjujan
    danjujan committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    9ddcf06 View commit details
    Browse the repository at this point in the history

  3. Add ReducedFeatureModel case study for xz

    @danjujan
    danjujan committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    5e73812 View commit details
    Browse the repository at this point in the history

  4. Fix ReducedFeatureModel case study for xz

    @danjujan
    danjujan committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    48da562 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Aug 28, 2023
    Configuration menu
    Copy the full SHA
    d7149fa View commit details
    Browse the repository at this point in the history

  6. Update

    Jan Karl August Schmitz committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    0b97ad5 View commit details
    Browse the repository at this point in the history

  7. Fix end of line

    @danjujan
    danjujan committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    ed288e3 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. Disable GC temporarily for plotting

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    728c109 View commit details
    Browse the repository at this point in the history

  2. Precommit

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    ca956f2 View commit details
    Browse the repository at this point in the history

  3. Pylint

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    09bca2e View commit details
    Browse the repository at this point in the history

  4. Precommit

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    b2139cd View commit details
    Browse the repository at this point in the history

  5. Debug Timeout error

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    f57bb01 View commit details
    Browse the repository at this point in the history

  6. Annotate covered notes later

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    eddd329 View commit details
    Browse the repository at this point in the history

  7. Fix timeout value

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    06de00d View commit details
    Browse the repository at this point in the history

  8. Avoid RecursionError in expr_to_str by simplifying earlier

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    8dd9b56 View commit details
    Browse the repository at this point in the history

  9. Use prctl syscall to kill child processes if parent dies

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    a3f947d View commit details
    Browse the repository at this point in the history

  10. Optimized map

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    da6bb29 View commit details
    Browse the repository at this point in the history

  11. Switch back to ProcessPool

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    cd09754 View commit details
    Browse the repository at this point in the history

  12. Initialize ProcessPool once, improve chunking

    @danjujan
    danjujan committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    475d9e4 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. Increase recursion limit for expr_to_str

    @danjujan
    danjujan committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    dfadb76 View commit details
    Browse the repository at this point in the history

  2. Simplify dont care bit logic

    @danjujan
    danjujan committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    06faca2 View commit details
    Browse the repository at this point in the history

  3. Fix mypy

    @danjujan
    danjujan committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    5c575b8 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Ignore disabled arguments for configuration option with argument

    @danjujan
    danjujan committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    56d4018 View commit details
    Browse the repository at this point in the history

  2. Fix missing FlushTO_Values in feature_option_mapping

    @danjujan
    danjujan committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    8aa6c55 View commit details
    Browse the repository at this point in the history

  3. Ensure we parse expressions to DNF + use exprvar to remove xz preset … 

    …workaround
    @danjujan
    danjujan committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    85b2278 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2023

  1. Use cudd BDDs instead of pyedas espresso_truthtables for presence con… 

    …dition simplification
    @danjujan
    danjujan committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    aa055d3 View commit details
    Browse the repository at this point in the history

  2. Add dd as dependecy for cudd BDDs

    @danjujan
    danjujan committed Sep 3, 2023
    Configuration menu
    Copy the full SHA
    effeb68 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2023

  1. Use threads for _cov_segments_file

    @danjujan
    danjujan committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    9c828e0 View commit details
    Browse the repository at this point in the history

  2. Add timeout arg to optimized_map

    @danjujan
    danjujan committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    7ea66c6 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Sep 4, 2023
    Configuration menu
    Copy the full SHA
    79461bb View commit details
    Browse the repository at this point in the history

  4. Move dd to requirements.txt

    @danjujan
    danjujan committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    70842e3 View commit details
    Browse the repository at this point in the history

  5. Update dd entry in requirements.txt

    @danjujan
    danjujan committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    14f948d View commit details
    Browse the repository at this point in the history

  6. Try global-option instead of install-option

    @danjujan
    danjujan committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    4202320 View commit details
    Browse the repository at this point in the history

  7. Switch to --config-setting

    @danjujan
    danjujan committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    a24216a View commit details
    Browse the repository at this point in the history

  8. Test in requirements.txt

    @danjujan
    danjujan committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    157c486 View commit details
    Browse the repository at this point in the history

  9. Fix version in requirements.txt

    @danjujan
    danjujan committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    35aa97f View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2023

  1. myscripts: fix regex for values list

    @danjujan
    danjujan committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    3533987 View commit details
    Browse the repository at this point in the history

  2. Support multiple workloads for same extra args in llvm_coverage_exper… 

    …iment
    @danjujan
    danjujan committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    f3a2180 View commit details
    Browse the repository at this point in the history

  3. Add picosat support

    @danjujan
    danjujan committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    a5313ad View commit details
    Browse the repository at this point in the history

  4. Add minimal picosat case_stuy file

    @danjujan
    danjujan committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    d11982f View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2023

  1. Spawn only as much threads as needed + shutdown workers

    @danjujan
    danjujan committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    95ae4d2 View commit details
    Browse the repository at this point in the history

  2. Don't use threads

    @danjujan
    danjujan committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    fb8288b View commit details
    Browse the repository at this point in the history

  3. Install dd manually

    @danjujan
    danjujan authored Sep 6, 2023
    Configuration menu
    Copy the full SHA
    b17de88 View commit details
    Browse the repository at this point in the history

  4. Update requirements.txt

    @danjujan
    danjujan authored Sep 6, 2023
    Configuration menu
    Copy the full SHA
    5ab6a45 View commit details
    Browse the repository at this point in the history

  5. Update setup.py

    @danjujan
    danjujan authored Sep 6, 2023
    Configuration menu
    Copy the full SHA
    7c2fca9 View commit details
    Browse the repository at this point in the history

  6. Update action.yml

    @danjujan
    danjujan authored Sep 6, 2023
    Configuration menu
    Copy the full SHA
    6ed1ca1 View commit details
    Browse the repository at this point in the history

  7. Update action.yml

    @danjujan
    danjujan authored Sep 6, 2023
    Configuration menu
    Copy the full SHA
    667e889 View commit details
    Browse the repository at this point in the history

  8. Update action.yml

    @danjujan
    danjujan authored Sep 6, 2023
    Configuration menu
    Copy the full SHA
    b243b2f View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2023

  1. Use spawn to potentially fix deadlock by using spawn instead of fork … 

    …in Process Pool + implement espresso_expr myself
    @danjujan
    danjujan committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    8a06bc2 View commit details
    Browse the repository at this point in the history

  2. Add container support to picosat

    @danjujan
    danjujan committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    c8724dd View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2023

  1. Fix ci

    @danjujan
    danjujan committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    c498695 View commit details
    Browse the repository at this point in the history

  2. Fix mypy + restore old cov_segments code before thread ready

    @danjujan
    danjujan committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    b43962d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Sep 8, 2023
    Configuration menu
    Copy the full SHA
    3f26639 View commit details
    Browse the repository at this point in the history

  4. Fix mypy

    @danjujan
    danjujan committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    08a8def View commit details
    Browse the repository at this point in the history

  5. Better output messages

    @danjujan
    danjujan committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    25b166e View commit details
    Browse the repository at this point in the history

  6. Fix mypy

    @danjujan
    danjujan committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    463f4fb View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2023

  1. Another test for pyeda

    @danjujan
    danjujan committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    13f41a6 View commit details
    Browse the repository at this point in the history

  2. Improve time measurements

    @danjujan
    danjujan committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    cedf5b9 View commit details
    Browse the repository at this point in the history

  3. Add picosat reduced case study

    @danjujan
    danjujan committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    103b713 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2023

  1. picosat, do not allow exist status 0, to detect invalid configuration… 

    …s in feature Model
    @danjujan
    danjujan committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    6f9f4c2 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. Add UNKNOWN workload to picosat

    @danjujan
    danjujan committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    7f11098 View commit details
    Browse the repository at this point in the history

  2. Add coverage_feature_set to plot for easier reasoning

    @danjujan
    danjujan committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    5fe6652 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. Rudimentary support for ect

    @danjujan
    danjujan committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    900225a View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Sep 13, 2023
    Configuration menu
    Copy the full SHA
    b1c8796 View commit details
    Browse the repository at this point in the history

  2. Add workloads to ect

    @danjujan
    danjujan committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    837b188 View commit details
    Browse the repository at this point in the history

  3. Make ect a configuration specific project

    @danjujan
    danjujan committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    41e5794 View commit details
    Browse the repository at this point in the history

  4. Add fix for compiling ect under debian 10

    @danjujan
    danjujan committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    4d543bb View commit details
    Browse the repository at this point in the history

  5. Switch to ect reduced feature model

    @danjujan
    danjujan committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    4f64629 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Fix pylint

    @danjujan
    danjujan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    fdab5af View commit details
    Browse the repository at this point in the history

  2. Fix cov_show for ect: ingore buggy llvm json data

    @danjujan
    danjujan committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    2725e9f View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2023

  1. Switch FeaturePerfCSCollection to MSMR

    @danjujan
    danjujan committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    e5f4c60 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Oct 4, 2023
    Configuration menu
    Copy the full SHA
    28d8170 View commit details
    Browse the repository at this point in the history

  3. Fix moved VCommand

    @danjujan
    danjujan committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    b7e8a65 View commit details
    Browse the repository at this point in the history

  4. MSMR case study remove duplicate configs

    @danjujan
    danjujan committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    af250b9 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. Fix VCommand import

    @danjujan
    danjujan committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    3ad3fb4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'jan-dev' of github.com:se-sic/VaRA-Tool-Suite into jan-dev

    @danjujan
    danjujan committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    278d583 View commit details
    Browse the repository at this point in the history

  3. Incorporate upstream changes

    @danjujan
    danjujan committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    84bbed3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Oct 6, 2023
    Configuration menu
    Copy the full SHA
    5fa0533 View commit details
    Browse the repository at this point in the history

  5. Correct workload_commands_tags test

    @danjujan
    danjujan committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    f64798f View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2023

  1. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Oct 7, 2023
    Configuration menu
    Copy the full SHA
    4d7c6d0 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. Fix has_features for no features annotated

    @danjujan
    danjujan committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    ef91b72 View commit details
    Browse the repository at this point in the history

  2. Improve LaTeX tables: added total + all-coverage, all-vara, all-both

    @danjujan
    danjujan committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    a4330d6 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. Add tests for all-coverage and all_vara

    @danjujan
    danjujan committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    1b403cd View commit details
    Browse the repository at this point in the history

  2. Improve table generation

    @danjujan
    danjujan committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    237d389 View commit details
    Browse the repository at this point in the history

  3. Fix pylint + mypy

    @danjujan
    danjujan committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    ff1898f View commit details
    Browse the repository at this point in the history

  4. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Oct 10, 2023
    Configuration menu
    Copy the full SHA
    af7d626 View commit details
    Browse the repository at this point in the history

  5. Switch back to SFI + small improvements for tables

    @danjujan
    danjujan committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    9ac2e32 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2023

  1. Add midrule before TOTAL in result tables + comment out "all-" rows

    @danjujan
    danjujan committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    937e2cf View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2023

  1. Rework plotting code + ignore code regions workaround

    @danjujan
    danjujan committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    a7e52fa View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2023

  1. Simplify CoverageReports feature report cache

    @danjujan
    danjujan committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    7aac7c5 View commit details
    Browse the repository at this point in the history

  2. Plot thresholds results combined in one table

    @danjujan
    danjujan committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    b75ea67 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2023

  1. Add ignore parsing code reggions for MSMR

    @danjujan
    danjujan committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    e2173ab View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. Prepare gzip for experiment

    @danjujan
    danjujan committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    9a8c1ef View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. Switch to gzip case study to reduced

    @danjujan
    danjujan committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    f77e449 View commit details
    Browse the repository at this point in the history

  2. Add bzip2 reduced case study

    @danjujan
    danjujan committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    ceb25c5 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2023

  1. Added specificity to tables + added ignore parsing code regions for b… 

    …zip2, gzip, picosat, xz
    @danjujan
    danjujan committed Oct 22, 2023
    Configuration menu
    Copy the full SHA
    b0f2661 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Restore workarounds

    @danjujan
    danjujan committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    f2bfb37 View commit details
    Browse the repository at this point in the history

  2. Regenerater case studies after vara-feature fixed

    @danjujan
    danjujan committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    902ad51 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. Dont fail if we use --stdout args

    @danjujan
    danjujan committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    ded06e2 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Update xz configs after ensuring --compress is always generated by Fe… 

    …ature Model
    @danjujan
    danjujan committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    75cc5df View commit details
    Browse the repository at this point in the history

  2. Merge branch 'vara-dev' into jan-dev

    @danjujan
    danjujan authored Oct 25, 2023
    Configuration menu
    Copy the full SHA
    70ccd19 View commit details
    Browse the repository at this point in the history

  3. Fix import in experiment

    @danjujan
    danjujan committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    06a4311 View commit details
    Browse the repository at this point in the history

  4. Fix mypy + pylint

    @danjujan
    danjujan committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    6488b0d View commit details
    Browse the repository at this point in the history

  5. Fix pre-commit

    @danjujan
    danjujan committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    cac8c82 View commit details
    Browse the repository at this point in the history

  6. Fix broken merge

    @danjujan
    danjujan committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    c4f0f15 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Add SynthIPRuntime support

    @danjujan
    danjujan committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    d48dc46 View commit details
    Browse the repository at this point in the history

  2. Add workload.small again to fix unittest

    @danjujan
    danjujan committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    3ee8614 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2023

  1. Fix tests + ignore feature-dependent functions in SynthIPRuntime

    @danjujan
    danjujan committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    d544bde View commit details
    Browse the repository at this point in the history

  2. Add SynthDARecursion support

    @danjujan
    danjujan committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    f779dfb View commit details
    Browse the repository at this point in the history

  3. Add SynthDADynamicDispatch, SynthOVInsideLoop

    @danjujan
    danjujan committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    006fe4b View commit details
    Browse the repository at this point in the history

  4. Add SynthSA support

    @danjujan
    danjujan committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    ac767cf View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2023

  1. Fix pylint

    @danjujan
    danjujan committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    cd00040 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. Plot instrs for FNs and FPs in confusion matrices

    @danjujan
    danjujan committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    0f3aad0 View commit details
    Browse the repository at this point in the history

  2. Fix mypy

    @danjujan
    danjujan committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    2cc3195 View commit details
    Browse the repository at this point in the history

  3. Get rid of duplicates in feature_combinations generation + Update red… 

    …uced xz casestudy
    @danjujan
    danjujan committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    716e2d5 View commit details
    Browse the repository at this point in the history

  4. Get rid of duplicates in feature_model_formula

    @danjujan
    danjujan committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    5ed9157 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Use ConfigParams in more projects

    @danjujan
    danjujan committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    550f1f5 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Reduce duplicates in gzip case study

    @danjujan
    danjujan committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    f35bbbe View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Get SynthDADynamicDispatch working

    @danjujan
    danjujan committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    0438383 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Use FeatureModel when generating matrices...

    @danjujan
    danjujan committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    a2d13e3 View commit details
    Browse the repository at this point in the history

  2. Add alternative options workaround for SynthIPRuntime and SynthSACont… 

    …extSensitivity
    @danjujan
    danjujan committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    117bede View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Add excluded options workaround for bzip2

    @danjujan
    danjujan committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    12f1d09 View commit details
    Browse the repository at this point in the history

  2. Add excluded options workaround for xz

    @danjujan
    danjujan committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    6def304 View commit details
    Browse the repository at this point in the history