Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: goblint/analyzer
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 060004c
Choose a base ref
...
head repository: goblint/analyzer
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: bb6f9aa
Choose a head ref
  • 17 commits
  • 12 files changed
  • 3 contributors

Commits on Sep 24, 2024

  1. Pin CIL with 32bit and 64bit Machdeps

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    82d580f View commit details
    Browse the repository at this point in the history

  2. Change Machdep based on SV-COMP architecture

    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    917cf7e View commit details
    Browse the repository at this point in the history

  3. Initialize CIL after initializing CIL options 

    initCIL already depends on theMachine, but it overwrites it. Must use envMachine to select it based on exp.architecture beforehand.
    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    84e738b View commit details
    Browse the repository at this point in the history

  4. Eta-expand iDtoIdx in base to prevent ptrdiff_ikind lookup during ini… 

    …tialization
    @sim642
    sim642 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    d4b4291 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. Bump CIL with potential opam install fix

    @sim642
    sim642 committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    bcb15a1 View commit details
    Browse the repository at this point in the history

  2. Add cram test for SV-COMP architecture

    @sim642
    sim642 committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    f7e4462 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. Use ptrdiff_ikind instead of ILong for ana.arrayoob checks

    @sim642
    sim642 committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    ea2f616 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2024

  1. Simplify fixed loop size heuristics

    @karoliineh
    karoliineh committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    446da4f View commit details
    Browse the repository at this point in the history

  2. Remove unused loopUnrollingCallVisitor

    @karoliineh
    karoliineh committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    e8f51dc View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. Merge branch 'master' into loopUnroll-default

    @karoliineh
    karoliineh authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    4772960 View commit details
    Browse the repository at this point in the history

  2. Do not turn on autotune loop unrolling when the only specification is… 

    … NoDataRace
    @karoliineh
    karoliineh committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    42c3f5a View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Add errors when architecture machdep not available

    @sim642
    sim642 committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    c341c1c View commit details
    Browse the repository at this point in the history

  2. Disable 29-svcomp/36-svcomp-arch cram test on MacOS

    @sim642
    sim642 committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    6d04b1a View commit details
    Browse the repository at this point in the history

  3. Default to unrolling 2 times for no-overflow spec

    @karoliineh
    karoliineh committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    5ba3996 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #1574 from goblint/machdep-arch 

    Change `Machdep` based on SV-COMP architecture
    @sim642
    sim642 authored Oct 2, 2024
    Configuration menu
    Copy the full SHA
    a65b86e View commit details
    Browse the repository at this point in the history

  5. Remove unused opens in ContextGasLifter

    @sim642
    sim642 committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    09e02ce View commit details
    Browse the repository at this point in the history

  6. Merge pull request #1584 from goblint/loopUnroll-default 

    Adjust loop unrolling defaults
    @sim642
    sim642 authored Oct 2, 2024
    Configuration menu
    Copy the full SHA
    bb6f9aa View commit details
    Browse the repository at this point in the history
Loading