Commits

Branch selector

 0411ef8

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 15, 2019

• Enable now-working SMT2 tests

  smowton

  committed
  0411ef8

  Copy full SHA for 0411ef8

• Lower-byte-extract: fix union type preservation

  Show description for ceaaf40
  smowton

  committed
  ceaaf40

  Copy full SHA for ceaaf40

• SMT2 backend: lower byte operators before find_symbols

  Show description for d70b8cf
  smowton

  committed
  d70b8cf

  Copy full SHA for d70b8cf

• Merge pull request #4392 from tautschnig/fix-byte-op-lowering-docs

  Show description for 8a7e1b9
  smowton

  authored
  8a7e1b9

  Copy full SHA for 8a7e1b9

• Merge pull request #4383 from romainbrenguier/enhance/bdd-expr

  Show description for 4df008a
  romainbrenguier

  authored
  4df008a

  Copy full SHA for 4df008a

Commits on Mar 14, 2019

• Fix lower_byte_{extract,update}'s documentation

  Show description for f3cbb8f
  tautschnig

  committed
  f3cbb8f

  Copy full SHA for f3cbb8f

• Make expressions generated by BDDs more compact

  Show description for cb9638a
  romainbrenguier

  committed
  cb9638a

  Copy full SHA for cb9638a

• Merge pull request #4385 from smowton/smowton/fix/expr-iterator-mutated

  Show description for 4fa790b
  tautschnig

  authored
  4fa790b

  Copy full SHA for 4fa790b

• Merge pull request #3502 from tautschnig/irept-rvalue-add-set

  Show description for 8334ac8
  tautschnig

  authored
  8334ac8

  Copy full SHA for 8334ac8

• remove_returns now preserves signature

  Show description for df04421
  

  Daniel Kroening

  committed
  df04421

  Copy full SHA for df04421

• Add unit tests for expr_iterator

  smowton

  committed
  17bee52

  Copy full SHA for 17bee52

• Expr-depth-iterator: use indices not iterators

  Show description for a817543
  smowton

  committed
  a817543

  Copy full SHA for a817543

• Merge pull request #4382 from karkhaz/kk-optional-jbmc

  Show description for 3f06c82
  karkhaz

  authored
  3f06c82

  Copy full SHA for 3f06c82

• Pass-by-value in code*t constructors

  Show description for 83ed9a5
  tautschnig

  committed
  83ed9a5

  Copy full SHA for 83ed9a5

• Pass-by-value in *typet constructors

  Show description for 3924933
  tautschnig

  committed
  3924933

  Copy full SHA for 3924933

• Pass-by-value in *exprt constructors

  Show description for c267421
  tautschnig

  committed
  c267421

  Copy full SHA for c267421

• Pass-by-value constructors for typet and type_with_subtypet

  Show description for c7d38df
  tautschnig

  committed
  c7d38df

  Copy full SHA for c7d38df

• Add pass-by-value constructor to exprt

  Show description for 60e9284
  tautschnig

  committed
  60e9284

  Copy full SHA for 60e9284

• Pass irept by value in modifying irept::add/set operations

  Show description for 027760b
  tautschnig

  committed
  027760b

  Copy full SHA for 027760b

• Move constructor/assignment for dstringt

  Show description for c61a3ba
  tautschnig

  committed
  c61a3ba

  Copy full SHA for c61a3ba

• Merge pull request #4377 from svorenova/path-symex-while-has-properties-to-check

  Show description for e7154a3
  tautschnig

  authored
  e7154a3

  Copy full SHA for e7154a3

• Make JBMC build optional with cmake

  Show description for 562fad2
  karkhaz

  committed
  562fad2

  Copy full SHA for 562fad2

• Finish path exploration early if possible

  Show description for 5b49246
  

  svorenova

  committed
  5b49246

  Copy full SHA for 5b49246

• Merge pull request #4384 from romainbrenguier/enhance/move_in_expr_constructors

  Show description for 94d9b7a
  romainbrenguier

  authored
  94d9b7a

  Copy full SHA for 94d9b7a

• Merge pull request #4381 from romainbrenguier/clean-up/ssa_step

  Show description for 410f50e
  romainbrenguier

  authored
  410f50e

  Copy full SHA for 410f50e

• use new goto_programt API in scratch_programt

  

  Daniel Kroening

  committed
  ac808df

  Copy full SHA for ac808df

• avoid access to instructiont::guard

  Show description for 78952dc
  

  Daniel Kroening

  committed
  78952dc

  Copy full SHA for 78952dc

• Make multi_ary_exprt constructor params be copies

  Show description for 3530548
  romainbrenguier

  committed
  3530548

  Copy full SHA for 3530548

• Include ssa_step instead of symex_target_equation

  Show description for 2eea492
  romainbrenguier

  committed
  2eea492

  Copy full SHA for 2eea492

• Remove NOLINT comments

  Show description for 0b3e049
  romainbrenguier

  committed
  0b3e049

  Copy full SHA for 0b3e049

• Move SSA_stept definition to its own header file

  Show description for 3ef93a0
  romainbrenguier

  committed
  3ef93a0

  Copy full SHA for 3ef93a0

Commits on Mar 13, 2019

• avoid goto_programt::insert_before and _after without instruction

  Show description for 2c63234
  

  Daniel Kroening

  committed
  2c63234

  Copy full SHA for 2c63234

Commits on Mar 12, 2019

• Merge pull request #4330 from JohnDumbell/jd/enhancement/gdb_pretty_printers

  Show description for 68b192a
  JohnDumbell

  authored
  68b192a

  Copy full SHA for 68b192a

• Merge pull request #4369 from smowton/smowton/cleanup/split-source-and-state

  Show description for 8ca4924
  smowton

  authored
  8ca4924

  Copy full SHA for 8ca4924

• strengthen typing of array_exprt::type

  Show description for 6461a1f
  

  Daniel Kroening

  committed
  6461a1f

  Copy full SHA for 6461a1f

Pagination

Previous

Next