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

Changes for Pull Request bench#85: Automatic Generation of Test Cases for Incremental Static Analysis #1096

Closed
wants to merge 142 commits into from
Closed

Changes for Pull Request bench#85: Automatic Generation of Test Cases for Incremental Static Analysis #1096

wants to merge 142 commits into from

Commits on May 4, 2023

  1. upload files

    Jonas committed May 4, 2023
    Configuration menu
    Copy the full SHA
    15f3dfd View commit details
    Browse the repository at this point in the history

  2. sync

    @J2000A
    J2000A committed May 4, 2023
    Configuration menu
    Copy the full SHA
    9de3f7a View commit details
    Browse the repository at this point in the history

  3. update gitignore

    @J2000A
    J2000A committed May 4, 2023
    Configuration menu
    Copy the full SHA
    e8cf76c View commit details
    Browse the repository at this point in the history

Commits on May 5, 2023

  1. update build instructions

    Jonas August committed May 5, 2023
    Configuration menu
    Copy the full SHA
    5b03ce8 View commit details
    Browse the repository at this point in the history

  2. Adjust evalAssert to offer __goblint_check(exp) with the option trans… 

    ….goblint-check
    @J2000A
    J2000A committed May 5, 2023
    Configuration menu
    Copy the full SHA
    6091f1d View commit details
    Browse the repository at this point in the history

  3. Change number of jobs to improve build speed

    Jonas August committed May 5, 2023
    Configuration menu
    Copy the full SHA
    1111331 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'refs/remotes/origin/master'

    Jonas August committed May 5, 2023
    Configuration menu
    Copy the full SHA
    acd5e06 View commit details
    Browse the repository at this point in the history

  5. Add build target option for further speedup

    @J2000A
    J2000A committed May 5, 2023
    Configuration menu
    Copy the full SHA
    2ea12fc View commit details
    Browse the repository at this point in the history

Commits on May 9, 2023

  1. Adding index to matched functionDecl

    Jonas August committed May 9, 2023
    Configuration menu
    Copy the full SHA
    a0ca99c View commit details
    Browse the repository at this point in the history

Commits on May 10, 2023

  1. Adopt evalAssert.ml so the option is checked correctly at runtime

    Jonas August committed May 10, 2023
    Configuration menu
    Copy the full SHA
    922dd23 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Index mutations with -line-filter option

    Jonas August committed May 16, 2023
    Configuration menu
    Copy the full SHA
    5f16ec1 View commit details
    Browse the repository at this point in the history

  2. Fix Goblint Option Retrieving by adding Unit to constant

    Jonas August committed May 16, 2023
    Configuration menu
    Copy the full SHA
    ad9f0d9 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2023

  1. Move Check Creation Info to md

    @J2000A
    J2000A committed May 18, 2023
    Configuration menu
    Copy the full SHA
    eba6d46 View commit details
    Browse the repository at this point in the history

  2. Bugfix

    @J2000A
    J2000A committed May 18, 2023
    Configuration menu
    Copy the full SHA
    1592efe View commit details
    Browse the repository at this point in the history

  3. Add Unary Operator Inversion Mutation

    @J2000A
    J2000A committed May 18, 2023
    Configuration menu
    Copy the full SHA
    03868cb View commit details
    Browse the repository at this point in the history

  4. Add [MUTATION] to comments

    @J2000A
    J2000A committed May 18, 2023
    Configuration menu
    Copy the full SHA
    4f0299b View commit details
    Browse the repository at this point in the history

  5. Add test files

    @J2000A
    J2000A committed May 18, 2023
    Configuration menu
    Copy the full SHA
    dd69c3a View commit details
    Browse the repository at this point in the history

  6. Add ROR Mutation

    @J2000A
    J2000A committed May 18, 2023
    Configuration menu
    Copy the full SHA
    c63a024 View commit details
    Browse the repository at this point in the history

  7. Remove function body in one line

    @J2000A
    J2000A committed May 18, 2023
    Configuration menu
    Copy the full SHA
    1e71c0b View commit details
    Browse the repository at this point in the history

  8. Remove unnecesary comments

    @J2000A
    J2000A committed May 18, 2023
    Configuration menu
    Copy the full SHA
    ac053d8 View commit details
    Browse the repository at this point in the history

  9. Add Logical Connector Mutation

    @J2000A
    J2000A committed May 18, 2023
    Configuration menu
    Copy the full SHA
    5958abb View commit details
    Browse the repository at this point in the history

Commits on May 19, 2023

  1. Add Constant Replacement Check

    @J2000A
    J2000A committed May 19, 2023
    Configuration menu
    Copy the full SHA
    6702b56 View commit details
    Browse the repository at this point in the history

  2. Add Mutation Type to Brackets

    @J2000A
    J2000A committed May 19, 2023
    Configuration menu
    Copy the full SHA
    5583a91 View commit details
    Browse the repository at this point in the history

  3. New sample file for pthreads

    @J2000A
    J2000A committed May 19, 2023
    Configuration menu
    Copy the full SHA
    7875a58 View commit details
    Browse the repository at this point in the history

  4. Bugfix

    @J2000A
    J2000A committed May 19, 2023
    Configuration menu
    Copy the full SHA
    7d41ae4 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2023

  1. Add Remove Thread Mutation

    @J2000A
    J2000A committed May 22, 2023
    Configuration menu
    Copy the full SHA
    a2d4bee View commit details
    Browse the repository at this point in the history

  2. Documentation of Mutations

    @J2000A
    J2000A committed May 22, 2023
    Configuration menu
    Copy the full SHA
    e5483b0 View commit details
    Browse the repository at this point in the history

  3. Bugfix

    @J2000A
    J2000A committed May 22, 2023
    Configuration menu
    Copy the full SHA
    507fe12 View commit details
    Browse the repository at this point in the history

  4. Add ML Heuristic

    @J2000A
    J2000A committed May 22, 2023
    Configuration menu
    Copy the full SHA
    31d39cf View commit details
    Browse the repository at this point in the history

  5. Delete APIKEY.yaml

    @J2000A
    J2000A authored May 22, 2023
    Configuration menu
    Copy the full SHA
    f55aebe View commit details
    Browse the repository at this point in the history

  6. Update .gitignore

    @J2000A
    J2000A authored May 22, 2023
    Configuration menu
    Copy the full SHA
    d35ef36 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2023

  1. Bugfix

    Jonas August committed May 23, 2023
    Configuration menu
    Copy the full SHA
    28f5976 View commit details
    Browse the repository at this point in the history

  2. Testing ML

    Jonas August committed May 23, 2023
    Configuration menu
    Copy the full SHA
    453da2c View commit details
    Browse the repository at this point in the history

  3. Script for adding SUCCESS or UNDEFINED to checks

    Jonas August committed May 23, 2023
    Configuration menu
    Copy the full SHA
    f99fc76 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2023

  1. Use argparser

    Jonas August committed May 24, 2023
    Configuration menu
    Copy the full SHA
    36a2b21 View commit details
    Browse the repository at this point in the history

  2. Add gitignore

    Jonas August committed May 24, 2023
    Configuration menu
    Copy the full SHA
    6c1ae58 View commit details
    Browse the repository at this point in the history

  3. Refactoring

    Jonas August committed May 24, 2023
    Configuration menu
    Copy the full SHA
    09d91ca View commit details
    Browse the repository at this point in the history

  4. Implementing add-check

    Jonas August committed May 24, 2023
    Configuration menu
    Copy the full SHA
    aea65aa View commit details
    Browse the repository at this point in the history

Commits on May 25, 2023

  1. Refactoring

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    11fb212 View commit details
    Browse the repository at this point in the history

  2. Create generate mutations

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    213ee8d View commit details
    Browse the repository at this point in the history

  3. Add new check to create wrapper for remove thread

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    d3cf3ef View commit details
    Browse the repository at this point in the history

  4. Bugfix

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    ab3b973 View commit details
    Browse the repository at this point in the history

  5. Add handling of thread function wrapping

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    5a78a05 View commit details
    Browse the repository at this point in the history

  6. Refactor file name

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    ca13c9e View commit details
    Browse the repository at this point in the history

  7. Added gitignore

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    540565b View commit details
    Browse the repository at this point in the history

  8. Bugfixes

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    13875a1 View commit details
    Browse the repository at this point in the history

  9. Add vervose option

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    d0760eb View commit details
    Browse the repository at this point in the history

  10. Add Script for generating programs

    Jonas August committed May 25, 2023
    Configuration menu
    Copy the full SHA
    5d06a6d View commit details
    Browse the repository at this point in the history

Commits on May 26, 2023

  1. Move sample files

    @J2000A
    J2000A committed May 26, 2023
    Configuration menu
    Copy the full SHA
    539ae63 View commit details
    Browse the repository at this point in the history

  2. Add gitignore

    @J2000A
    J2000A committed May 26, 2023
    Configuration menu
    Copy the full SHA
    488519f View commit details
    Browse the repository at this point in the history

  3. Add comment with run command

    @J2000A
    J2000A committed May 26, 2023
    Configuration menu
    Copy the full SHA
    0742b4f View commit details
    Browse the repository at this point in the history

Commits on May 30, 2023

  1. Writing of generate tests script

    @J2000A
    J2000A committed May 30, 2023
    Configuration menu
    Copy the full SHA
    0e2dd7e View commit details
    Browse the repository at this point in the history

  2. Use common util constants

    @J2000A
    J2000A committed May 30, 2023
    Configuration menu
    Copy the full SHA
    d9e25e7 View commit details
    Browse the repository at this point in the history

  3. Add main to test programs

    @J2000A
    J2000A committed May 30, 2023
    Configuration menu
    Copy the full SHA
    9cc1e8c View commit details
    Browse the repository at this point in the history

  4. Fix imports

    @J2000A
    J2000A committed May 30, 2023
    Configuration menu
    Copy the full SHA
    c9f5e6e View commit details
    Browse the repository at this point in the history

  5. Implement script for running tests

    @J2000A
    J2000A committed May 30, 2023
    Configuration menu
    Copy the full SHA
    1821e93 View commit details
    Browse the repository at this point in the history

  6. Implemente base cli

    @J2000A
    J2000A committed May 30, 2023
    Configuration menu
    Copy the full SHA
    112850d View commit details
    Browse the repository at this point in the history

Commits on May 31, 2023

  1. Make name of tests unique

    Jonas August committed May 31, 2023
    Configuration menu
    Copy the full SHA
    b7252e1 View commit details
    Browse the repository at this point in the history

  2. Fix Logo

    Jonas August committed May 31, 2023
    Configuration menu
    Copy the full SHA
    d7a3dd8 View commit details
    Browse the repository at this point in the history

  3. Fix comment name

    Jonas August committed May 31, 2023
    Configuration menu
    Copy the full SHA
    d2cb173 View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2023

  1. Generate Minimal Test for "nothing" problem

    @J2000A
    J2000A committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    e1887da View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2023

  1. Implementation of ML

    @J2000A
    J2000A committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    0bdda1f View commit details
    Browse the repository at this point in the history

  2. Run multiple requests for ML in parallel

    @J2000A
    J2000A committed Jun 2, 2023
    Configuration menu
    Copy the full SHA
    26917ca View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2023

  1. documentation of llvm version

    @J2000A
    J2000A committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    d2cc0c3 View commit details
    Browse the repository at this point in the history

  2. Trying around with git

    @J2000A
    J2000A committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    a6368ee View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2023

  1. Bugfix

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

  2. Fix imports

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

  3. Update gitignore

    @J2000A
    J2000A committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    46405f5 View commit details
    Browse the repository at this point in the history

  4. Update gitignore

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

  5. Add Repositories to sample files

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

Commits on Jun 8, 2023

  1. Add Shell Script for Git Repositories

    @J2000A
    J2000A committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    09553e8 View commit details
    Browse the repository at this point in the history

  2. Add Shell Script for processing git repos

    @J2000A
    J2000A committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    edda276 View commit details
    Browse the repository at this point in the history

  3. Seperate User Input and script itself

    @J2000A
    J2000A committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    402edb3 View commit details
    Browse the repository at this point in the history

  4. Add option for output directory

    @J2000A
    J2000A committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    ae67de8 View commit details
    Browse the repository at this point in the history

  5. Remove superfluous argument

    @J2000A
    J2000A committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    545a8dc View commit details
    Browse the repository at this point in the history

  6. Seperate parts of the script with options

    @J2000A
    J2000A committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    7718a50 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2023

  1. integration of generateGit into whole script TODOs

    @J2000A
    J2000A committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    a1f9eed View commit details
    Browse the repository at this point in the history

  2. Add coloring to terminal output

    @J2000A
    J2000A committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    0708341 View commit details
    Browse the repository at this point in the history

  3. Rename script

    @J2000A
    J2000A committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    ce1e0d4 View commit details
    Browse the repository at this point in the history

  4. Consider not compiling programs

    @J2000A
    J2000A committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    ea3edf8 View commit details
    Browse the repository at this point in the history

  5. Print template script and ask for sh path

    @J2000A
    J2000A committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    3d7be0f View commit details
    Browse the repository at this point in the history

  6. Add exception printing for comilation errors

    @J2000A
    J2000A committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    134a17d View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2023

  1. Update gitignore

    @J2000A
    J2000A committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    d0ea8c2 View commit details
    Browse the repository at this point in the history

  2. Remove obsolete files

    @J2000A
    J2000A committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    79b953c View commit details
    Browse the repository at this point in the history

  3. Fix and document files

    @J2000A
    J2000A committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    7f63d28 View commit details
    Browse the repository at this point in the history

  4. Fixes and Readme files

    @J2000A
    J2000A committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    fe961f7 View commit details
    Browse the repository at this point in the history

  5. Do not overwrite direcotroy

    @J2000A
    J2000A committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    d845082 View commit details
    Browse the repository at this point in the history

  6. Add cfg option

    @J2000A
    J2000A committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    304d289 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2023

  1. Pass option for dir names and test creation

    @J2000A
    J2000A committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    8db02d2 View commit details
    Browse the repository at this point in the history

  2. Pass git start and end hash

    @J2000A
    J2000A committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    83144bf View commit details
    Browse the repository at this point in the history

  3. Add options for ml

    @J2000A
    J2000A committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    df9ad70 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Add passing of goblint config file

    @J2000A
    J2000A committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    16c8b9e View commit details
    Browse the repository at this point in the history

  2. Interpret //PARAM from input file

    @J2000A
    J2000A committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    3e86606 View commit details
    Browse the repository at this point in the history

  3. Add option for gpt 16k model vs 4k

    @J2000A
    J2000A committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    9ff18ed View commit details
    Browse the repository at this point in the history

  4. Update CLI for individual files

    @J2000A
    J2000A committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    5671ed4 View commit details
    Browse the repository at this point in the history

  5. Fix

    @J2000A
    J2000A committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    8873ab2 View commit details
    Browse the repository at this point in the history

  6. Allow multiple directories

    @J2000A
    J2000A committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    feade93 View commit details
    Browse the repository at this point in the history

  7. Update gitignore

    @J2000A
    J2000A committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    de00d79 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2023

  1. Give temp name only in CLI

    @J2000A
    J2000A committed Jun 17, 2023
    Configuration menu
    Copy the full SHA
    44932c8 View commit details
    Browse the repository at this point in the history

  2. move test-generation up

    @J2000A
    J2000A committed Jun 17, 2023
    Configuration menu
    Copy the full SHA
    b7f33e6 View commit details
    Browse the repository at this point in the history

  3. move to bench repo

    @J2000A
    J2000A committed Jun 17, 2023
    Configuration menu
    Copy the full SHA
    4bac14d View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2023

  1. Add gitignore for temp test files

    @J2000A
    J2000A committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    49d71b1 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Read always the PARMs from the first line

    Jonas August committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    7a96981 View commit details
    Browse the repository at this point in the history

  2. Revert passing params with -p

    Jonas August committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    6633ada View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2023

  1. Schreibe keine assertions für dead code

    Jonas August committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    8ea7618 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. Do not interpret cil __SC_TRACE as RACE

    @J2000A
    J2000A committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    cc64c2d View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2023

  1. Merge remote-tracking branch 'upstream/master'

    @J2000A
    J2000A committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    9d33c22 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. Only consider annotations not part of a word

    @J2000A
    J2000A committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    9001024 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. Add nowarn annotation

    Jonas August committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    764482c View commit details
    Browse the repository at this point in the history

  2. Update documentation

    Jonas August committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    bbbfaf7 View commit details
    Browse the repository at this point in the history

  3. In case of exception print content of warnfile

    Jonas August committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    075c1a8 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. Add warn and nothing to results for NOFAIL

    Jonas August committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    b4c84b0 View commit details
    Browse the repository at this point in the history

  2. change accepted results to not fail

    Jonas August committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    63fb6bf View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. Fix depreciated option

    Jonas August committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    7e2491a View commit details
    Browse the repository at this point in the history

  2. Check files with linter

    @J2000A
    J2000A committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    52ee2f8 View commit details
    Browse the repository at this point in the history

  3. Fix

    @J2000A
    J2000A committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    3ba9149 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'goblint:master' into master

    @J2000A
    J2000A authored Jun 29, 2023
    Configuration menu
    Copy the full SHA
    b942b21 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2023

  1. Fix << for nil error

    @J2000A
    J2000A committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    e11b135 View commit details
    Browse the repository at this point in the history

  2. Revive removed comment

    @J2000A
    J2000A committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    4bc1729 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into master

    @J2000A
    J2000A authored Jul 7, 2023
    Configuration menu
    Copy the full SHA
    73011a8 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. Add annotation not imprecise

    Jonas August committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    1c5871f View commit details
    Browse the repository at this point in the history

  2. Add annotation not imprecise to documentation

    Jonas August committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    184e900 View commit details
    Browse the repository at this point in the history

  3. Rephrase documentation

    Jonas August committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    5de6d6c View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. Remove ignoring of nothing

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

Commits on Jul 25, 2023

  1. Merge branch 'goblint:master' into master

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

  2. Change MAYFAIL to MAY FAIL

    Jonas August committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    fddcfb1 View commit details
    Browse the repository at this point in the history

  3. Update name to IATT

    Jonas August committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    1c5c355 View commit details
    Browse the repository at this point in the history

  4. Update name to IATT

    Jonas August committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    8aabe2d View commit details
    Browse the repository at this point in the history

  5. Update paths in readme

    Jonas August committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    d3835f2 View commit details
    Browse the repository at this point in the history

  6. Change MAYFAIL to MAY FAIL

    Jonas August committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    cb0ddb6 View commit details
    Browse the repository at this point in the history

  7. Correct description

    Jonas August committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    558b68e View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into master

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

  9. Merge remote-tracking branch 'upstream/master'

    Jonas August committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    097a42a View commit details
    Browse the repository at this point in the history

  10. Merge branch 'master' of https://github.com/J2000A/analyzer

    Jonas August committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    15e1896 View commit details
    Browse the repository at this point in the history

  11. Update Name to TAIA

    Jonas August committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    840d587 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Merge branch 'goblint:master' into master

    @J2000A
    J2000A authored Aug 3, 2023
    Configuration menu
    Copy the full SHA
    7e8e216 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. Ignore extern definitions

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

  2. Merge branch 'master' of https://github.com/J2000A/analyzer

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

Commits on Dec 8, 2023

  1. remove notinprecise annotation

    @stilscher
    stilscher committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    692e8a0 View commit details
    Browse the repository at this point in the history

  2. change may fail to fail annotation

    @stilscher
    stilscher committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    474010b View commit details
    Browse the repository at this point in the history

  3. rename option

    @stilscher
    stilscher committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    40a9f80 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into jonas-master

    @stilscher
    stilscher committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    f4412f8 View commit details
    Browse the repository at this point in the history