CBMC

cbmc:dstring_lexicographical_ordering

  1. Git
  2. lp:cbmc
  3. dstring_lexicographical_ordering
Last commit made on 2018-09-19
Get this branch:
git clone -b dstring_lexicographical_ordering https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
dstring_lexicographical_ordering
Repository:
lp:cbmc

Recent commits

c7e8104... by Daniel Kroening <email address hidden>

use lexicographical ordering over dstring

The key benefit here is that the conversion to std::string and back from
std::string to irep_idt is avoided.

b23c854... by Daniel Kroening <email address hidden>

added lexicographical ordering over dstringt

38af220... by Daniel Kroening <email address hidden>

Merge pull request #2918 from diffblue/child_management

only selectively kill child, not entire process group

7de9df8... by Michael Tautschnig

Merge pull request #2877 from tautschnig/jbmc-unit-tests

unit test Makefiles: add missing source files

0e09f0c... by Michael Tautschnig

Merge pull request #2973 from tautschnig/pr-template

GitHub pull request template

bd55a28... by Michael Tautschnig <email address hidden>

Make the remaining (relevant) miniBDD catch-style unit tests

6451ffb... by Michael Tautschnig <email address hidden>

Actually use (unicode) operator_str

5e548bc... by Michael Tautschnig <email address hidden>

Move miniBDD catch-style unit test to proper folder and include in Makefile

5aacb76... by Michael Tautschnig <email address hidden>

Remove catch_example.cpp pseudo unit-test

We now have ample examples of unit tests.

b289b47... by Michael Tautschnig <email address hidden>

Cleanup dependencies in unit test builds, check number of tests