Commits

Branch selector

 ebmc-coverage

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 18, 2023

• ebmc: resurrect --coverage

  kroening

  committed
  ad0d47a

  Copy full SHA for ad0d47a

Commits on Oct 17, 2023

• Merge pull request #128 from diffblue/report-results

  Show description for 4b2f151
  tautschnig

  authored
  4b2f151

  Copy full SHA for 4b2f151

• Merge pull request #129 from diffblue/number-of-traces

  Show description for a52c9d6
  tautschnig

  authored
  a52c9d6

  Copy full SHA for a52c9d6

• ebmc: --random-traces now uses --number-of-traces

  Show description for ca2c863
  kroening

  committed
  ca2c863

  Copy full SHA for ca2c863

• ebmc: extract report_results

  Show description for d2fffb7
  kroening

  committed
  d2fffb7

  Copy full SHA for d2fffb7

Commits on Oct 16, 2023

• Merge pull request #121 from diffblue/properties_h

  Show description for 3b15864
  kroening

  authored
  3b15864

  Copy full SHA for 3b15864

• extract ebmc_propertiest::select_property

  kroening

  committed
  0d3221c

  Copy full SHA for 0d3221c

• extract ebmc_propertiest::from_transition_system

  kroening

  committed
  d75020b

  Copy full SHA for d75020b

• propertyt number is now size_t

  kroening

  committed
  b1e4a94

  Copy full SHA for b1e4a94

• propertyt constructor is now default

  kroening

  committed
  408d8ef

  Copy full SHA for 408d8ef

• Merge pull request #127 from diffblue/show-modules-xml

  Show description for 6cf590c
  tautschnig

  authored
  6cf590c

  Copy full SHA for 6cf590c

• ebmc: extract property list into a header file

  Show description for 66e31a4
  kroening

  committed
  66e31a4

  Copy full SHA for 66e31a4

• ebmc: get_transition_system no longer needs ui_message_handlert

  Show description for 6974fd8
  kroening

  committed
  6974fd8

  Copy full SHA for 6974fd8

• ebmc: add --modules-xml

  Show description for 8d4fd78
  kroening

  committed
  8d4fd78

  Copy full SHA for 8d4fd78

• Merge pull request #120 from diffblue/extract_get_transition_system

  Show description for 826fd60
  kroening

  authored
  826fd60

  Copy full SHA for 826fd60

• introduce a separate get_transition_system function

  Show description for cf5729f
  kroening

  committed
  cf5729f

  Copy full SHA for cf5729f

• Merge pull request #124 from diffblue/messaget-member

  Show description for 73c5098
  tautschnig

  authored
  73c5098

  Copy full SHA for 73c5098

• ebmc_baset now has messaget member

  Show description for dc7e131
  kroening

  committed
  dc7e131

  Copy full SHA for dc7e131

• Merge pull request #123 from diffblue/show_trans_trace

  Show description for 97404e8
  kroening

  authored
  97404e8

  Copy full SHA for 97404e8

• ebmc: split up show_trans_trace by format

  Show description for 26d89a6
  kroening

  committed
  26d89a6

  Copy full SHA for 26d89a6

• Merge pull request #115 from diffblue/random_traces_length

  Show description for 06bbc80
  tautschnig

  authored
  06bbc80

  Copy full SHA for 06bbc80

• Merge pull request #114 from diffblue/diatest2

  Show description for b2fc631
  tautschnig

  authored
  b2fc631

  Copy full SHA for b2fc631

• Merge pull request #126 from diffblue/xml-trans-trace

  Show description for f25c3f4
  kroening

  authored
  f25c3f4

  Copy full SHA for f25c3f4

• translation of trans_tracet to XML now returns a value

  Show description for 1255b1d
  kroening

  committed
  1255b1d

  Copy full SHA for 1255b1d

• Merge pull request #125 from diffblue/json-result

  Show description for 93d4bab
  kroening

  authored
  93d4bab

  Copy full SHA for 93d4bab

• ebmc: add --json-result command line option

  Show description for 193d30b
  kroening

  committed
  193d30b

  Copy full SHA for 193d30b

Commits on Oct 14, 2023

• Merge pull request #122 from diffblue/bump-to-cbmc-5.94.0

  Show description for 7b640f8
  tautschnig

  authored
  7b640f8

  Copy full SHA for 7b640f8

• ebmc: restore --diatest

  Show description for c13a69a
  kroening

  committed
  c13a69a

  Copy full SHA for c13a69a

• use widen_if_needed

  kroening

  committed
  d96dbcc

  Copy full SHA for d96dbcc

• bump to cbmc-5.94.0

  Show description for ba37161
  kroening

  committed
  ba37161

  Copy full SHA for ba37161

• Merge pull request #119 from diffblue/get_properties

  Show description for c6bf250
  kroening

  authored
  c6bf250

  Copy full SHA for c6bf250

• ebmc: split out property parsing from get_transition_system

  Show description for 746fd1a
  kroening

  committed
  746fd1a

  Copy full SHA for 746fd1a

• random traces: use --trace-steps instead of --bound

  Show description for 338b080
  kroening

  committed
  338b080

  Copy full SHA for 338b080

Commits on Oct 13, 2023

• Merge pull request #112 from diffblue/ebmc_errort

  Show description for 33c67fe
  tautschnig

  authored
  33c67fe

  Copy full SHA for 33c67fe

• Merge pull request #118 from diffblue/move-transition-system

  Show description for 777a8d6
  tautschnig

  authored
  777a8d6

  Copy full SHA for 777a8d6

Pagination

Previous

Next