CBMC

cbmc:20231030-codeowners-for-changelog

  1. Git
  2. lp:cbmc
  3. 20231030-codeowners-for-changelog
Last commit made on 2023-10-29
Get this branch:
git clone -b 20231030-codeowners-for-changelog https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
20231030-codeowners-for-changelog
Repository:
lp:cbmc

Recent commits

8e8ec55... by Thomas Given-Wilson <email address hidden>

Add CODEOWNERS for CHANGELOG

Add specific CODEOWNERS for CHANGELOG

70151a9... by Fotis Koutoulakis <email address hidden>

Merge pull request #7985 from NlightNFotis/fix_extraneous_parameter_math_c

Remove extraneous `y` parameter from calls to `exp` and `logl`.

4ab2770... by Fotis Koutoulakis <email address hidden>

Remove extraneous `y` parameter from calls to `exp` and `logl`.

Without these, the build breaks on certain platforms (Apple Silicon).

7f4570b... by Michael Tautschnig <email address hidden>

Merge pull request #7984 from tautschnig/features/tree-multipliers

Multiplication encoding: cleanup, Dadda, data

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

Dadda multiplier

Implement Luigi Dadda (1965)'s reduction scheme, which uses fewer full
adders than Wallace Trees. Still, performance is not strictly better
than without a tree reduction scheme.

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

Cleanup Wallace Tree multiplier, add data

Uses the optimised full-adder encoding when the #define is set (which is
the case by default). Comments now detail the performance variability.

5021afa... by Michael Tautschnig <email address hidden>

Cleanup unsigned_multiplier

De-duplicate code paths to reduce the amount of code that is defined-out
for the Wallace Tree reduction.

25cb64d... by Fotis Koutoulakis <email address hidden>

Merge pull request #7981 from NlightNFotis/new_cbmc_release-5.95.0

Mark CBMC cbmc-5.95.0.

b70ffec... by Fotis Koutoulakis <email address hidden>

Mark CBMC cbmc-5.95.0.

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

Merge pull request #7976 from diffblue/propt-interface

propt: change interface for solving under assumptions