Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on May 25, 2022

• XML counterexample trace: display member types

  Show description for 6d7269d
  tautschnig

  committed
  6d7269d

  Copy full SHA for 6d7269d

Commits on May 2, 2022

• Store and report basic block source lines as a structure

  Show description for 691f5e8
  tautschnig

  committed
  691f5e8

  Copy full SHA for 691f5e8

Commits on Feb 24, 2022

• Include source location in JSON/XML property output

  Show description for 88c5acc
  tautschnig

  committed
  88c5acc

  Copy full SHA for 88c5acc

Commits on May 2, 2021

• XML schema: include fault-localization node

  Show description for 21f0c4e
  tautschnig

  committed
  21f0c4e

  Copy full SHA for 21f0c4e

Commits on Mar 25, 2021

• BV refinement: include XML output in schema

  Show description for 7ed77de
  tautschnig

  committed
  7ed77de

  Copy full SHA for 7ed77de

Commits on Jun 25, 2020

• Update trace docs and spec for the loop-head element

  Show description for 20f964f
  

  Thomas Kiley

  committed
  20f964f

  Copy full SHA for 20f964f

Commits on May 6, 2020

• Adapt the XSD to include the binary output

  Show description for 4049f15
  

  Thomas Kiley

  committed
  4049f15

  Copy full SHA for 4049f15

Commits on Feb 25, 2020

• Add XSD that describes output of cbmc --trace

  Show description for 44879df
  

  hannes-steffenhagen-diffblue

  authored and

  petr-bauch

  committed
  44879df

  Copy full SHA for 44879df

Loading