Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 6, 2024

• Remove dummy Dat3M.h file

  xFrednet

  committed
  9756c28

  Copy full SHA for 9756c28

• Add examples for Spectre PHT

  Show description for 1259c95
  xFrednet

  committed
  1259c95

  Copy full SHA for 1259c95

Commits on Dec 23, 2023

• pthread library intrinsics (hernanponcedeleon#582)

  xeren

  authored
  024bd43

  Copy full SHA for 024bd43

Commits on Dec 22, 2023

• More missing changes from svcomp (hernanponcedeleon#596)

  Show description for e5c25c1
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  e5c25c1

  Copy full SHA for e5c25c1

Commits on Dec 21, 2023

• Update README in output folder

  Show description for 6205e51
  hernan-poncedeleon

  committed
  6205e51

  Copy full SHA for 6205e51

• Fix OOPSLA typo in references

  Show description for 38ac7f8
  hernan-poncedeleon

  committed
  38ac7f8

  Copy full SHA for 38ac7f8

Commits on Dec 20, 2023

• Bug in morally strong definition in PXTv7.5 (hernanponcedeleon#594)

  Show description for b6eeb74
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  b6eeb74

  Copy full SHA for b6eeb74

• Remove outdated benchexec file

  Show description for 2a7714a
  hernan-poncedeleon

  committed
  2a7714a

  Copy full SHA for 2a7714a

• Call witness builder only for LLVM code (hernanponcedeleon#593)

  Show description for ad48350
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  ad48350

  Copy full SHA for ad48350

Commits on Dec 19, 2023

• Add OOPSLA'23 reference

  Show description for c977cbc
  hernan-poncedeleon

  committed
  c977cbc

  Copy full SHA for c977cbc

• Missing changes to fully support svcomp properties (hernanponcedeleon#592)

  Show description for 65e9a8a
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  65e9a8a

  Copy full SHA for 65e9a8a

Commits on Dec 18, 2023

• Devirtualise pthread_create (hernanponcedeleon#591)

  ThomasHaas

  authored
  340fb3b

  Copy full SHA for 340fb3b

Commits on Dec 16, 2023

• Add support for checking overflow and memory-safety (hernanponcedeleon#589)

  Show description for f924058
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  f924058

  Copy full SHA for f924058

Commits on Dec 12, 2023

• Non-recursive implementation of DependencyGraph to avoid stack overflow (hernanponcedeleon#590)

  ThomasHaas

  authored
  c8111be

  Copy full SHA for c8111be

Commits on Dec 9, 2023

• Add OOTA test for vulkan (hernanponcedeleon#588)

  Show description for c73aa37
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  c73aa37

  Copy full SHA for c73aa37

Commits on Dec 6, 2023

• Fix returnAttribute rule in llvm grammar (hernanponcedeleon#587)

  Show description for ebbb33f
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  ebbb33f

  Copy full SHA for ebbb33f

Commits on Nov 30, 2023

• More control barrier tests (hernanponcedeleon#579)

  Show description for 3efc7bc
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  3efc7bc

  Copy full SHA for 3efc7bc

Commits on Nov 29, 2023

• Added pthread_self() and __VERIFIER_tid() intrinsics (same semantics, different return type, different headers). (hernanponcedeleon#577)

  ThomasHaas

  authored
  ad36d3b

  Copy full SHA for ad36d3b

Commits on Nov 28, 2023

• add privIsScoped check and update tests (hernanponcedeleon#578)

  tonghaining

  authored
  27f88cd

  Copy full SHA for 27f88cd

Commits on Nov 22, 2023

• Fixed ExecutionModel failing to read values of nondet variables if they were optimized away (hernanponcedeleon#575)

  ThomasHaas

  authored
  5540b93

  Copy full SHA for 5540b93

Commits on Nov 20, 2023

• Added support for LKMM Mo AFTER_UNLOCK_LOCK (was already present in lkmm.h, but not recognized by Dartagnan) (hernanponcedeleon#573)

  ThomasHaas

  authored
  7cc5f35

  Copy full SHA for 7cc5f35

Commits on Nov 15, 2023

• SVCOMP qualification (hernanponcedeleon#570)

  Show description for 556433f
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  556433f

  Copy full SHA for 556433f

Commits on Nov 14, 2023

• Replace GEP in initial values of MemoryObjects (hernanponcedeleon#568)

  Show description for c93efdc
  ThomasHaas

  authored
  c93efdc

  Copy full SHA for c93efdc

• Update morally-strong to follow HRF-indirect and add test (hernanponcedeleon#569)

  Show description for 9324fb7
  

  tonghaining

  and

  hernan-poncedeleon

  authored
  9324fb7

  Copy full SHA for 9324fb7

Commits on Nov 13, 2023

• Parse poison values as non-deterministic values (hernanponcedeleon#565)

  Show description for d3981bf
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  d3981bf

  Copy full SHA for d3981bf

• Simplified LLVM grammar (combined globalDecl and globalDef) (hernanponcedeleon#567)

  Show description for 33fb46f
  ThomasHaas

  authored
  33fb46f

  Copy full SHA for 33fb46f

• Add support for sleep intrinsic as a nop (hernanponcedeleon#566)

  Show description for 06462cb
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  06462cb

  Copy full SHA for 06462cb

Commits on Nov 12, 2023

• Update JavaSMT version (with support for OpenSMT) (hernanponcedeleon#564)

  Show description for b08f153
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  b08f153

  Copy full SHA for b08f153

• Svcomp witness file must be named witness.graphml (new rule) (hernanponcedeleon#563)

  Show description for a81c330
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  a81c330

  Copy full SHA for a81c330

Commits on Nov 9, 2023

• Update version for upcoming release (hernanponcedeleon#561)

  Show description for ebe38ef
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  ebe38ef

  Copy full SHA for ebe38ef

• Fix build warning coming from Vulkan grammar (hernanponcedeleon#562)

  Show description for df408b4
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  df408b4

  Copy full SHA for df408b4

• Set CFLAGS and OPTFLAGS in svcomp script (hernanponcedeleon#560)

  Show description for 71b8638
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  71b8638

  Copy full SHA for 71b8638

Commits on Nov 8, 2023

• add missing test results to expectation files (hernanponcedeleon#559)

  tonghaining

  authored
  4667f54

  Copy full SHA for 4667f54

• Fixed imprecision in SCCP. (hernanponcedeleon#558)

  ThomasHaas

  authored
  01fd689

  Copy full SHA for 01fd689

• Preliminary support for llvm.objectsize & __memset_chk (hernanponcedeleon#556)

  Show description for da499dc
  ThomasHaas

  authored
  da499dc

  Copy full SHA for da499dc

Pagination

Previous

Next