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
83f089114760ca1856b06bde724a74efc84b81d6
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] Linting: fixes indentation.
· 83f08911
David Bühler
authored
4 years ago
83f08911
[Dive] Updates test oracles.
· c481e1f5
David Bühler
authored
4 years ago
c481e1f5
[Dive] Supports new alarm Invalid_pointer.
· 1cbcb2e7
David Bühler
authored
4 years ago
1cbcb2e7
[Dive] Fixes the server interface to comply with frama-c changes.
· 69fafaa0
David Bühler
authored
5 years ago
69fafaa0
[Dive] Fix return expression dependency values
· 92db4bbf
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
92db4bbf
[Dive] Fix scattered dependencies values
· 970d351b
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
970d351b
[Dive] Add some tests
· 86e4c302
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
86e4c302
[Dive] Synchronize with Frama-C master
· beaaea1f
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
beaaea1f
[Dive] Update README.md
· 8b4694bb
Valentin Perrelle
authored
5 years ago
and
David Bühler
committed
4 years ago
8b4694bb
[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
Loading