Commits

Branch selector

 a80798f

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 24, 2019

• remove deprecated struct_exprt constructor

  Show description for a80798f
  

  Daniel Kroening

  committed
  a80798f

  Copy full SHA for a80798f

• remove refined_string_exprt constructor

  Show description for a68f8ea
  

  Daniel Kroening

  committed
  a68f8ea

  Copy full SHA for a68f8ea

• Merge pull request #4248 from tautschnig/remove-to_unsigned_integer

  Show description for b034ba3
  tautschnig

  authored
  b034ba3

  Copy full SHA for b034ba3

Commits on Mar 23, 2019

• Removed deprecated and unused to_unsigned_integer

  Show description for ca9df9b
  tautschnig

  committed
  ca9df9b

  Copy full SHA for ca9df9b

• Merge pull request #4423 from tautschnig/deprecated-dates

  Show description for 6d0177b
  tautschnig

  authored
  6d0177b

  Copy full SHA for 6d0177b

• Add the deprecation date to each deprecated entity

  Show description for e70dcf2
  tautschnig

  committed
  e70dcf2

  Copy full SHA for e70dcf2

• Merge pull request #4425 from diffblue/manual-fixes3

  Show description for 8234610
  tautschnig

  authored
  8234610

  Copy full SHA for 8234610

• manual: markdown in jbmc manual

  

  Daniel Kroening

  committed
  8b3035f

  Copy full SHA for 8b3035f

• manual: typo

  

  Daniel Kroening

  committed
  a08649c

  Copy full SHA for a08649c

• manual: remove superflous dot

  

  Daniel Kroening

  committed
  99d9f66

  Copy full SHA for 99d9f66

• manual: end a sentence

  

  Daniel Kroening

  committed
  e6f1335

  Copy full SHA for e6f1335

• manual: remove unnecessary indentation

  

  Daniel Kroening

  committed
  f10ab30

  Copy full SHA for f10ab30

• manual: fix formatting of cbmc output

  

  Daniel Kroening

  committed
  3956d75

  Copy full SHA for 3956d75

• manual: fix references

  

  Daniel Kroening

  committed
  8b7bcb6

  Copy full SHA for 8b7bcb6

• Merge pull request #4422 from diffblue/manual-fixes2

  Show description for b5a998e
  tautschnig

  authored
  b5a998e

  Copy full SHA for b5a998e

• Merge pull request #4424 from tautschnig/deprecation-rules

  Show description for 55b8fc0
  tautschnig

  authored
  55b8fc0

  Copy full SHA for 55b8fc0

• manual: add return statement to file1.c

  

  Daniel Kroening

  committed
  fb3a7f5

  Copy full SHA for fb3a7f5

• manual: provide download for "file2.c"

  

  Daniel Kroening

  committed
  d6032f1

  Copy full SHA for d6032f1

• manual: remove unneeded indentation

  

  Daniel Kroening

  committed
  344a074

  Copy full SHA for 344a074

• manual: fix highlighting of commands

  

  Daniel Kroening

  committed
  25cfb65

  Copy full SHA for 25cfb65

• manual: fix references

  

  Daniel Kroening

  committed
  7d57062

  Copy full SHA for 7d57062

• manual: fix cbmc message

  

  Daniel Kroening

  committed
  b321a4e

  Copy full SHA for b321a4e

• manual: fix reference to uninterpreted functions

  

  Daniel Kroening

  committed
  d891335

  Copy full SHA for d891335

• Make explicit that we care about interfaces

  Show description for f3a8371
  tautschnig

  committed
  f3a8371

  Copy full SHA for f3a8371

• Coding standard: Deprecation rules

  Show description for 0dae046
  tautschnig

  committed
  0dae046

  Copy full SHA for 0dae046

• Merge pull request #4419 from martin-cs/refactor/ait_visit_edge

  Show description for 857e67f
  tautschnig

  authored
  857e67f

  Copy full SHA for 857e67f

• Merge pull request #4421 from allredj/smt2_string_nonconst_tests

  Show description for c699b69
  tautschnig

  authored
  c699b69

  Copy full SHA for c699b69

• Merge pull request #4415 from romainbrenguier/fixes/cmake

  Show description for 2922bdd
  tautschnig

  authored
  2922bdd

  Copy full SHA for 2922bdd

Commits on Mar 22, 2019

• SMT2 string tests for nondet strings

  

  Joel Allred

  committed
  e4e2108

  Copy full SHA for e4e2108

• Rename regexp 'all' tests

  

  Joel Allred

  committed
  07d157a

  Copy full SHA for 07d157a

• Rename allchar tests

  Show description for f46e4ac
  

  Joel Allred

  committed
  f46e4ac

  Copy full SHA for f46e4ac

• Merge pull request #4416 from antlechner/antonia/nondet-int-refactor

  Show description for 45e1186
  antlechner

  authored
  45e1186

  Copy full SHA for 45e1186

• Refactor visit and call_function to use visit_edge

  Show description for aa06718
  

  martin

  committed
  aa06718

  Copy full SHA for aa06718

• Add a function to visit an edge (i.e. one step) in the AI

  Show description for a26fc31
  

  martin

  committed
  a26fc31

  Copy full SHA for a26fc31

• Merge pull request #4417 from martin-cs/fix/stupid-typos

  Show description for 72e54f3
  peterschrammel

  authored
  72e54f3

  Copy full SHA for 72e54f3

Pagination

Previous

Next