Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Colibri WebSite
Commits
29605cac
Commit
29605cac
authored
Jul 13, 2021
by
Allan Blanchard
Browse files
Merge branch 'feature/jobs-in-events' into 'master'
Better jobs handling See merge request
!124
parents
f70e12c3
4eeb3760
Changes
38
Hide whitespace changes
Inline
Side-by-side
_events/clang-0.1.md
View file @
29605cac
---
layout
:
default
date
:
04-07-2016
event
:
Frama-Clang 0.0.1
short_title
:
Frama-Clang 0.0.1
title
:
Release of Frama-Clang 0.0.1
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/clang-0.10.md
View file @
29605cac
---
layout
:
default
date
:
08-03-2021
event
:
Frama-Clang 0.0.10
short_title
:
Frama-Clang 0.0.10
title
:
Release of Frama-Clang 0.0.10
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/clang-0.2.md
View file @
29605cac
---
layout
:
default
date
:
05-05-2017
event
:
Frama-Clang 0.0.2
short_title
:
Frama-Clang 0.0.2
title
:
Release of Frama-Clang 0.0.2
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/clang-0.3.md
View file @
29605cac
---
layout
:
default
date
:
02-08-2017
event
:
Frama-Clang 0.0.3
short_title
:
Frama-Clang 0.0.3
title
:
Release of Frama-Clang 0.0.3
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/clang-0.4.md
View file @
29605cac
---
layout
:
default
date
:
21-12-2017
event
:
Frama-Clang 0.0.4
short_title
:
Frama-Clang 0.0.4
title
:
Release of Frama-Clang 0.0.4
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/clang-0.5.md
View file @
29605cac
---
layout
:
default
date
:
19-02-2018
event
:
Frama-Clang 0.0.5
short_title
:
Frama-Clang 0.0.5
title
:
Release of Frama-Clang 0.0.5
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/clang-0.6.md
View file @
29605cac
---
layout
:
default
date
:
23-07-2018
event
:
Frama-Clang 0.0.6
short_title
:
Frama-Clang 0.0.6
title
:
Release of Frama-Clang 0.0.6
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/clang-0.7.md
View file @
29605cac
---
layout
:
default
date
:
13-09-2019
event
:
Frama-Clang 0.0.7
short_title
:
Frama-Clang 0.0.7
title
:
Release of Frama-Clang 0.0.7
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/clang-0.8.md
View file @
29605cac
---
layout
:
default
date
:
10-03-2020
event
:
Frama-Clang 0.0.8
short_title
:
Frama-Clang 0.0.8
title
:
Release of Frama-Clang 0.0.8
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/clang-0.9.md
View file @
29605cac
---
layout
:
default
date
:
15-07-2020
event
:
Frama-Clang 0.0.9
short_title
:
Frama-Clang 0.0.9
title
:
Release of Frama-Clang 0.0.9
link
:
/fc-plugins/frama-clang.html
---
...
...
_events/eacsl-0.8.md
View file @
29605cac
---
layout
:
default
date
:
17-01-2017
event
:
E-ACSL 0.0.8
short_title
:
E-ACSL 0.0.8
title
:
Release of E-ACSL 0.0.8
---
...
...
_events/fc-day-2019.md
View file @
29605cac
---
layout
:
default
date
:
18-05-2019
event
:
Frama-C and SPARK Day
2019
short_title
:
Frama-C and SPARK Day
2019
title
:
Frama-C and SPARK Day
2019
---
...
...
_events/framac-10.md
View file @
29605cac
---
layout
:
default
date
:
07-03-2014
event
:
Frama-C 10.0 (Neon)
short_title
:
Frama-C 10.0 (Neon)
title
:
Release of Frama-C 10.0 (Neon)
link
:
/fc-versions/neon.html
---
...
...
_events/framac-11.md
View file @
29605cac
---
layout
:
default
date
:
06-03-2015
event
:
Frama-C 11.0 (Sodium)
short_title
:
Frama-C 11.0 (Sodium)
title
:
Release of Frama-C 11.0 (Sodium)
link
:
/fc-versions/sodium.html
---
...
...
_events/framac-12.md
View file @
29605cac
---
layout
:
default
date
:
15-01-2016
event
:
Frama-C 12.0 (Magnesium)
short_title
:
Frama-C 12.0 (Magnesium)
title
:
Release of Frama-C 12.0 (Magnesium)
link
:
/fc-versions/magnesium.html
---
...
...
@@ -22,6 +22,6 @@ The main highlights are:
-
**wp**
: refined memory access and compound encoding
-
**wp**
: new memory model 'Caveat' for unit-proofs
-
**wp**
: new (less precise) integer model 'rg' to simplify integral ranges
-
**wp**
: more ACSL builtins (
\s
ubset,
\i
s_NaN,
\i
s_finite,
\i
s_infinite,
\i
s_plus_infinity,
-
**wp**
: more ACSL builtins (
\s
ubset,
\i
s_NaN,
\i
s_finite,
\i
s_infinite,
\i
s_plus_infinity,
\i
s_minus_infinity)
-
**report**
: new report in .csv format
_events/framac-13.md
View file @
29605cac
---
layout
:
default
date
:
31-05-2016
event
:
Frama-C 13.0 (Aluminium)
short_title
:
Frama-C 13.0 (Aluminium)
title
:
Release of Frama-C 13.0 (Aluminium)
link
:
/fc-versions/aluminium.html
---
...
...
_events/framac-14.md
View file @
29605cac
---
layout
:
default
date
:
01-12-2016
event
:
Frama-C 14.0 (Silicon)
short_title
:
Frama-C 14.0 (Silicon)
title
:
Release of Frama-C 14.0 (Silicon)
link
:
/fc-versions/silicon.html
---
...
...
_events/framac-15.0.md
View file @
29605cac
---
layout
:
default
date
:
31-05-2017
event
:
Frama-C 15.0 (Phosphorus)
short_title
:
Frama-C 15.0 (Phosphorus)
title
:
Release of Frama-C 15.0 (Phosphorus)
link
:
/fc-versions/phosphorus.html
---
...
...
_events/framac-16.0.md
View file @
29605cac
---
layout
:
default
date
:
29-11-2017
event
:
Frama-C 16.0 (Sulfur)
short_title
:
Frama-C 16.0 (Sulfur)
title
:
Release of Frama-C 16.0 (Sulfur)
link
:
/fc-versions/sulfur.html
---
...
...
_events/framac-17.0.md
View file @
29605cac
---
layout
:
default
date
:
31-05-2018
event
:
Frama-C 17.0 (Chlorine)
short_title
:
Frama-C 17.0 (Chlorine)
title
:
Release of Frama-C 17.0 (Chlorine)
link
:
/fc-versions/chlorine.html
---
...
...
Prev
1
2
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment