Commits

History for

Commits on Jun 24, 2026

loop_ids: wrap JSON_UI case body in a block

tautschnig
and
kiro-agent
committed
420e5ea

Commits on Oct 20, 2021

introduce API for goto_instructiont::source_location
kroening
committed
8e14af7

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Jan 26, 2021

Replace some uses of {f,F}orall_goto_program_instructions by ranged-for
tautschnig
committed
0a1cf96

Commits on Jan 24, 2019

symex: Consistently use function_id
tautschnig
committed
f33f64e
Use goto_programt::loop_id
tautschnig
committed
b7222de

Commits on Jan 9, 2019

Move {json,xml}(source_locationt) to {json,xml}_irep.{h,cpp}
tautschnig
committed
f295ed8

Commits on Jan 4, 2019

Enable construction of JSON arrays and objects in place
tautschnig
committed
64df79e

Commits on Dec 19, 2018

Add rvalue constructor to xmlt
tautschnig
committed
61f23cc

Commits on Oct 16, 2018

Commits on Oct 12, 2018

show_loop_ids now gets function identifier
kroening
committed
cc1c44c
show_loop_ids: use a ranged for
kroening
committed
b067a34

Commits on Aug 29, 2017

replace assert(false) by UNREACHABLE
kroening
committed
5a04db9

Commits on Jul 17, 2017

Fix include order in goto-programs
reuk
committed
70b352c

Commits on Jun 6, 2017

Reformat src
reuk
committed
e9349f8

Commits on May 15, 2017

Use strong enum in ui_message
reuk
committed
c3c6706

Commits on Feb 15, 2017

Whitespace and line breaks to match coding guidelines (part 2)
tautschnig
committed
cd9d007

Commits on Jan 5, 2017

Use forall_goto_functions, forall_goto_program_instructions
tautschnig
committed
91430c6

Commits on Jan 3, 2017

merge of PR #347
kroening
committed
2db625a

Commits on Nov 29, 2016

Remove trailing whitespace from all lines
rjmunro
committed
d53dbf9

Commits on Jun 19, 2016

uniform naming of sourceLocation
Peter Schrammel
committed
04e6b84
JSON output with location for show loops and properties
Peter Schrammel
committed
fed0c85
JSON output for --show-loops
Peter Schrammel
committed
738bbef

Commits on Oct 14, 2014

nudge XML for show-loops
kroening
committed
132f7d2

Commits on Aug 28, 2014

location -> source_location
kroening
committed
e7b5e4f

Commits on May 22, 2014

further goto_modelt APIs
kroening
committed
76d543b

Commits on Apr 13, 2013

avoid -I ../util
kroening
committed
2f61175

Commits on Mar 5, 2013

use forall_goto_functions
kroening
committed
a029943

Commits on Jan 12, 2013

loop_numbers -> loop_ids
kroening
committed
d53dcd8

Loading