CBMC

cbmc:ID_constexpr

  1. Git
  2. lp:cbmc
  3. ID_constexpr
Last commit made on 2019-07-30
Get this branch:
git clone -b ID_constexpr https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
ID_constexpr
Repository:
lp:cbmc

Recent commits

73a20f4... by Daniel Kroening <email address hidden>

enable conversion from irep_idt to enum class

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

ID_* symbols are now constexpr

9643ec2... by Daniel Kroening <email address hidden>

Merge pull request #4961 from smowton/smowton/cleanup/symex-use-nodiscard

Symex rename functions: use NODISCARD

e46afa1... by Chris Smowton <email address hidden>

Symex rename functions: use NODISCARD

These used to have side-effects on their parameters, and will still compile if used that
way, so let's use NODISCARD to enforce that their new return value is consulted when
necessary.

7dd8899... by owen-jones-diffblue <email address hidden>

Merge pull request #4875 from owen-jones-diffblue/owen/replace-backtick-with-single-quote

Replace `<stuff>' with '<stuff>'

4c900d1... by Owen <email address hidden>

Do not quote classes we fail to load

The error message used to be
  failed to load class 'Test'
This commit makes it
  failed to load class Test
The reasoning is that there is no need to quote the class name, it is
totally clear where it starts and where it ends.

f0c0151... by Owen <email address hidden>

Remove erroneous backtick

c4cd7ae... by Owen <email address hidden>

Do not use backtick as opening single quote

Replace it with '. For example, This changes an error message from
failed to load class `java.nio.file.Path'
to
failed to load class 'java.nio.file.Path'

The reason is that the convention of using ` for opening single
quotes looks odd in most modern fonts. For more discussion please
read:

https://www.cl.cam.ac.uk/~mgk25/ucs/quotes.html

306697d... by =?utf-8?b?xYF1a2FzeiBBLkouIFdyb25h?= <email address hidden>

Merge pull request #4951 from LAJW/lajw/read_u2

java_bytecode tweaks

8d3559b... by "Lukasz A.J. Wrona" <email address hidden>

Skip the first iteration of the loop with next() rather than with an if

Cannot use for_each/ranged-for because loop performs a pairwise operation