Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 7, 2021

• Merge pull request #6216 from feliperodri/assigns-clause-type-checking

  Show description for 2b9816e
  feliperodri

  authored
  2b9816e

  Copy full SHA for 2b9816e

• Improves type checking for assigns clauses

  Show description for f4d2d30
  feliperodri

  committed
  f4d2d30

  Copy full SHA for f4d2d30

• Merge pull request #6214 from diffblue/multiple_invariants

  Show description for b35228a
  feliperodri

  authored
  b35228a

  Copy full SHA for b35228a

• Merge pull request #6177 from diffblue/empty_assigns_clause

  Show description for e1365a6
  feliperodri

  authored
  e1365a6

  Copy full SHA for e1365a6

• Merge pull request #6212 from NlightNFotis/add_5952_tests

  Show description for dd77754
  NlightNFotis

  authored
  dd77754

  Copy full SHA for dd77754

• Include tests from reported issue cbmc#5952.

  Show description for e409ce2
  NlightNFotis

  committed
  e409ce2

  Copy full SHA for e409ce2

Commits on Jul 6, 2021

• Merge pull request #6210 from TGWDB/SMT-z3-trace-fix

  Show description for 403a129
  TGWDB

  authored
  403a129

  Copy full SHA for 403a129

• Add regression tests for array output with z3

  Show description for d125b1a
  TGWDB

  committed
  d125b1a

  Copy full SHA for d125b1a

• Fix tests previously broken

  Show description for eec9850
  TGWDB

  committed
  eec9850

  Copy full SHA for eec9850

• Fixes array value in traces for Z3 SMT

  Show description for ef15614
  TGWDB

  committed
  ef15614

  Copy full SHA for ef15614

• Merge pull request #6205 from TGWDB/SMT_fix_cvc4_bool_bitvec

  Show description for 54c385e
  TGWDB

  authored
  54c385e

  Copy full SHA for 54c385e

• allow multiple loop invariants

  Show description for b06b263
  kroening

  committed
  b06b263

  Copy full SHA for b06b263

• Merge pull request #6211 from TGWDB/SMT-use-defined-functions

  Show description for 72c3696
  TGWDB

  authored
  72c3696

  Copy full SHA for 72c3696

Commits on Jul 5, 2021

• Track conversion and use identifier instead of expression

  Show description for 1d685bf
  TGWDB

  committed
  1d685bf

  Copy full SHA for 1d685bf

• Implement getting arrays from the SMT2 backend

  Show description for 2f9da2b
  

  thomasspriggs

  authored and

  TGWDB

  committed
  2f9da2b

  Copy full SHA for 2f9da2b

Commits on Jul 2, 2021

• Merge pull request #6197 from LongPham7/Long_internship

  Show description for 3e0007f
  SaswatPadhi

  authored
  3e0007f

  Copy full SHA for 3e0007f

• Full implementation of loop variants

  

  Long Pham

  committed
  00608b6

  Copy full SHA for 00608b6

• Merge pull request #6209 from jezhiggins/vsd-bool-intervals-go-top

  Show description for a7d4c3d
  martin-cs

  authored
  a7d4c3d

  Copy full SHA for a7d4c3d

• Value sets spanning the min-max range of its type go to TOP.

  jezhiggins

  committed
  0a0a862

  Copy full SHA for 0a0a862

• Merge pull request #6208 from diffblue/fix_unordered_map_iterators

  Show description for b69a629
  kroening

  authored
  b69a629

  Copy full SHA for b69a629

• Intervals [FALSE, TRUE] go to top.

  Show description for 0b70b2e
  jezhiggins

  committed
  0b70b2e

  Copy full SHA for 0b70b2e

Commits on Jul 1, 2021

• Fix for iterators into unordered_maps

  Show description for c920010
  kroening

  committed
  c920010

  Copy full SHA for c920010

• Merge pull request #6207 from thomasspriggs/tas/smt2_stream_consistency_for_develop

  Show description for 845343e
  TGWDB

  authored
  845343e

  Copy full SHA for 845343e

Commits on Jun 30, 2021

• Add doxygen of `smt_convt::write_footer`

  Show description for b68902f
  thomasspriggs

  committed
  b68902f

  Copy full SHA for b68902f

• Deduplicate output streams in `smt2_convt::write_footer()`

  Show description for 1d6d39b
  thomasspriggs

  committed
  1d6d39b

  Copy full SHA for 1d6d39b

• Merge pull request #6200 from diffblue/euclidean_mod

  Show description for 5b8e8fa
  kroening

  authored
  5b8e8fa

  Copy full SHA for 5b8e8fa

Commits on Jun 29, 2021

• Merge pull request #6204 from TGWDB/SMT_object_size_quoting

  Show description for 657a891
  TGWDB

  authored
  657a891

  Copy full SHA for 657a891

Commits on Jun 28, 2021

• Fix bool versus bitvec 1 sort mismtach for CVC4

  Show description for 081649e
  TGWDB

  committed
  081649e

  Copy full SHA for 081649e

• Fix quoting for object size identifiers in SMT2 output

  Show description for 86b16e3
  TGWDB

  committed
  86b16e3

  Copy full SHA for 86b16e3

• Merge pull request #6203 from NlightNFotis/new_cbmc_5.33.0

  Show description for 8e692ae
  NlightNFotis

  authored
  8e692ae

  Copy full SHA for 8e692ae

• Mark cbmc version 5.33.0 in `src/config.inc`.

  NlightNFotis

  committed
  515c303

  Copy full SHA for 515c303

Commits on Jun 27, 2021

• Merge pull request #6201 from diffblue/bvXdiv_by_zero

  Show description for 06c2cfd
  kroening

  authored
  06c2cfd

  Copy full SHA for 06c2cfd

• Merge pull request #6202 from diffblue/smt2_function_sort

  Show description for 953871e
  kroening

  authored
  953871e

  Copy full SHA for 953871e

Commits on Jun 26, 2021

• SMT2 parser: lambda expressions

  Show description for 3804b18
  kroening

  committed
  3804b18

  Copy full SHA for 3804b18

• extract smt2_parsert::binding(...)

  Show description for 4a75080
  kroening

  committed
  4a75080

  Copy full SHA for 4a75080

Pagination

Previous

Next