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

C-2PO: Thesis About a Weakly-Relational Pointer Analysis #1485

Open
wants to merge 337 commits into
base: master
Choose a base branch
from
Open

C-2PO: Thesis About a Weakly-Relational Pointer Analysis #1485

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

Commits on Apr 29, 2024

  1. modified a comment

    @reb-ddm
    reb-ddm committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    f22f4f3 View commit details
    Browse the repository at this point in the history

  2. minor style choices

    @reb-ddm
    reb-ddm committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    69b0031 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. simplify cil conversion by using to_index

    @reb-ddm
    reb-ddm committed May 1, 2024
    Configuration menu
    Copy the full SHA
    69dc1ff View commit details
    Browse the repository at this point in the history

  2. fix small thing

    @reb-ddm
    reb-ddm committed May 1, 2024
    Configuration menu
    Copy the full SHA
    72d689e View commit details
    Browse the repository at this point in the history

  3. removed code for invertible assignments, as it is not necessary

    @reb-ddm
    reb-ddm committed May 1, 2024
    Configuration menu
    Copy the full SHA
    70c273f View commit details
    Browse the repository at this point in the history

  4. add size parameter to may_be_equal for the ize of the lvalue

    @reb-ddm
    reb-ddm committed May 1, 2024
    Configuration menu
    Copy the full SHA
    31ae30d View commit details
    Browse the repository at this point in the history

  5. changed Congruence closure to not be generic, but only work for for v… 

    …arinfo
    @reb-ddm
    reb-ddm committed May 1, 2024
    Configuration menu
    Copy the full SHA
    8b427c4 View commit details
    Browse the repository at this point in the history

  6. added type information to terms

    @reb-ddm
    reb-ddm committed May 1, 2024
    Configuration menu
    Copy the full SHA
    addf77b View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. added size of variables to the data structure; 

    added distinct dummy and return variables;
changed typ to exp as additional information for the terms, therefore simplified the function for finding the cil term starting;
fixed some bugs;
    @reb-ddm
    reb-ddm committed May 3, 2024
    Configuration menu
    Copy the full SHA
    d8c484a View commit details
    Browse the repository at this point in the history

  2. modified some tests

    @reb-ddm
    reb-ddm committed May 3, 2024
    Configuration menu
    Copy the full SHA
    5889a94 View commit details
    Browse the repository at this point in the history

  3. first draft of join, haven't tested it yet

    @reb-ddm
    reb-ddm committed May 3, 2024
    Configuration menu
    Copy the full SHA
    6b2cacd View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. finishe implementing join, calculate offsets correctly in join

    @reb-ddm
    reb-ddm committed May 6, 2024
    Configuration menu
    Copy the full SHA
    615453c View commit details
    Browse the repository at this point in the history

  2. fix bug in equal

    @reb-ddm
    reb-ddm committed May 6, 2024
    Configuration menu
    Copy the full SHA
    5a6d177 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. better dereferencing

    @reb-ddm
    reb-ddm committed May 7, 2024
    Configuration menu
    Copy the full SHA
    4e27d5f View commit details
    Browse the repository at this point in the history

  2. added tests for join

    @reb-ddm
    reb-ddm committed May 7, 2024
    Configuration menu
    Copy the full SHA
    40d0038 View commit details
    Browse the repository at this point in the history

  3. implemented disequalities

    @reb-ddm
    reb-ddm committed May 7, 2024
    Configuration menu
    Copy the full SHA
    4216b06 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. implemented remove with disequalities

    @reb-ddm
    reb-ddm committed May 9, 2024
    Configuration menu
    Copy the full SHA
    d34c252 View commit details
    Browse the repository at this point in the history

  2. only dereference disequalities if they have the same size

    @reb-ddm
    reb-ddm committed May 9, 2024
    Configuration menu
    Copy the full SHA
    b5e94a9 View commit details
    Browse the repository at this point in the history

  3. add test for disequalities

    @reb-ddm
    reb-ddm committed May 9, 2024
    Configuration menu
    Copy the full SHA
    1fa4e66 View commit details
    Browse the repository at this point in the history

  4. implemented join for disequalities

    @reb-ddm
    reb-ddm committed May 9, 2024
    Configuration menu
    Copy the full SHA
    4da20a6 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. fixed bugs in startState analysis and remembered tainted variables in… 

    … return of startState
    @reb-ddm
    reb-ddm committed May 13, 2024
    Configuration menu
    Copy the full SHA
    ad80a19 View commit details
    Browse the repository at this point in the history

  2. remove tainted variables in wrpointer analysis in combine_env

    @reb-ddm
    reb-ddm committed May 13, 2024
    Configuration menu
    Copy the full SHA
    0882a0a View commit details
    Browse the repository at this point in the history

  3. add function to remove tainted variables to the wrpointer domain

    @reb-ddm
    reb-ddm committed May 13, 2024
    Configuration menu
    Copy the full SHA
    4d5a966 View commit details
    Browse the repository at this point in the history

  4. add taintPartialContext analysis to tests

    @reb-ddm
    reb-ddm committed May 13, 2024
    Configuration menu
    Copy the full SHA
    4532e5b View commit details
    Browse the repository at this point in the history

  5. add test for tainted variables n a function

    @reb-ddm
    reb-ddm committed May 13, 2024
    Configuration menu
    Copy the full SHA
    c167abe View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. adapted the comments

    @reb-ddm
    reb-ddm committed May 14, 2024
    Configuration menu
    Copy the full SHA
    9bd512d View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. fixed bug in join and added corresponding test

    @reb-ddm
    reb-ddm committed May 17, 2024
    Configuration menu
    Copy the full SHA
    2807b01 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. made join more precise and made widen = top

    @reb-ddm
    reb-ddm committed May 20, 2024
    Configuration menu
    Copy the full SHA
    23213b3 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. handle unknown left hand sides of assignments

    @reb-ddm
    reb-ddm committed May 21, 2024
    Configuration menu
    Copy the full SHA
    61058ea View commit details
    Browse the repository at this point in the history

  2. better calculation of dereferenced expression. Give up when it is not… 

    … possible to dereference it further.
    @reb-ddm
    reb-ddm committed May 21, 2024
    Configuration menu
    Copy the full SHA
    4a253db View commit details
    Browse the repository at this point in the history

  3. check validity of dereferenced expressions

    @reb-ddm
    reb-ddm committed May 21, 2024
    Configuration menu
    Copy the full SHA
    69464f7 View commit details
    Browse the repository at this point in the history

  4. adapt enter and combine to follow the goblint assumptions

    @reb-ddm
    reb-ddm committed May 21, 2024
    Configuration menu
    Copy the full SHA
    b60a9a1 View commit details
    Browse the repository at this point in the history

  5. modify comments

    @reb-ddm
    reb-ddm committed May 21, 2024
    Configuration menu
    Copy the full SHA
    6c4b78e View commit details
    Browse the repository at this point in the history

  6. keep all global and all reachable variables in enter

    @reb-ddm
    reb-ddm committed May 21, 2024
    Configuration menu
    Copy the full SHA
    9fae17f View commit details
    Browse the repository at this point in the history

  7. added tests for structs and recursive functions

    @reb-ddm
    reb-ddm committed May 21, 2024
    Configuration menu
    Copy the full SHA
    26a51a8 View commit details
    Browse the repository at this point in the history

  8. remove a raise Failure

    @reb-ddm
    reb-ddm committed May 21, 2024
    Configuration menu
    Copy the full SHA
    63216df View commit details
    Browse the repository at this point in the history

  9. make sure that the min_repr is always defined in any case, even when … 

    …it's not possible to calculate a dereference
    @reb-ddm
    reb-ddm committed May 21, 2024
    Configuration menu
    Copy the full SHA
    4cba626 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. add descriptions

    @reb-ddm
    reb-ddm committed May 24, 2024
    Configuration menu
    Copy the full SHA
    2d8cd98 View commit details
    Browse the repository at this point in the history

  2. adapted some tests

    @reb-ddm
    reb-ddm committed May 24, 2024
    Configuration menu
    Copy the full SHA
    a1b8a36 View commit details
    Browse the repository at this point in the history

  3. fix bug when computing minimal representatives

    @reb-ddm
    reb-ddm committed May 24, 2024
    Configuration menu
    Copy the full SHA
    9e4a4f9 View commit details
    Browse the repository at this point in the history

  4. fix linter warnings

    @reb-ddm
    reb-ddm committed May 24, 2024
    Configuration menu
    Copy the full SHA
    f034b0a View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into thesis-weakly-relational-pointer

    @reb-ddm
    reb-ddm committed May 24, 2024
    Configuration menu
    Copy the full SHA
    3d49ddb View commit details
    Browse the repository at this point in the history

  6. add startcontext

    @reb-ddm
    reb-ddm committed May 24, 2024
    Configuration menu
    Copy the full SHA
    975aa46 View commit details
    Browse the repository at this point in the history

  7. rename tests

    @reb-ddm
    reb-ddm committed May 24, 2024
    Configuration menu
    Copy the full SHA
    e342e38 View commit details
    Browse the repository at this point in the history

  8. added conf file for svcomp and fixed a bug

    @reb-ddm
    reb-ddm committed May 24, 2024
    Configuration menu
    Copy the full SHA
    534eb11 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2024

  1. fixed invalid widen bug

    @reb-ddm
    reb-ddm committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    5f0dbe5 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. added constant bitsSizeOfPtr

    @reb-ddm
    reb-ddm committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    d093177 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'temp' into thesis-weakly-relational-pointer

    @reb-ddm
    reb-ddm committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    9d1be23 View commit details
    Browse the repository at this point in the history

  3. check for each term, if it is a valid pointer

    @reb-ddm
    reb-ddm committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    d5b9b03 View commit details
    Browse the repository at this point in the history

  4. remove types from data structure

    @reb-ddm
    reb-ddm committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    cf1869a View commit details
    Browse the repository at this point in the history

  5. check for propositions *x = *y if the pointers x and y are equal (suc… 

    …h that it works even when x and y are pointers to int and we don't store equalities about ints)
    @reb-ddm
    reb-ddm committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    1ef4887 View commit details
    Browse the repository at this point in the history

  6. adapt test case to new type handling

    @reb-ddm
    reb-ddm committed Jun 11, 2024
    Configuration menu
    Copy the full SHA
    a06c9c9 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. fix error: top of IntDomTuple not supported

    @reb-ddm
    reb-ddm committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    b49995d View commit details
    Browse the repository at this point in the history

  2. fix error: cil sizeoferror

    @reb-ddm
    reb-ddm committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    e48d0be View commit details
    Browse the repository at this point in the history

  3. better way of fixing the error

    @reb-ddm
    reb-ddm committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    966d6b3 View commit details
    Browse the repository at this point in the history

  4. fix out of memory error. It was because I used < instead of T.compare

    @reb-ddm
    reb-ddm committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    a0d49ec View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. fix error when there s an array of non-constant length

    @reb-ddm
    reb-ddm committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    ccf43ba View commit details
    Browse the repository at this point in the history

  2. fixed bug with disequations

    @reb-ddm
    reb-ddm committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    76fd7e8 View commit details
    Browse the repository at this point in the history

  3. fix sizeoferror and not_found error

    @reb-ddm
    reb-ddm committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    d10394b View commit details
    Browse the repository at this point in the history

  4. fixed bug where the auxiliary variable is not completely removed from… 

    … the domain
    @reb-ddm
    reb-ddm committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    d46c5b3 View commit details
    Browse the repository at this point in the history

  5. fixed division by zero error and some wrong comparisons

    @reb-ddm
    reb-ddm committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    e8d9224 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. add small test for disequalities

    @reb-ddm
    reb-ddm committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    b7d8931 View commit details
    Browse the repository at this point in the history

  2. properly update the disequalities after a union operation. Use the mi… 

    …n_repr instead of the representatives in order to represent the disequalities in the normal form.
    @reb-ddm
    reb-ddm committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    9dca5e1 View commit details
    Browse the repository at this point in the history

  3. solved last remaining SizeOfErrors

    @reb-ddm
    reb-ddm committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    a0fd9a2 View commit details
    Browse the repository at this point in the history

  4. use correct compare function

    @reb-ddm
    reb-ddm committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    061f2b6 View commit details
    Browse the repository at this point in the history

  5. add regressio test for the compare function bug

    @reb-ddm
    reb-ddm committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    fd95f86 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. fixed inconsistency in disequalities

    @reb-ddm
    reb-ddm committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    8fed940 View commit details
    Browse the repository at this point in the history

  2. removed warning for Field on a non-compound

    @reb-ddm
    reb-ddm committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    83bb4cf View commit details
    Browse the repository at this point in the history

  3. fix issue where startstate answers queries about variables that were … 

    …not created by wrpointer
    @reb-ddm
    reb-ddm committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    0c41a16 View commit details
    Browse the repository at this point in the history

  4. I'm not sure what to write for the thread functions

    @reb-ddm
    reb-ddm committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    b4b6712 View commit details
    Browse the repository at this point in the history

  5. catch sizeOfError

    @reb-ddm
    reb-ddm committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    101e247 View commit details
    Browse the repository at this point in the history

  6. made Lookup Map with just one successor, as it was in the beginning

    @reb-ddm
    reb-ddm committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    0182296 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. new method of restricting the automaton

    @reb-ddm
    reb-ddm committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    06f31d8 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. ignore floats and catch an exception

    @reb-ddm
    reb-ddm committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    8dbbe48 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. fix bugs with offsets

    @reb-ddm
    reb-ddm committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    afaf409 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. add conf file for base analysis with which we can compare wrpointer

    @reb-ddm
    reb-ddm committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    104360c View commit details
    Browse the repository at this point in the history

  2. add tracing for get_normal_form

    @reb-ddm
    reb-ddm committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    50f9671 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'thesis-weakly-relational-pointer' into thesis-wrpointer… 

    …-restriction
    @reb-ddm
    reb-ddm committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    b98d18f View commit details
    Browse the repository at this point in the history

  4. made sure to always just add pointers to the data structure

    @reb-ddm
    reb-ddm committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    e758b5e View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. fixed bug in find of union-find

    @reb-ddm
    reb-ddm committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    9e8c10b View commit details
    Browse the repository at this point in the history

  2. properly update offset of long integers

    @reb-ddm
    reb-ddm committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    12f64f2 View commit details
    Browse the repository at this point in the history

  3. add regression test for widen

    @reb-ddm
    reb-ddm committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    d72d622 View commit details
    Browse the repository at this point in the history

  4. revert wrong fix

    @reb-ddm
    reb-ddm committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    2b4fdd1 View commit details
    Browse the repository at this point in the history

  5. adapt test case

    @reb-ddm
    reb-ddm committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    2135fea View commit details
    Browse the repository at this point in the history

  6. replace Z.of_int 1 with Z.one

    @reb-ddm
    reb-ddm committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    944bc95 View commit details
    Browse the repository at this point in the history

  7. remove var-eq analysis from conf file

    @reb-ddm
    reb-ddm committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    e297335 View commit details
    Browse the repository at this point in the history

  8. intersect answers of MayPointTo query for equal pointers

    @reb-ddm
    reb-ddm committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    babee14 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. implicitly assume that &x != &y

    @reb-ddm
    reb-ddm committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    267294c View commit details
    Browse the repository at this point in the history

  2. implicitly assume that &x != &y

    @reb-ddm
    reb-ddm committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    0e647d2 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'thesis-weakly-relational-pointer' of github.com:reb-ddm… 

    …/analyzer into thesis-weakly-relational-pointer
    @reb-ddm
    reb-ddm committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    c2f704b View commit details
    Browse the repository at this point in the history

  4. started implementing auxiliaries, but it doesn't quite work yet

    @reb-ddm
    reb-ddm committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    da7cdb4 View commit details
    Browse the repository at this point in the history

  5. solved exception, maybe not in the best possible way

    @reb-ddm
    reb-ddm committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    8d04d60 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2024

  1. don't answer maypointto query any more

    @reb-ddm
    reb-ddm committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    bce1a8c View commit details
    Browse the repository at this point in the history

  2. only add valid terms when we add successor terms

    @reb-ddm
    reb-ddm committed Jun 30, 2024
    Configuration menu
    Copy the full SHA
    f45c6c2 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. fix regression test

    @reb-ddm
    reb-ddm committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    27f11b5 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. fix compare function of propositions and is_struct_type function

    @reb-ddm
    reb-ddm committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    9152fc0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'thesis-weakly-relational-pointer' into thesis-wrpointer… 

    …-auxiliary
    @reb-ddm
    reb-ddm committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    99ae3c1 View commit details
    Browse the repository at this point in the history

  3. add auxiliaries to to_cil

    @reb-ddm
    reb-ddm committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    2f91d09 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Shortcut equal

    @michael-schwarz
    michael-schwarz committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    e5431b2 View commit details
    Browse the repository at this point in the history

  2. Shortcut join

    @michael-schwarz
    michael-schwarz committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    049aa07 View commit details
    Browse the repository at this point in the history

  3. Short circuit meet

    @michael-schwarz
    michael-schwarz committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    9b97233 View commit details
    Browse the repository at this point in the history

  4. Reuse var

    @michael-schwarz
    michael-schwarz committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    3397e3b View commit details
    Browse the repository at this point in the history

  5. Optimize some calls

    @michael-schwarz
    michael-schwarz committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    990af99 View commit details
    Browse the repository at this point in the history

  6. New find_successor_in_set

    @michael-schwarz
    michael-schwarz committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    31ff5fb View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. support an additional type of dereferencing

    @reb-ddm
    reb-ddm committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    55ec005 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'thesis-weakly-relational-pointer' of github.com:reb-ddm… 

    …/analyzer into thesis-weakly-relational-pointer
    @reb-ddm
    reb-ddm committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    35c846c View commit details
    Browse the repository at this point in the history

  3. fixed indentation

    @reb-ddm
    reb-ddm committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    fd8ae21 View commit details
    Browse the repository at this point in the history

  4. add first code for block disequalities

    @reb-ddm
    reb-ddm committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    176dc42 View commit details
    Browse the repository at this point in the history

  5. added block diseq handling for malloc

    @reb-ddm
    reb-ddm committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    acc5060 View commit details
    Browse the repository at this point in the history

  6. add remove for block disequalities

    @reb-ddm
    reb-ddm committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    57c50d7 View commit details
    Browse the repository at this point in the history

  7. implemented equal for block diseqs

    @reb-ddm
    reb-ddm committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    769df6b View commit details
    Browse the repository at this point in the history

  8. add join for block disequalities

    @reb-ddm
    reb-ddm committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    376fe87 View commit details
    Browse the repository at this point in the history

  9. update the representatives of block disequalities

    @reb-ddm
    reb-ddm committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    a01bead View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2024

  1. add meet for block disequalities

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    97584b2 View commit details
    Browse the repository at this point in the history

  2. add meet for block disequalities

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    c6f0e63 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'thesis-weakly-relational-pointer' into thesis-wrpointer… 

    …-auxiliary
    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    31e009b View commit details
    Browse the repository at this point in the history

  4. may point to query for all elements in the equivalence class

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    8642eeb View commit details
    Browse the repository at this point in the history

  5. fixed bug with Casts and auxiliaries and made join more elegant

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    354e4a0 View commit details
    Browse the repository at this point in the history

  6. fixed may_point_to and implemented query for all elements in equivale… 

    …nce class
    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    814446f View commit details
    Browse the repository at this point in the history

  7. fix bug that comes from the fact that block disequalities can possibl… 

    …y contain terms that are not in the union find
    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    4d2f750 View commit details
    Browse the repository at this point in the history

  8. removed some unused rec flags

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    d8baa37 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'master' into thesis-weakly-relational-pointer

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    a5ffa24 View commit details
    Browse the repository at this point in the history

  10. moved union find to another file

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    3dd5c5c View commit details
    Browse the repository at this point in the history

  11. copy the whole wrpointer analysis and give it another name

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    1ed0bd5 View commit details
    Browse the repository at this point in the history

  12. removed everything that has to do woth minimal representatives from c2po

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    3629d9d View commit details
    Browse the repository at this point in the history

  13. added exactly the same tests as the wrpointer tests also to c2po. The… 

    …y work for now because I still haven't modified the implementation of of removing the terms
    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    0eca795 View commit details
    Browse the repository at this point in the history

  14. simplified the jooin operation

    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    d139d80 View commit details
    Browse the repository at this point in the history

  15. I think I implemented the simplified restriction. I'll have to look a… 

    …t it again
    @reb-ddm
    reb-ddm committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    1c59fc6 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2024

  1. implemented equality for c2po

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    e3c71e8 View commit details
    Browse the repository at this point in the history

  2. replaced wrpointer with c2po for the tracing

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    e64541b View commit details
    Browse the repository at this point in the history

  3. updated tests for c2po

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    9ace51b View commit details
    Browse the repository at this point in the history

  4. added conf file for c2po

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    f89d0b2 View commit details
    Browse the repository at this point in the history

  5. update comments and make some order

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    9e3ad40 View commit details
    Browse the repository at this point in the history

  6. fixed name of test folder

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    55f7d5f View commit details
    Browse the repository at this point in the history

  7. make it configurable if we want to use maypointto for c2po or not. Up… 

    …date regression tests by setting this to false for the tests that work also without maypointto. Also added conf file for c2po without maypointto
    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    e251e19 View commit details
    Browse the repository at this point in the history

  8. made a single-threaded analysis lifter

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    ea433bb View commit details
    Browse the repository at this point in the history

  9. fix equality function of c2po

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    4dbe6c0 View commit details
    Browse the repository at this point in the history

  10. (really) fixed equality

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    1d476df View commit details
    Browse the repository at this point in the history

  11. put back old version of restriction, where we add successors, because… 

    … the prof described something similar in the paper
    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    83bf565 View commit details
    Browse the repository at this point in the history

  12. is_root now works also with elements that are not in the uf

    @reb-ddm
    reb-ddm committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    d2600d7 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2024

  1. implemented widen and narrow

    @reb-ddm
    reb-ddm committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    e64d502 View commit details
    Browse the repository at this point in the history

  2. some shortcuts, maybe they help

    @reb-ddm
    reb-ddm committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    530f9ef View commit details
    Browse the repository at this point in the history

  3. reswitched to the new version of restricting. Because the prof wrote … 

    …in the paper that we can just substitute subexpressions, and this corresponds basically to the version of restricting, that wrpointer used. Also, the version that was currently implemented was buggy, because the lookup map has only one successor, before it had more than one.
    @reb-ddm
    reb-ddm committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    807eefe View commit details
    Browse the repository at this point in the history

  4. removed all code duplication, but I also removed min_repr, so I will … 

    …have to add it again later
    @reb-ddm
    reb-ddm committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    286d1be View commit details
    Browse the repository at this point in the history

  5. use MustBeSingleThreaded instead of IsEverMultithreaded

    @reb-ddm
    reb-ddm committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    f484cd2 View commit details
    Browse the repository at this point in the history

  6. move the short-circuit after the match

    @reb-ddm
    reb-ddm committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    0b8305c View commit details
    Browse the repository at this point in the history

  7. fix is_top: now it takes into account the disequalities

    @reb-ddm
    reb-ddm committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    2b2e0a2 View commit details
    Browse the repository at this point in the history

  8. fix code

    @reb-ddm
    reb-ddm committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    79bbc07 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. moved MayBeEqual to CongruenceClosure.ml

    @reb-ddm
    reb-ddm committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    965be40 View commit details
    Browse the repository at this point in the history

  2. merged wrpointerDomain with c2poDomain

    @reb-ddm
    reb-ddm committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    cbd7bf6 View commit details
    Browse the repository at this point in the history

  3. merge wrpointerAnalysis and c2poAnalysis

    @reb-ddm
    reb-ddm committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    abeb2a2 View commit details
    Browse the repository at this point in the history

  4. rename everything to c2po

    @reb-ddm
    reb-ddm committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    2b4fc1f View commit details
    Browse the repository at this point in the history

  5. add configurations for choosing which join and which equal algorithm … 

    …should be used
    @reb-ddm
    reb-ddm committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    eb09f11 View commit details
    Browse the repository at this point in the history

  6. update tracing

    @reb-ddm
    reb-ddm committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    da0ea4a View commit details
    Browse the repository at this point in the history

  7. fix the join and widen etc. It was because I didn't explicitly write … 

    …the parameters of the function,...
    @reb-ddm
    reb-ddm committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    dc2a4be View commit details
    Browse the repository at this point in the history

  8. use --enable instead of --set

    @reb-ddm
    reb-ddm committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    40678f6 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. fix unsound behaviour

    @reb-ddm
    reb-ddm committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    c665548 View commit details
    Browse the repository at this point in the history

  2. fix arithmeticonintegerbot and invalid_widen

    @reb-ddm
    reb-ddm committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    2840b4c View commit details
    Browse the repository at this point in the history

  3. change tracing a bit

    @reb-ddm
    reb-ddm committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    ba0c28e View commit details
    Browse the repository at this point in the history

  4. fix block disequality query

    @reb-ddm
    reb-ddm committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    cb6bc2a View commit details
    Browse the repository at this point in the history

  5. implemented Invariant

    @reb-ddm
    reb-ddm committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    0df379e View commit details
    Browse the repository at this point in the history

  6. implemented Invariant

    @reb-ddm
    reb-ddm committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    ada5779 View commit details
    Browse the repository at this point in the history

  7. remove unused rec flag

    @reb-ddm
    reb-ddm committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    700017f View commit details
    Browse the repository at this point in the history

  8. Horrible, horrible fix. May the gods forgive us!

    @michael-schwarz
    michael-schwarz committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    8173b99 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. add conf file for the tests with witnesses

    @reb-ddm
    reb-ddm committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    af4e693 View commit details
    Browse the repository at this point in the history

  2. changed my mind

    @reb-ddm
    reb-ddm committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    5169a97 View commit details
    Browse the repository at this point in the history

  3. now I'm the only one that answers the invariant query

    @reb-ddm
    reb-ddm committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    887ab98 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2024

  1. fix invariant

    @reb-ddm
    reb-ddm committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    6f64f8f View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Revert "now I'm the only one that answers the invariant query" 

    This reverts commit 887ab98.
    @reb-ddm
    reb-ddm committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    0568de8 View commit details
    Browse the repository at this point in the history

  2. removed unused function and added tracing

    @reb-ddm
    reb-ddm committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    be00c1d View commit details
    Browse the repository at this point in the history

  3. merge changes

    @reb-ddm
    reb-ddm committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    dbf30c9 View commit details
    Browse the repository at this point in the history

  4. fix name of function

    @reb-ddm
    reb-ddm committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    249e595 View commit details
    Browse the repository at this point in the history

  5. use get_conjunction instead of get_noemal_form for meet

    @reb-ddm
    reb-ddm committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    18b3c10 View commit details
    Browse the repository at this point in the history

  6. fix indentation

    @reb-ddm
    reb-ddm committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    b08fa56 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. re-add min_repr, but it doesn't quite work yet

    @reb-ddm
    reb-ddm committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    82a5cca View commit details
    Browse the repository at this point in the history

  2. remove init_congruence

    @reb-ddm
    reb-ddm committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    690eb44 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2024

  1. add some tracing

    @reb-ddm
    reb-ddm committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    d1f4f89 View commit details
    Browse the repository at this point in the history

  2. fix bug when adding disequalities

    @reb-ddm
    reb-ddm committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    17f0954 View commit details
    Browse the repository at this point in the history

  3. fix join; less code duplication

    @reb-ddm
    reb-ddm committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    35f4b05 View commit details
    Browse the repository at this point in the history

  4. always first update block disequalities and then normal disequalities

    @reb-ddm
    reb-ddm committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    d10a49f View commit details
    Browse the repository at this point in the history

  5. remove some TODOs

    @reb-ddm
    reb-ddm committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    c3479f4 View commit details
    Browse the repository at this point in the history

  6. make code for element_closure a bit better

    @reb-ddm
    reb-ddm committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    28ba650 View commit details
    Browse the repository at this point in the history

  7. simplify removal of block disequalities

    @reb-ddm
    reb-ddm committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    79dacf2 View commit details
    Browse the repository at this point in the history

  8. maybe fixed combine_env?

    @reb-ddm
    reb-ddm committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    b2b75a2 View commit details
    Browse the repository at this point in the history

  9. optimize minimal representatives

    @reb-ddm
    reb-ddm committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    b95e2c6 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. less code duplication for get_normal_form

    @reb-ddm
    reb-ddm committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    44668a4 View commit details
    Browse the repository at this point in the history

  2. simplify insertion a bit

    @reb-ddm
    reb-ddm committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    5f2b938 View commit details
    Browse the repository at this point in the history

  3. add calloc and alloca and realloc to special

    @reb-ddm
    reb-ddm committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    2af0179 View commit details
    Browse the repository at this point in the history

  4. removed unused things

    @reb-ddm
    reb-ddm committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    fbe1310 View commit details
    Browse the repository at this point in the history

  5. forget var information in special

    @reb-ddm
    reb-ddm committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    6a35b05 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2024

  1. no need to calculate the closure of disequalities after an insertion … 

    …(I think)
    @reb-ddm
    reb-ddm committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    96916bb View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. fixed enter/combine

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    94d2896 View commit details
    Browse the repository at this point in the history

  2. fixed realloc

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    9f6cd4b View commit details
    Browse the repository at this point in the history

  3. Merge with the other branch where I have been coding

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    c1f8942 View commit details
    Browse the repository at this point in the history

  4. rename module to c2po

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    b4028a1 View commit details
    Browse the repository at this point in the history

  5. made normal form a lazy record field

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    b77fec3 View commit details
    Browse the repository at this point in the history

  6. fixed warning

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    407d8cf View commit details
    Browse the repository at this point in the history

  7. recompute min_repr in the appropriate places

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    2255dc0 View commit details
    Browse the repository at this point in the history

  8. indentation

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    d155b89 View commit details
    Browse the repository at this point in the history

  9. add tracing

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    fe6e9d0 View commit details
    Browse the repository at this point in the history

  10. a bit more path compression

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    cd48307 View commit details
    Browse the repository at this point in the history

  11. restore find_no_pc

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    0576b89 View commit details
    Browse the repository at this point in the history

  12. Timing.wrap

    @reb-ddm
    reb-ddm committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    13c4de6 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. solved invariant bug in a better way

    @reb-ddm
    reb-ddm committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    4527ece View commit details
    Browse the repository at this point in the history

  2. ask MayBeTainted in combine_env instead of start State

    @reb-ddm
    reb-ddm committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    a25ef22 View commit details
    Browse the repository at this point in the history

  3. remove the weird hack I put in startState

    @reb-ddm
    reb-ddm committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    1ea9488 View commit details
    Browse the repository at this point in the history

  4. simplify redundant definitions in startState

    @reb-ddm
    reb-ddm committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    cc148ef View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into thesis-weakly-relational-pointer

    @reb-ddm
    reb-ddm committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    6de5039 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. disable unknown_function.call for c2po conf

    @reb-ddm
    reb-ddm committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    82d3802 View commit details
    Browse the repository at this point in the history

  2. added different conf files for the 4 possibilities of c2po

    @reb-ddm
    reb-ddm committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    b55075f View commit details
    Browse the repository at this point in the history

  3. fixed lazy computation and added timings.wrap

    @reb-ddm
    reb-ddm committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    1dc5301 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. added a widen operator for the join with automaton as described in my… 

    … masters thesis
    @reb-ddm
    reb-ddm committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    d46b4b7 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. fixed bug in normal form

    @reb-ddm
    reb-ddm committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    f58d2bd View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. fix invalid_widen bug

    @reb-ddm
    reb-ddm committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    1653e28 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. outsource variable handling

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    6ba1cc7 View commit details
    Browse the repository at this point in the history

  2. make everything compatible with the new duplicated vars

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    d963273 View commit details
    Browse the repository at this point in the history

  3. replace wrpointer with c2po

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    ecb67da View commit details
    Browse the repository at this point in the history

  4. fixed bugs. Needs to be tested

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    6edd0ac View commit details
    Browse the repository at this point in the history

  5. fix some things

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    8efe09c View commit details
    Browse the repository at this point in the history

  6. add Var.

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    e561383 View commit details
    Browse the repository at this point in the history

  7. I think this is not necessary

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    b0ce431 View commit details
    Browse the repository at this point in the history

  8. use the other method for variable duplication

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    cfd155e View commit details
    Browse the repository at this point in the history

  9. rename shadow to duplicated

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    c28f503 View commit details
    Browse the repository at this point in the history

  10. fix indentation

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    d9de485 View commit details
    Browse the repository at this point in the history

  11. remove some unused functions and add some comments

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    85ad21d View commit details
    Browse the repository at this point in the history

  12. remove useless module

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    498cd40 View commit details
    Browse the repository at this point in the history

  13. add some comments and adapt the structure of the code

    @reb-ddm
    reb-ddm committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    c16366c View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. update comments

    @reb-ddm
    reb-ddm committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    89ec5e2 View commit details
    Browse the repository at this point in the history

  2. adress -> address

    @reb-ddm
    reb-ddm committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    5d940cd View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into thesis-weakly-relational-pointer

    @reb-ddm
    reb-ddm committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    924ccc2 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. remove unused polymorphism

    @reb-ddm
    reb-ddm committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    30949fd View commit details
    Browse the repository at this point in the history

  2. remove redundant compare

    @reb-ddm
    reb-ddm committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    b3ea845 View commit details
    Browse the repository at this point in the history

  3. use Cilfacade.isFloatType snf Cil.unrollType

    @reb-ddm
    reb-ddm committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    da75386 View commit details
    Browse the repository at this point in the history

  4. change error to TypoOfError

    @reb-ddm
    reb-ddm committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    448768e View commit details
    Browse the repository at this point in the history

  5. explain better what singleThreadedLifter is for

    @reb-ddm
    reb-ddm committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    eabeec9 View commit details
    Browse the repository at this point in the history

  6. do not recompute compare

    @reb-ddm
    reb-ddm committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    1e5e645 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. fix invariant generation bug

    @reb-ddm
    reb-ddm committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    f6133c9 View commit details
    Browse the repository at this point in the history

  2. remove confs

    @reb-ddm
    reb-ddm committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    599dfd4 View commit details
    Browse the repository at this point in the history

  3. Revert "Horrible, horrible fix. May the gods forgive us!" 

    This reverts commit 8173b99.
    @reb-ddm
    reb-ddm committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    0d1470a View commit details
    Browse the repository at this point in the history

  4. derive equality of propositions

    @reb-ddm
    reb-ddm committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    85c08ec View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. use Lattice.LiftBot

    @reb-ddm
    reb-ddm committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    6b269fd View commit details
    Browse the repository at this point in the history

  2. catch exception

    @reb-ddm
    reb-ddm committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    03fca72 View commit details
    Browse the repository at this point in the history

  3. implemented pretty_diff

    @reb-ddm
    reb-ddm committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    07ab99a View commit details
    Browse the repository at this point in the history

  4. remove debug print

    @reb-ddm
    reb-ddm committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    e22a989 View commit details
    Browse the repository at this point in the history

  5. make precise_join an enum

    @reb-ddm
    reb-ddm committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    addbbd4 View commit details
    Browse the repository at this point in the history

  6. make normal_form an enum

    @reb-ddm
    reb-ddm committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    80f68fc View commit details
    Browse the repository at this point in the history

  7. fix bug

    @reb-ddm
    reb-ddm committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    39b2261 View commit details
    Browse the repository at this point in the history

  8. change the location od c2poAnalysis in Goblint_lib

    @reb-ddm
    reb-ddm committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    c9a7e04 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. modify richvarinfo to make it possible to change all the other fields… 

    … of the resulting varinfo
    @reb-ddm
    reb-ddm committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    cb9dc2f View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2024

  1. Merge branch 'master' into thesis-weakly-relational-pointer

    @michael-schwarz
    michael-schwarz authored Sep 22, 2024
    Configuration menu
    Copy the full SHA
    f787e67 View commit details
    Browse the repository at this point in the history