- 28 Oct, 2020 1 commit
-
-
Virgile Prevosto authored
-
- 23 Oct, 2020 2 commits
-
-
Allan Blanchard authored -
Allan Blanchard authored
-
- 06 Oct, 2020 1 commit
-
-
Virgile Prevosto authored
-
- 27 Aug, 2020 1 commit
-
-
Virgile Prevosto authored
-
- 21 Aug, 2020 1 commit
-
-
François Bobot authored
-
- 06 Aug, 2020 2 commits
-
-
Michele Alberti authored -
Michele Alberti authored
-
- 21 Jul, 2020 2 commits
-
-
Andre Maroneze authored -
Andre Maroneze authored
-
- 07 May, 2020 1 commit
-
-
François Bobot authored
-
- 05 May, 2020 2 commits
-
-
Andre Maroneze authored
-
Andre Maroneze authored
-
- 17 Mar, 2020 2 commits
-
-
Loïc Correnson authored -
Loïc Correnson authored
# Conflicts: # .gitlab-ci.yml
-
- 03 Mar, 2020 1 commit
-
-
François Bobot authored
It seems not really deterministic This reverts commit 596ed001.
-
- 25 Feb, 2020 1 commit
-
-
François Bobot authored
The cache makes the tests deterministic
-
- 13 Jan, 2020 1 commit
-
-
François Bobot authored
-
- 04 Dec, 2019 1 commit
-
-
François Bobot authored
-
- 04 Nov, 2019 4 commits
-
-
François Bobot authored
-
François Bobot authored
The bang is reserved in yaml, we start a sub-shell to protect the negation
-
François Bobot authored
-
François Bobot authored
-
- 24 Jul, 2019 1 commit
-
-
François Bobot authored
-
- 05 Jul, 2019 1 commit
-
-
François Bobot authored
-
- 11 Jun, 2019 1 commit
-
-
François Bobot authored
(Problem after a merge from stable/potassium to master)
-
- 19 Apr, 2019 2 commits
-
-
François Bobot authored
-
François Bobot authored
-
- 01 Apr, 2019 2 commits
-
-
Patrick Baudin authored -
Patrick Baudin authored
-
- 05 Feb, 2019 1 commit
-
-
Loïc Correnson authored
-
- 25 Jan, 2019 1 commit
-
-
François Bobot authored
-
- 14 Jan, 2019 1 commit
-
-
Loïc Correnson authored
-
- 12 Dec, 2018 1 commit
-
-
Andre Maroneze authored
-
- 04 Dec, 2018 1 commit
-
-
Andre Maroneze authored
-
- 03 Dec, 2018 1 commit
-
-
Valentin Perrelle authored
- Fix Value/Value#5 - Fix Value/Value#14
-
- 28 Nov, 2018 3 commits
-
-
David Bühler authored
-
Andre Maroneze authored
Some case studies (e.g. dyad) use some ugly casts from fd_set_t which lead to the analysis stopping too early. Changing the representation of fd_set_t should also help it better conform to the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).
-
Andre Maroneze authored
-
- 23 Nov, 2018 1 commit
-
-
Virgile Prevosto authored
[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
-
