Commits

Branch selector

 develop

User selector

All users

All time

Commit History

Commits on Mar 27, 2023

• Merge pull request #7620 from harmim/ls-parse-objdump-syms-format

  Show description for d921808
  tautschnig

  authored
  d921808

  Copy full SHA for d921808

Commits on Mar 24, 2023

• Merge pull request #7619 from tautschnig/features/bvt-output

  Show description for 9f894ae
  martin-cs

  authored
  9f894ae

  Copy full SHA for 9f894ae

• Support all `objdump --syms` formats in `ls_parse.py`

  Show description for 4de3629
  harmim

  committed
  4de3629

  Copy full SHA for 4de3629

• Add bvt output helper

  Show description for 8df4c9e
  tautschnig

  committed
  8df4c9e

  Copy full SHA for 8df4c9e

Commits on Mar 23, 2023

• Merge pull request #7605 from tautschnig/bugfixes/fpr-nil

  Show description for 79df541
  tautschnig

  authored
  79df541

  Copy full SHA for 79df541

• Merge pull request #7535 from peterschrammel/shadow-memory-basic2

  Show description for 9cdd34f
  

  Enrico Steffinlongo

  authored
  9cdd34f

  Copy full SHA for 9cdd34f

• Slice-global-inits requires function-pointer removal

  Show description for c2cd54d
  tautschnig

  committed
  c2cd54d

  Copy full SHA for c2cd54d

• Function-pointer removal: fix interaction with slice-global-inits

  Show description for 6bdfaf5
  tautschnig

  committed
  6bdfaf5

  Copy full SHA for 6bdfaf5

• Merge pull request #7614 from tautschnig/bugfixes/test-race

  Show description for 2c5a2e5
  tautschnig

  authored
  2c5a2e5

  Copy full SHA for 2c5a2e5

• Merge pull request #7612 from qinheping/different_solver_in_synthesizer

  Show description for 1824418
  qinheping

  authored
  1824418

  Copy full SHA for 1824418

• Fix race in regression tests

  Show description for ce52eba
  tautschnig

  committed
  ce52eba

  Copy full SHA for ce52eba

• Merge pull request #7554 from thomasspriggs/tas/goto-transform-docs

  Show description for a855f50
  thomasspriggs

  authored
  a855f50

  Copy full SHA for a855f50

Commits on Mar 22, 2023

• Document remove_unused_functions dependency on remove_function_pointers

  thomasspriggs

  committed
  06a68ec

  Copy full SHA for 06a68ec

• Remove references to the label properties pass adding locations

  Show description for f4f9a30
  thomasspriggs

  committed
  f4f9a30

  Copy full SHA for f4f9a30

• Remove link to device-behaviour documentation

  Show description for 739a0d0
  thomasspriggs

  committed
  739a0d0

  Copy full SHA for 739a0d0

• Add initial version of goto transforms documentation

  thomasspriggs

  committed
  a788675

  Copy full SHA for a788675

• Enable solver options in goto-synthesizer

  qinheping

  committed
  a7f190f

  Copy full SHA for a7f190f

• Merge pull request #7588 from tautschnig/bugfixes/goto-ld

  Show description for fd457d2
  kroening

  authored
  fd457d2

  Copy full SHA for fd457d2

Commits on Mar 21, 2023

• Merge pull request #7606 from qinheping/object_bits_in_synthesizer

  Show description for 42c350e
  tautschnig

  authored
  42c350e

  Copy full SHA for 42c350e

• Merge pull request #7601 from tautschnig/bugfixes/constructor-2

  Show description for 7c95385
  tautschnig

  authored
  7c95385

  Copy full SHA for 7c95385

• Fixed removed and deprecated call

  

  Enrico Steffinlongo

  committed
  addef03

  Copy full SHA for addef03

• Add tests for gathering shadow memory declarations

  Show description for f3543c4
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  f3543c4

  Copy full SHA for f3543c4

• Implement shadow_memoryt::gather_field_declarations

  Show description for d84ee18
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  d84ee18

  Copy full SHA for d84ee18

• Add extract_field_name in new shadow_memory_util.h/.cpp

  Show description for 2cd10e5
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  2cd10e5

  Copy full SHA for 2cd10e5

• Add an option to specify object bits in synthesizer

  qinheping

  committed
  60ff9d9

  Copy full SHA for 60ff9d9

Commits on Mar 20, 2023

• Merge pull request #7603 from qinheping/bugfix/assignable-check-not-in-loop

  Show description for 7e7864b
  tautschnig

  authored
  7e7864b

  Copy full SHA for 7e7864b

• Merge pull request #7581 from tautschnig/cleanup/dedup-contracts-regression-tests

  Show description for 2d4b3f7
  tautschnig

  authored
  2d4b3f7

  Copy full SHA for 2d4b3f7

• Use local alias analysis in loop assigns synthesis

  qinheping

  committed
  c5bebfa

  Copy full SHA for c5bebfa

• Don't error out when alias analysis fails during loop assigns inference

  qinheping

  committed
  d9978b4

  Copy full SHA for d9978b4

Commits on Mar 17, 2023

• Merge pull request #7602 from qinheping/bugfix/synthesis-for-empty-loops

  Show description for 4f660c4
  qinheping

  authored
  4f660c4

  Copy full SHA for 4f660c4

• Ignore empty loops during loop-contracts synthesis

  qinheping

  committed
  898efa9

  Copy full SHA for 898efa9

• Merge pull request #7600 from NlightNFotis/rust_doc_enhancements

  Show description for 37d57b3
  NlightNFotis

  authored
  37d57b3

  Copy full SHA for 37d57b3

• Deactivate `doctest`.

  Show description for c60a175
  NlightNFotis

  committed
  c60a175

  Copy full SHA for c60a175

• [DOCS] Add a tutorial file and inline it into the documentation

  NlightNFotis

  committed
  91d933c

  Copy full SHA for 91d933c

• Update comments for building the project correctly.

  NlightNFotis

  committed
  32d5223

  Copy full SHA for 32d5223

Pagination

Previous

Next