Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on May 6, 2024

• move goto_convert from goto-programs/ to ansi-c/

  Show description for f938788
  kroening

  committed
  f938788

  Copy full SHA for f938788

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Jan 21, 2019

• CATCH: silence Visual Studio warnings

  Show description for 7c44567
  tautschnig

  committed
  7c44567

  Copy full SHA for 7c44567

Commits on Jan 20, 2019

• Replace all uses of move_to_operands

  Show description for 15aef45
  tautschnig

  committed
  15aef45

  Copy full SHA for 15aef45

Commits on Nov 10, 2018

• Renamed shadowing call_graph_from_goto_functions

  Show description for 23577d3
  tautschnig

  committed
  23577d3

  Copy full SHA for 23577d3

Commits on Oct 2, 2018

• Use constructors to construct objects

  Show description for dbc5439
  tautschnig

  committed
  dbc5439

  Copy full SHA for dbc5439

Commits on Jun 27, 2018

• factor out common call graph unit test functions into header

  polgreen

  committed
  19a1ceb

  Copy full SHA for 19a1ceb

Commits on Jun 26, 2018

• unit tests for depth limited search on call graph

  polgreen

  committed
  904132d

  Copy full SHA for 904132d

Commits on Jun 6, 2018

• Make code_typet declarations const

  Show description for 64cd733
  peterschrammel

  committed
  64cd733

  Copy full SHA for 64cd733

Commits on Jun 5, 2018

• Use the two-param code_typet constructor

  peterschrammel

  committed
  05a5efb

  Copy full SHA for 05a5efb

Commits on May 16, 2018

• Fix uninitialised collect_callsites field in call_grapht

  Show description for 4447be0
  smowton

  committed
  4447be0

  Copy full SHA for 4447be0

Commits on Apr 19, 2018

• Make directed callgraph include nodes with no edges

  Show description for d73f6bc
  

  Owen Jones

  committed
  d73f6bc

  Copy full SHA for d73f6bc

Commits on Dec 13, 2017

• Improve call graph unit tests

  smowton

  committed
  9c29bee

  Copy full SHA for 9c29bee

• Call graph -> grapht transformation

  Show description for aaa8513
  smowton

  committed
  aaa8513

  Copy full SHA for aaa8513

• Call graph: optionally record callsites

  Show description for 8115248
  smowton

  committed
  8115248

  Copy full SHA for 8115248

Commits on Oct 10, 2017

• Add new testing-utils library

  reuk

  committed
  aacd436

  Copy full SHA for aacd436

Commits on Sep 8, 2017

• missing copyright header

  

  Daniel Kroening

  committed
  7d30cde

  Copy full SHA for 7d30cde

• use goto_modelt

  

  Daniel Kroening

  committed
  fc4d44a

  Copy full SHA for fc4d44a

Commits on Jul 12, 2017

• Add call-graph inversion function

  Show description for d0d046a
  smowton

  committed
  d0d046a

  Copy full SHA for d0d046a

Loading