Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
F
frama-c
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Deploy
Releases
Container Registry
Model registry
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
pub
frama-c
Commits
75ac10fb04fcce96dfdc8ef6284da892482d12ef
Select Git revision
Branches
13
master
default
protected
stable/zinc
2699-wp-region-plugin-division-by-0-with-empty-region-node
stable/copper
stable/nickel
stable/cobalt
stable/iron
stable/manganese
stable/chromium
stable/vanadium
stable/titanium-backport
stable/titanium
stable/scandium
Tags
20
30.0
protected
30.0-beta
protected
MIEL-2024-10
protected
29.0
protected
29.0-beta
protected
28.1
protected
28.0
protected
MIEL-2023-10
protected
28.0-beta
protected
27.1
protected
27.0
protected
27.0-beta
protected
26.1
protected
26.0
protected
26.0-beta
protected
25.0-r1
protected
pre-dune
protected
25.0
protected
25.0-beta
protected
2022-03-23
protected
33 results
frama-c
Author
Search by author
Any Author
authors
Allan Blanchard
blanchard
Amine Nasri
anasri
Andre Maroneze
maroneze
Armand Puccetti
puccetti
Augustin Lemesle
alemesle
Augustin PERRIN
aperrin
Aymeric Varasse
varasse
Basile Desloges
bdesloges
Benjamin Jorge
jorge
Bernard Botella
botella
Boris Yakobowski
byako
Cécile Ruet-Cros
cruetcros
Charles Babu M
charlesm
Christophe Junke
cjunke
David Bühler
buhler
David Feliot
dfeliot
Dorian Lesbre
dlesbre
Fabio ALVES
falves
Florent Kirchner
kirchner
Frama-CI
frama-ci
20 authors
Jun 19, 2020
[Dive] Add mention to zmq
· 75ac10fb
Andre Maroneze
authored
5 years ago
and
David Bühler
committed
4 years ago
75ac10fb
[Dive] Fix headers
· 4b2e7fbd
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
4b2e7fbd
[Dive] More input checks and use of Yojson
· bba61bda
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
bba61bda
[Dive] Update tests
· 92237e6b
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
92237e6b
[Dive] Compute values for each cells composing a scattered node
· d3d1ef47
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
d3d1ef47
[Dive] Fix warnings during compilation
· 1a7a041f
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
1a7a041f
[Dive] Scattered nodes can now be decomposed
· eeeb89aa
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
eeeb89aa
[Dive] Scattered nodes are identified by statement and can be explored
· 28ee2282
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
28ee2282
[Dive] Fix the syntax of variables in the communication protocol
· fc45cbe4
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
fc45cbe4
[Dive] Fix floating points types lower bounds limit
· a45ca6c2
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
a45ca6c2
[Dive] Also compute integer intervals
· b8aa9be2
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
b8aa9be2
[Dive] Remove the Cluster Node_kind
· c000871d
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
c000871d
[Dive] Update tests
· 7bcdff16
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
7bcdff16
[Dive] Add a show/hide feature
· f7505043
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
f7505043
[Dive] Add type information to each node
· 6f11c879
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
6f11c879
[Dive] Reduce default depth to 2
· ee3a9b25
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
ee3a9b25
[Dive] Send information about updated nodes
· 4d1dfd7e
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
4d1dfd7e
[Dive] Add a command to explore the graph and sends only the difference
· 0ffedd6b
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
0ffedd6b
[Dive] Give more information about node values
· a64af395
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
a64af395
[Dive] Add precision_width field to json output
· cffdfb0b
Marc Coudriau
authored
5 years ago
and
David Bühler
committed
4 years ago
cffdfb0b
[Dive] Add command dive.clear
· 297cc069
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
297cc069
[Dive] Interface for Frama-C Server
· d28a290b
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
d28a290b
[Dive] Add README.md
· 91da1357
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
91da1357
[Dive] Update Copyright
· c892c032
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
c892c032
[Dive] Hack to reduce the impact of loosing memexeced dependencies
· 85f6ba2f
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
85f6ba2f
[Dive] Fix callstack computation for dependencies
· 0aa72247
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
0aa72247
[Dive] Fix error message for wrong variable referencement from commandline
· 74bb3ada
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
74bb3ada
[Dive] Compute dependencies per callstack
· 39984416
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
39984416
[Dive] Fix temporary variables locations
· 195afbff
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
195afbff
[Dive] Add an output to json format
· f49ba50d
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
f49ba50d
[Dive] Add debug information
· 987966d9
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
987966d9
[Dive] Add an unevaluated precision type
· b4edc111
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
b4edc111
[Dive] Warn instead of fail
· 29497eb8
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
29497eb8
[Dive] Also find static global variables
· 1197203d
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
1197203d
[Dive] Fix error message for command line varinfo inputs
· da553613
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
da553613
[Dive] Generate nodes from alarms
· d97687f7
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
d97687f7
[Dive] Very basic testing
· b856536a
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
b856536a
[Dive] More detailed precision analysis, introducing singletons
· 36027915
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
36027915
[Dive] Fix folded locations
· f3012a85
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
f3012a85
[Dive] Set a limit to the number of dependencies to explore
· 69b2e8d8
Valentin Perrelle
authored
6 years ago
and
David Bühler
committed
4 years ago
69b2e8d8
Loading