Commits

History for

Commits on Jun 24, 2026

goto-diff: add missing break in output_functions UI switch

tautschnig
and
kiro-agent
committed
19f9f84

Commits on Mar 4, 2026

Replace sed shell-out with pure Perl in diff-filter.pl

tautschnig
and
kiro-agent
committed
5554b2c

Commits on Jun 18, 2024

change default verbosity to M_STATUS
kroening
committed
fddfa12

Commits on May 6, 2024

move goto_convert from goto-programs/ to ansi-c/
kroening
committed
f938788

Commits on Feb 6, 2024

Merge pull request #8139 from tautschnig/cleanup/assembler_parsert
tautschnig
authored
d333f3b

Commits on Jan 12, 2024

Remove JSIL front-end
tautschnig
committed
67be193

Commits on Jan 11, 2024

assembler_parsert: construct with message handler
tautschnig
committed
9495ab2

Commits on Dec 18, 2023

Remove inline assembler introduced by library functions
tautschnig
committed
64a1ed0
Use /usr/bin/env in shebang lines
tautschnig
committed
46e39f7

Commits on Dec 13, 2023

Remove default messaget value from goto_program_dereferencet
tautschnig
committed
18ab74b

Commits on Sep 7, 2023

Move rw_ok rewriting to separate pass
tautschnig
committed
e261217

Commits on Aug 11, 2023

Use help_formatter
tautschnig
committed
28d4662
Use help_entry to consistently format help output
tautschnig
committed
89b3740

Commits on May 30, 2023

Move goto_programt::(const_)targett comparison to a struct
tautschnig
committed
8da41b7

Commits on Dec 1, 2022

Replace assert(...) by macros from invariant.h
tautschnig
committed
f901919

Commits on Nov 19, 2022

Mark includes that include-what-you-use spuriously suggests to remove
tautschnig
committed
a2e3dd4

Commits on Sep 30, 2022

CMake: install one man page per tool
tautschnig
committed
30587eb

Commits on Jun 9, 2022

goto-diff: include --verbosity in help output
tautschnig
committed
0827860

Commits on May 30, 2022

Replace all uses of goto_programt::output_instruction
tautschnig
committed
f7a33df

Commits on Apr 9, 2022

Set GCC version in all tools possibly parsing C code
tautschnig
committed
b2b2734

Commits on Feb 28, 2022

move goto_check_ct to ansi-c/

kroening
authored and
tautschnig
committed
ef4dd67

Commits on Jan 17, 2022

Set malloc_may_fail, malloc_failure_mode via defines

peterschrammel
authored and
tautschnig
committed
f7958df

Commits on Dec 7, 2021

goto-diff: reinstate --show-properties
tautschnig
committed
5019d02
goto-diff: Remove processing of unsupported options
tautschnig
committed
3d8b0cd

Commits on Dec 2, 2021

split up goto_check
kroening
committed
35ad715

Commits on Nov 25, 2021

Remove the --mm option from goto-diff
martin
committed
b71a830

Commits on Oct 20, 2021

introduce API for goto_instructiont::source_location
kroening
committed
8e14af7

Commits on Sep 9, 2021

Enfold `assume` in an `assert(false)` to allow for easier debugging.
NlightNFotis
committed
16d3a2b

Commits on Aug 3, 2021

Make sure that member functions are correctly marked as override
martin
committed
b16a5fc
register_languages is now an interface not just a convention
martin
committed
d8c78b0

Commits on May 7, 2021

De-duplicate version output code
tautschnig
committed
3776bf2

Commits on May 6, 2021

Remove unnecessary includes
tautschnig
committed
450845d

Commits on Apr 14, 2021

Do not assume that build architecture has byte/char==8 bits
tautschnig
committed
74978c0

Commits on Feb 26, 2021

Move the handling of C/C++ standard versions into configt
martin
committed
64c1757
Fix formatting issues in the --help output text
martin
committed
a56d059