Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 16, 2024

• Update to version 4.2.0 (#782)

  Show description for 4fc81b1
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  4fc81b1

  Copy full SHA for 4fc81b1

Commits on Nov 11, 2024

• Further changes for SVCOMP 2025 (#777)

  Show description for 5789d53
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  5789d53

  Copy full SHA for 5789d53

• Fix handling of empty type (#776)

  ThomasHaas

  authored
  025e4a7

  Copy full SHA for 025e4a7

• Support of Showing Local Events Location in Spirv (#761)

  Show description for 749c055
  

  CapZTr

  and

  Tianrui Zheng

  authored
  749c055

  Copy full SHA for 749c055

Commits on Nov 8, 2024

• Remove empty tag from vulkan litmus tests (#774)

  natgavrilenko

  authored
  ce0ffaa

  Copy full SHA for ce0ffaa

• Support explicitly defined offsets in aggregate type (#770)

  natgavrilenko

  authored
  f4f299d

  Copy full SHA for f4f299d

• Remove svcomp specific options (#773)

  Show description for f777ce9
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  f777ce9

  Copy full SHA for f777ce9

Commits on Nov 6, 2024

• Spirv OpUndef (#769)

  natgavrilenko

  authored
  4d03388

  Copy full SHA for 4d03388

• Fix witnesses excluding the rf edges they enforce. (#771)

  xeren

  authored
  d2ccf4f

  Copy full SHA for d2ccf4f

Commits on Nov 4, 2024

• Fixes to witness validation (#766)

  Show description for fa5a25c
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  fa5a25c

  Copy full SHA for fa5a25c

Commits on Nov 2, 2024

• Improvements for SVCOMP 2025 (#765)

  Show description for c128407
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  c128407

  Copy full SHA for c128407

Commits on Oct 31, 2024

• Fix usages of non-determinism in intrinsics (#763)

  ThomasHaas

  authored
  347661e

  Copy full SHA for 347661e

Commits on Oct 28, 2024

• Improve PPC grammar and visitor (#762)

  hernanponcedeleon

  authored
  5478bfb

  Copy full SHA for 5478bfb

Commits on Oct 27, 2024

• Allow bounds to be saved to and loaded from files (#759)

  Show description for 529d9ec
  

  hernanponcedeleon

  and

  ThomasHaas

  authored
  529d9ec

  Copy full SHA for 529d9ec

Commits on Oct 17, 2024

• Add Apple as value nameTableKindField to the LLVM grammar (#758)

  ThomasHaas

  authored
  cc31576

  Copy full SHA for cc31576

• Svcomp config (#756)

  Show description for afcd071
  hernanponcedeleon

  authored
  afcd071

  Copy full SHA for afcd071

• Configuration files and management (#752)

  xeren

  authored
  b2946bb

  Copy full SHA for b2946bb

Commits on Oct 15, 2024

• Fix overlap queries in Alias Analysis (#753)

  xeren

  authored
  c738679

  Copy full SHA for c738679

Commits on Oct 14, 2024

• Add support for OpenCL memory model (#744)

  tonghaining

  authored
  253a119

  Copy full SHA for 253a119

Commits on Oct 12, 2024

• Require the existence of violation node when validate violation witness (#754)

  Show description for 878d282
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  878d282

  Copy full SHA for 878d282

Commits on Oct 11, 2024

• Add support for variable-sized and variable-aligned allocations (#750)

  ThomasHaas

  authored
  c3aa592

  Copy full SHA for c3aa592

Commits on Oct 10, 2024

• Introduce stdlib.cat (#751)

  Show description for c828b96
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  c828b96

  Copy full SHA for c828b96

• Allow show statements in cat grammar (#742)

  Show description for 7ffb695
  

  hernanponcedeleon

  and

  hernan-poncedeleon

  authored
  7ffb695

  Copy full SHA for 7ffb695

• Some improvements to aarch64 pseudo-assembly (#741)

  Show description for 95fe0c3
  hernanponcedeleon

  authored
  95fe0c3

  Copy full SHA for 95fe0c3

Commits on Oct 8, 2024

• Support for Apple silicon (#748)

  Show description for 2d6ef05
  hernanponcedeleon

  authored
  2d6ef05

  Copy full SHA for 2d6ef05

Commits on Oct 7, 2024

• Updated model in spirv tests (#749)

  natgavrilenko

  authored
  802b86f

  Copy full SHA for 802b86f

Commits on Oct 3, 2024

• Relation analysis with immutable and lazy data structures (#743)

  natgavrilenko

  authored
  b7e7fa9

  Copy full SHA for b7e7fa9

Commits on Oct 1, 2024

• Fix parsing errors in UI. (#747)

  ThomasHaas

  authored
  b628714

  Copy full SHA for b628714

Commits on Sep 30, 2024

• Better may set for sync barrier (#745)

  natgavrilenko

  authored
  e3fe562

  Copy full SHA for e3fe562

Commits on Sep 21, 2024

• Backwards reaching definitions (#726)

  xeren

  authored
  73ba96c

  Copy full SHA for 73ba96c

Commits on Sep 20, 2024

• Add support for atomic_exchange_explicit in litmus code (#740)

  Show description for 90c3a7b
  hernanponcedeleon

  authored
  90c3a7b

  Copy full SHA for 90c3a7b

Commits on Sep 19, 2024

• Pass the C file to the svcomp runner rather than the optimized llvm (#739)

  Show description for 690a283
  hernanponcedeleon

  authored
  690a283

  Copy full SHA for 690a283

Commits on Sep 16, 2024

• Added support for includes and functions in cat (#736)

  Show description for e04d77d
  

  ThomasHaas

  and

  hernan-poncedeleon

  committed
  e04d77d

  Copy full SHA for e04d77d

• Add support for progress models (#731)

  Show description for cdc9529
  

  ThomasHaas

  and

  hernan-poncedeleon

  committed
  cdc9529

  Copy full SHA for cdc9529

• Fixed spirv memory operands parser (#737)

  

  natgavrilenko

  authored and

  hernan-poncedeleon

  committed
  22d8a02

  Copy full SHA for 22d8a02

Pagination

Previous

Next