Code

VSD Intervals#5354

Code

Closed

thk123 wants to merge 37 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:tidy-vsd-intervalsthk123/cbmc:tidy-vsd-intervalsCopy head branch name to clipboard

Commits

Commits on May 21, 2020

• (INT) Interval operations

  Show description for 18b9509
  

  Daniel Neville

  authored and

  Thomas Kiley

  committed
  18b9509

  Copy full SHA for 18b9509

• (INT) Fix broken interval unit tests

  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  fa59ec0

  Copy full SHA for fa59ec0

• (INT) Remove unnecessary construction of dstring

  Show description for 58c8a58
  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  58c8a58

  Copy full SHA for 58c8a58

• (INT) Rename interval is_constant to is_single_value_interval

  Show description for f1b673d
  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  f1b673d

  Copy full SHA for f1b673d

• (INT) Rename is_true and is_false in interval expressions

  Show description for 4adae76
  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  4adae76

  Copy full SHA for 4adae76

• (INT) Make eval take an identifier instead of an exprt

  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  66b6a40

  Copy full SHA for 66b6a40

• (INT) Make constructors take constant references instead of values

  Show description for 8797aee
  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  8797aee

  Copy full SHA for 8797aee

• (INT) Apply clang-format

  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  da5dd0f

  Copy full SHA for da5dd0f

• (INT) Remove unnecessary constant specifier from value returning functions

  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  e8deecc

  Copy full SHA for e8deecc

• (INT) Use irep_idt in place of exprt when exprt isn't needed

  Show description for f8091c9
  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  f8091c9

  Copy full SHA for f8091c9

• (INT) Cleanup to_string and operator<< for intervals

  Show description for ffde1ee
  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  ffde1ee

  Copy full SHA for ffde1ee

• (INT) Give handle constants a better name

  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  4012743

  Copy full SHA for 4012743

• (INT) Remove swap function in intervals

  Show description for 25a34d9
  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  25a34d9

  Copy full SHA for 25a34d9

• (INT) Add additional unit tests for intervals

  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  b035c8b

  Copy full SHA for b035c8b

• (INT) Various code style fixes in intervals code

  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  d373df2

  Copy full SHA for d373df2

• (INT) Fix eval handling of ID_not case in intervals

  Show description for 6e36c8c
  

  NlightNFotis

  authored and

  Thomas Kiley

  committed
  6e36c8c

  Copy full SHA for 6e36c8c

• (INT) Fix bitwise operators for intervals

  Show description for e850530
  

  NlightNFotis

  authored and

  Thomas Kiley

  committed
  e850530

  Copy full SHA for e850530

• (INT) Make eval in constant_interval_exprt const

  

  danpoe

  authored and

  Thomas Kiley

  committed
  e536404

  Copy full SHA for e536404

• (INT) Removed unimplemented function from util/interval.h

  

  danpoe

  authored and

  Thomas Kiley

  committed
  1321ed2

  Copy full SHA for 1321ed2

• (INT) accept false of ID_bool as valid zero value

  

  danpoe

  authored and

  Thomas Kiley

  committed
  e3dbce7

  Copy full SHA for e3dbce7

• (INT) Add ID_bool type preconditions to logical interval operations

  

  danpoe

  authored and

  Thomas Kiley

  committed
  eebfcbc

  Copy full SHA for eebfcbc

• (INT) use tvt_to_interval instead of tv_to_interval in constant_interval_exprt

  

  danpoe

  authored and

  Thomas Kiley

  committed
  6fb8567

  Copy full SHA for 6fb8567

• (INT) Handle typecasts in constant_interval_exprt

  

  danpoe

  authored and

  Thomas Kiley

  committed
  f7152b5

  Copy full SHA for f7152b5

• (INT) Typecast from ID_bool to integer types

  

  martin

  authored and

  Thomas Kiley

  committed
  0077a18

  Copy full SHA for 0077a18

• (INT) Addressing review comments

  

  martin

  authored and

  Thomas Kiley

  committed
  8c5f9b6

  Copy full SHA for 8c5f9b6

• (INT) Add well-formedness checks for constant_interval_exprt

  

  danpoe

  authored and

  Thomas Kiley

  committed
  f57a616

  Copy full SHA for f57a616

• (INT) Extend interval multiplication for extremes

  

  Petr Bauch

  authored and

  Thomas Kiley

  committed
  2bec215

  Copy full SHA for 2bec215

• (INT) Add support for bit field and enums intervals.cpp

  

  martin

  authored and

  Thomas Kiley

  committed
  7c050a2

  Copy full SHA for 7c050a2

• (INT) Fix broken interval unit tests

  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  7a5c6d3

  Copy full SHA for 7a5c6d3

• (INT) Fix bug with interval typecasts

  Show description for b685412
  

  hannes-steffenhagen-diffblue

  authored and

  Thomas Kiley

  committed
  b685412

  Copy full SHA for b685412

• (INT) Assume relation between two int vars (issue #179)

  

  Petr Bauch

  authored and

  Thomas Kiley

  committed
  59ecd25

  Copy full SHA for 59ecd25

• (INT) Fixup for nil_typet being removed

  

  chrisr-diffblue

  authored and

  Thomas Kiley

  committed
  85e776f

  Copy full SHA for 85e776f

• (INT) Fixups post-rebase

  

  martin

  authored and

  Thomas Kiley

  committed
  8b548e1

  Copy full SHA for 8b548e1

• clang-format changes to the interval code and unit tests

  

  martin

  authored and

  Thomas Kiley

  committed
  c523606

  Copy full SHA for c523606

• Fixes for the linter.

  

  martin

  authored and

  Thomas Kiley

  committed
  446020a

  Copy full SHA for 446020a

Commits on May 22, 2020

• Sort makefile includes

  

  Thomas Kiley

  committed
  6ae65f4

  Copy full SHA for 6ae65f4

• Add missing unit test to the Makefile

  

  Thomas Kiley

  committed
  b41c4ec

  Copy full SHA for b41c4ec