Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 19, 2022

• Bump minor version number (#566)

  keyboardDrummer

  authored
  323d92f

  Copy full SHA for 323d92f

• Implementation verification api (#564)

  Show description for 53e264c
  keyboardDrummer

  authored
  53e264c

  Copy full SHA for 53e264c

Commits on Apr 5, 2022

• Print uses declarations (#561)

  Show description for 831708b
  keyboardDrummer

  authored
  831708b

  Copy full SHA for 831708b

Commits on Mar 25, 2022

• Bring back buffering to live writer switch (#557)

  Show description for ca49a8c
  keyboardDrummer

  authored
  ca49a8c

  Copy full SHA for ca49a8c

• Bump the patch version to 2.13.4 (#558)

  keyboardDrummer

  authored
  c33084f

  Copy full SHA for c33084f

• Fix a missing output bug in ConcurrentToSequentialWriteManager (#555)

  Show description for b38e443
  keyboardDrummer

  authored
  b38e443

  Copy full SHA for b38e443

• Introduce AsyncQueue (#552)

  Show description for f43d985
  keyboardDrummer

  authored
  f43d985

  Copy full SHA for f43d985

• Make more methods of ConsolePrinter virtual (#554)

  Show description for 4b107ef
  atomb

  authored
  4b107ef

  Copy full SHA for 4b107ef

Commits on Mar 23, 2022

• Realtime verification reporting (#526)

  Show description for 6c703b1
  MikaelMayer

  authored
  6c703b1

  Copy full SHA for 6c703b1

• Bump version to 2.13.3 (#550)

  atomb

  authored
  968f8ae

  Copy full SHA for 968f8ae

• Allow related messages from loop invariants (#548)

  Show description for 4d322f0
  atomb

  authored
  4d322f0

  Copy full SHA for 4d322f0

• Enable Boogie programs to be deeply nested without overflowing the stack (#524)

  Show description for 68f95ed
  keyboardDrummer

  authored
  68f95ed

  Copy full SHA for 68f95ed

• Use static CVC5 version (#549)

  keyboardDrummer

  authored
  2a2fbe0

  Copy full SHA for 2a2fbe0

Commits on Mar 21, 2022

• Fix incorrect parsing of double options (#547)

  Show description for 680dbc8
  keyboardDrummer

  authored
  680dbc8

  Copy full SHA for 680dbc8

Commits on Mar 20, 2022

• [Civl] Generalizing PingPong (#533)

  Show description for b090548
  shazqadeer

  authored
  b090548

  Copy full SHA for b090548

Commits on Mar 17, 2022

• Ensure only one attempt to upload to nuget (#545)

  atomb

  authored
  2b970ef

  Copy full SHA for 2b970ef

• Rename project AbsInt to AbstractInterpretation (#536)

  keyboardDrummer

  authored
  952950a

  Copy full SHA for 952950a

Commits on Mar 16, 2022

• Concurrency fixes (#538)

  Show description for adb5175
  keyboardDrummer

  authored
  adb5175

  Copy full SHA for adb5175

• Return verification result tasks (#520)

  Show description for 67ad964
  keyboardDrummer

  authored
  67ad964

  Copy full SHA for 67ad964

Commits on Mar 13, 2022

• fixed bug in the injection of preconditions for yielding procedures instrumentation (#532)

  shazqadeer

  authored
  4353489

  Copy full SHA for 4353489

Commits on Mar 11, 2022

• Maintain order of logging that results from use the -traceCaching option when using parallel Boogie (#531)

  Show description for 8d9afad
  keyboardDrummer

  authored
  8d9afad

  Copy full SHA for 8d9afad

Commits on Mar 10, 2022

• Support @PROC@ for the -mv option (#530)

  keyboardDrummer

  authored
  ee3c6d6

  Copy full SHA for ee3c6d6

• bug fix (#529)

  shazqadeer

  authored
  a1faa69

  Copy full SHA for a1faa69

Commits on Mar 9, 2022

• adding support for allowing calls to atomic actions from atomic actions (#509)

  shazqadeer

  authored
  34b946e

  Copy full SHA for 34b946e

• Add more structured descriptions of proof obligations (#505)

  Show description for c0ea6a1
  atomb

  authored
  c0ea6a1

  Copy full SHA for c0ea6a1

• Extract methods within ExecutionEngine.VerifyImplementation (#528)

  Show description for b1ff4af
  keyboardDrummer

  authored
  b1ff4af

  Copy full SHA for b1ff4af

• Refactoring for return verification tasks (#527)

  Show description for c4550ae
  keyboardDrummer

  authored
  c4550ae

  Copy full SHA for c4550ae

• Visiting attributes in StandardVisitor (#523)

  Show description for 980d6a7
  shazqadeer

  authored
  980d6a7

  Copy full SHA for 980d6a7

Commits on Mar 8, 2022

• Bump version to 2.13.0 (#525)

  robin-aws

  authored
  71d6ca5

  Copy full SHA for 71d6ca5

• Fix compatibility issues with solvers other than Z3 (#521)

  Show description for c4fc91a
  atomb

  authored
  c4fc91a

  Copy full SHA for c4fc91a

• Include split locations in XML output (#480)

  Show description for e3ca84c
  atomb

  authored
  e3ca84c

  Copy full SHA for e3ca84c

Commits on Mar 7, 2022

• Refactor solver process handling to allow non-interactive mode (#512)

  Show description for d1917bc
  atomb

  authored
  d1917bc

  Copy full SHA for d1917bc

Commits on Mar 3, 2022

• Separate help header from help body in CommandLineOptions.cs (#498)

  Show description for 1de13ec
  cpitclaudel

  authored
  1de13ec

  Copy full SHA for 1de13ec

Commits on Mar 1, 2022

• Support XML generation with /vcsCores (#515)

  Show description for ed98b8e
  atomb

  authored
  ed98b8e

  Copy full SHA for ed98b8e

Commits on Feb 28, 2022

• Bump minor version to 2.12.1 (#517)

  keyboardDrummer

  authored
  3a4f371

  Copy full SHA for 3a4f371