Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Sep 9, 2023

• Port value_set_analysist and value_set_domain to the ai framework

  Show description for 686c9e4
  

  martin

  authored and

  martin-cs

  committed
  686c9e4

  Copy full SHA for 686c9e4

Commits on Oct 20, 2021

• introduce API for goto_instructiont::source_location

  Show description for 8e14af7
  kroening

  committed
  8e14af7

  Copy full SHA for 8e14af7

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Apr 3, 2019

• Use sharing_mapt as container in value_sett

  Show description for d4b811b
  tautschnig

  committed
  d4b811b

  Copy full SHA for d4b811b

Commits on Feb 25, 2019

• clang-format compatible indent of preprocessor commands

  Show description for 24f1625
  tautschnig

  committed
  24f1625

  Copy full SHA for 24f1625

• Use ranged-for to iterate over value_sett:valuest

  Show description for 8583395
  tautschnig

  committed
  8583395

  Copy full SHA for 8583395

Commits on Jan 9, 2019

• Move {json,xml}(source_locationt) to {json,xml}_irep.{h,cpp}

  Show description for f295ed8
  tautschnig

  committed
  f295ed8

  Copy full SHA for f295ed8

Commits on Jun 25, 2018

• Replace lambda by member function reference to silence Visual Studio

  Show description for a905ac0
  tautschnig

  committed
  a905ac0

  Copy full SHA for a905ac0

Commits on Jun 24, 2018

• Remove unused parameter in value_set_analysis

  tautschnig

  committed
  7621a86

  Copy full SHA for 7621a86

Commits on Nov 26, 2017

• Templatize and virtualize value-set analysis

  Show description for 8fb6da2
  smowton

  committed
  8fb6da2

  Copy full SHA for 8fb6da2

Commits on Oct 16, 2017

• Revert "Value-set analysis: templatise and virtualise to facilitate customisation"

  smowton

  authored
  a18d7ec

  Copy full SHA for a18d7ec

Commits on Oct 13, 2017

• Templatize and virtualize value-set analysis

  Show description for a2c1685
  smowton

  committed
  a2c1685

  Copy full SHA for a2c1685

Commits on Jul 17, 2017

• Fix include order in pointer-analysis

  reuk

  committed
  1bf245a

  Copy full SHA for 1bf245a

Commits on Jun 8, 2017

• Clean-up irep-id emptyness checks in pointer-analysis

  peterschrammel

  committed
  7ce9549

  Copy full SHA for 7ce9549

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on Feb 15, 2017

• Whitespace and line breaks to match coding guidelines (part 2)

  tautschnig

  committed
  cd9d007

  Copy full SHA for cd9d007

Commits on Nov 29, 2016

• Normalise newlines at ends of files

  rjmunro

  committed
  be69737

  Copy full SHA for be69737

• Remove trailing whitespace from all lines

  rjmunro

  committed
  d53dbf9

  Copy full SHA for d53dbf9

Commits on Aug 28, 2014

• location -> source_location

  Show description for e7b5e4f
  

  kroening

  committed
  e7b5e4f

  Copy full SHA for e7b5e4f

• location -> source_location

  Show description for a7f1b4b
  

  kroening

  committed
  a7f1b4b

  Copy full SHA for a7f1b4b

Commits on May 11, 2013

• Use C++ header files, more -I util fixes

  Show description for e23deed
  

  kroening

  committed
  e23deed

  Copy full SHA for e23deed

Commits on Apr 13, 2013

• avoid -I util

  Show description for 7bf6db7
  

  kroening

  committed
  7bf6db7

  Copy full SHA for 7bf6db7

Commits on Feb 10, 2013

• context -> symbol_table

  Show description for fa6d5ff
  

  kroening

  committed
  fa6d5ff

  Copy full SHA for fa6d5ff

Commits on Jul 20, 2012

• new xml_expr interface

  Show description for f399ef5
  

  kroening

  committed
  f399ef5

  Copy full SHA for f399ef5

Commits on Nov 20, 2011

• Michael's patch to clean up the include files

  Show description for ec34836
  

  kroening

  committed
  ec34836

  Copy full SHA for ec34836

Commits on May 31, 2011

• fixes for dynamic allocated objects

  Show description for cb8c499
  

  kroening

  committed
  cb8c499

  Copy full SHA for cb8c499

Commits on May 8, 2011

• initial commit

  Show description for 6fd0d77
  

  kroening

  committed
  6fd0d77

  Copy full SHA for 6fd0d77

Loading