Commits

Breadcrumbs

History for

onvs-nullptr

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 17, 2024

• increase verbosity level of various messages

  Show description for da777a0
  

  kroening

  authored and

  tautschnig

  committed
  da777a0

  Copy full SHA for da777a0

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 Apr 23, 2024

• Permit re-setting --object-bits

  Show description for 428375a
  tautschnig

  committed
  428375a

  Copy full SHA for 428375a

Commits on Nov 17, 2023

• languaget is not a messaget

  Show description for 82948a4
  tautschnig

  committed
  82948a4

  Copy full SHA for 82948a4

Commits on Oct 5, 2023

• introduce widen_if_needed

  Show description for f06ff71
  kroening

  committed
  f06ff71

  Copy full SHA for f06ff71

Commits on Apr 21, 2023

• Make goto_{model,functions}t::unload return a value

  Show description for 1bc815f
  tautschnig

  committed
  1bc815f

  Copy full SHA for 1bc815f

Commits on Dec 16, 2022

• Merge pull request #5587 from tautschnig/messaget-language_filest

  Show description for 098ec1e
  kroening

  authored
  098ec1e

  Copy full SHA for 098ec1e

Commits on Dec 1, 2022

• C/C++ entry-point: resolve full symbol names

  Show description for e7d482a
  tautschnig

  committed
  e7d482a

  Copy full SHA for e7d482a

Commits on Nov 21, 2022

• language_filest is not a messaget

  Show description for 45a7102
  tautschnig

  committed
  45a7102

  Copy full SHA for 45a7102

Commits on Feb 24, 2022

• De-duplicate initialize_goto_model's code

  Show description for ad9c19e
  tautschnig

  committed
  ad9c19e

  Copy full SHA for ad9c19e

Commits on Dec 26, 2021

• Encapsulate reading and linking multiple files

  Show description for 895a674
  tautschnig

  committed
  895a674

  Copy full SHA for 895a674

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Nov 24, 2019

• Remove obsolete rebuild_goto_start_function class

  Show description for 5fca235
  peterschrammel

  committed
  5fca235

  Copy full SHA for 5fca235

Commits on Jul 29, 2019

• Do not use backtick as opening single quote

  Show description for c4cd7ae
  

  Owen

  committed
  c4cd7ae

  Copy full SHA for c4cd7ae

Commits on Mar 7, 2019

• Pass a message handler to is_goto_binary

  Show description for a3afbcf
  tautschnig

  committed
  a3afbcf

  Copy full SHA for a3afbcf

Commits on Mar 1, 2019

• Address review comments - Kroening

  Show description for 971c788
  

  Sonny Martin

  committed
  971c788

  Copy full SHA for 971c788

Commits on Feb 27, 2019

• Rebase and address review comments

  

  Sonny Martin

  committed
  1fb1129

  Copy full SHA for 1fb1129

• Validation checks for Goto Programs

  Show description for 5fddbcd
  

  Sonny Martin

  committed
  5fddbcd

  Copy full SHA for 5fddbcd

Commits on Feb 7, 2019

• Use mode of entry function to generate __CPROVER__start

  Show description for 914928c
  hannes-steffenhagen-diffblue

  committed
  914928c

  Copy full SHA for 914928c

Commits on Dec 3, 2018

• Clean out unused stub generation code

  Show description for 2725a05
  peterschrammel

  committed
  2725a05

  Copy full SHA for 2725a05

• Remove cmdlinet from init/lazy_goto_model

  Show description for cd90c7d
  peterschrammel

  committed
  cd90c7d

  Copy full SHA for cd90c7d

Commits on Nov 26, 2018

• Pass object factory parameters through to object factories

  danpoe

  committed
  fac59a8

  Copy full SHA for fac59a8

Commits on Nov 9, 2018

• Validate goto models in cbmc (if enabled via command line flag)

  danpoe

  committed
  1d8fc32

  Copy full SHA for 1d8fc32

Commits on Oct 16, 2018

• Use structured exceptions in initialize_goto_model

  hannes-steffenhagen-diffblue

  committed
  eed0bdc

  Copy full SHA for eed0bdc

Commits on Oct 6, 2018

• Do not bypass options when parsing language cmdline

  peterschrammel

  committed
  5b467d1

  Copy full SHA for 5b467d1

Commits on Sep 19, 2018

• remove a spurious include of langapi/language_ui.h

  

  Daniel Kroening

  committed
  c39df18

  Copy full SHA for c39df18

Commits on Feb 11, 2018

• moving language.h and language_file.h to langapi folder

  Show description for d8967f5
  

  Daniel Kroening

  committed
  d8967f5

  Copy full SHA for d8967f5

Commits on Dec 20, 2017

• Encapsulate maps in language_filest

  NathanJPhillips

  committed
  c938b08

  Copy full SHA for c938b08

• Introduce lazy_goto_modelt

  Show description for c078858
  NathanJPhillips

  committed
  c078858

  Copy full SHA for c078858

Commits on Oct 18, 2017

• initialize_goto_model now returns a goto_model

  

  Daniel Kroening

  committed
  98643d7

  Copy full SHA for 98643d7

Commits on Oct 4, 2017

• Split the entry-point-generation phase into two parts

  Show description for 05f2f3c
  smowton

  committed
  05f2f3c

  Copy full SHA for 05f2f3c

Commits on Oct 3, 2017

• Merge pull request #1436 from smowton/smowton/initialize-goto-model-opaque-stub-generation

  Show description for 6888dd2
  smowton

  authored
  6888dd2

  Copy full SHA for 6888dd2

• Merge pull request #1409 from thk123/bugfix/lang-args-missing

  Show description for 7545fc5
  

  Thomas Kiley

  authored
  7545fc5

  Copy full SHA for 7545fc5

Commits on Oct 2, 2017

• Set opaque stub generation in initialize-goto-model

  Show description for c41acce
  smowton

  committed
  c41acce

  Copy full SHA for c41acce

Commits on Sep 20, 2017

• Verify that language options have been initialized

  Show description for 61c6489
  

  thk123

  committed
  61c6489

  Copy full SHA for 61c6489

Pagination

Previous

Next