hernanponcedeleon/Dat3M

Issues

• Types of address computations & overflows

  #780 opened a month ago by ThomasHaas
  3

• Problem with XRA

  #767 opened 2 months ago by hernanponcedeleon
  0

• How could I analyze project with function or symbols placed in multiple files?

  #764 opened 2 months ago by h-mole
  2

• Wrong memsafety result in popl20-prod-cons-eq.wvr

  #755 opened 2 months ago by hernanponcedeleon
  2

• Full alias analysis produces non-deterministic results

  #746 opened 2 months ago by natgavrilenko
  8

• problem with llvm parser

  #757 opened 2 months ago by StefanoDalMas
  2

• Data Race Handling

  #674 opened 2 months ago by coolmax3002
  16

• Missing intrinsics

  #585 opened a year ago by hernanponcedeleon
  0

• Possible approaches to improving the performance/memory of XRA

  #595 opened 2 months ago by ThomasHaas
  2

• Apple Silicon Issues

  #734 opened 3 months ago by reeselevine
  6

• Issues with single threaded SPIR-V test

  #735 opened 3 months ago by reeselevine
  2

• Rework ExecutionModel

  #732 opened 3 months ago by hernanponcedeleon
  2

• Implement spinloop detection for ARM exclusive pairs

  #719 opened 4 months ago by natgavrilenko
  31

• [RA] Missing tuples in transitive closure

  #714 opened 4 months ago by hernanponcedeleon
  3

• Illegal default configuration

  #717 opened 4 months ago by natgavrilenko
  3

• OOTA tests

  #704 opened 5 months ago by hernanponcedeleon
  0

• Issue with GEPToAddition and alignment

  #586 opened 6 months ago by ThomasHaas
  1

• Imprecision in XRA

  #622 opened 10 months ago by ThomasHaas
  4

• Implementation of `pthread_cond`

  #661 opened 8 months ago by db7
  3

• Unexpected liveness violation

  #647 opened 8 months ago by db7
  3

• witness validation

  #646 opened 9 months ago by Anthonysdu
  5

• Discrepancy between eager encoding and CAAT with overflowing accesses

  #642 opened 9 months ago by ThomasHaas
  0

• Alternative encoding for must-sets

  #533 opened a year ago by ThomasHaas
  1

• [BUG] Incorrect RA computation for setminus relation

  #523 opened 9 months ago by natgavrilenko
  5

• Getting rid of (unnecessary) init events

  #623 opened 9 months ago by ThomasHaas
  2

• [BUG] Dartagnan errors and hangs sometimes when calling it multiple times simultaniously

  #482 opened 10 months ago by mProjectsCode
  9

• Null pointer exception in dynamic pure loop cutting

  #583 opened 10 months ago by hernanponcedeleon
  2

• Problem with event.replaceBy()

  #584 opened 10 months ago by hernanponcedeleon
  3

• Dockerfile failed to build maven

  #610 opened a year ago by DerGrumpf
  3

• Improved support for CAT features

  #535 opened a year ago by ThomasHaas
  0

• SSA-like form for better encodings

  #576 opened a year ago by ThomasHaas
  0

• Static/Meta assertions

  #537 opened a year ago by ThomasHaas
  1

• Must set of virtual location

  #551 opened a year ago by hernanponcedeleon
  0

• Missing sameAddress is coherence when not total

  #547 opened a year ago by hernanponcedeleon
  1

• Feature: Improved source tracing and visualization of static analysis results

  #544 opened a year ago by ThomasHaas
  0

• encoding.integers is rarely usable

  #538 opened a year ago by ThomasHaas
  0

• Feature: Collecting solving statistics for diagonstics

  #534 opened a year ago by ThomasHaas
  0

• Alternatives to partial coherence in the anarchic semantics for PTX

  #532 opened a year ago by ThomasHaas
  3

• [BUG] thread creation fails, even with `--modeling.threadCreateAlwaysSucceeds=true`

  #466 opened a year ago by mProjectsCode
  2

• References for concurrent data structures

  #394 opened a year ago by ThomasHaas
  2

• Implement bounded queue benchmark

  #420 opened a year ago by hernanponcedeleon
  1

• Implement LCRQ queue

  #421 opened a year ago by hernanponcedeleon
  1

• [Rework] Overview

  #446 opened a year ago by ThomasHaas
  1

• Nondeterministic expressions in Loops show wrong behaviour

  #454 opened a year ago by ThomasHaas
  1

• [BUG] Dartagnan fails with error `Loop entry label 12:$bb3: has multiple back edges`

  #465 opened a year ago by mProjectsCode
  2

• LoopFormVerification and gotos

  #489 opened a year ago by hernanponcedeleon
  8

• [RISC-V] Release-Acquire semantics for LR/SC

  #439 opened 2 years ago by hernanponcedeleon
  1

• Problem in compilation C11 -> TSO

  #395 opened 2 years ago by hernanponcedeleon
  3

• Detect unmatched lock/unlock

  #388 opened 2 years ago by hernanponcedeleon
  4

• Branchless Instructions & Dependencies

  #385 opened 2 years ago by ThomasHaas
  1