Commits · 6a1c18e6f7411a4f077069dccbc754f10100b51f · pub / frama-c · GitLab

Snippets Groups Projects

Sep 21, 2022
- [Extlib] removed string_split · 6a1c18e6
  Allan Blanchard authored 2 years ago
  
  6a1c18e6
- [Extlib] removed try_finally (Fun.protect) · a5aa26ca
  Allan Blanchard authored 2 years ago
  
  a5aa26ca
- [Extlib] removed mapi (List.mapi) · 493d0028
  Allan Blanchard authored 2 years ago
  
  493d0028
- [Extlib] removed iteri (List.iteri) · bdec3a28
  Allan Blanchard authored 2 years ago
  
  bdec3a28
- [Extlib] removed xor · 8cdabbb1
  Allan Blanchard authored 2 years ago
  
  8cdabbb1
- [Extlib] removed opt_fold (Option.fold) · 11fc7b51
  Allan Blanchard authored 2 years ago
  
  11fc7b51
- [Extlib] removed swap (Fun.flip) · 4f21e678
  Allan Blanchard authored 2 years ago
  
  4f21e678
- [Extlib] removed id (Fun.id) · c0b3ec56
  Allan Blanchard authored 2 years ago
  
  c0b3ec56
May 11, 2022
- [deprecated] remove old functions · efd0b8bd
  Allan Blanchard authored 2 years ago
  
  efd0b8bd
Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
Oct 07, 2021
- [interval] improve implementation of \product and \numof · a20bcac6
  Julien Signoles authored 3 years ago
  
  a20bcac6
Sep 02, 2021
- [kernel] Add `nest` and `flatten` to `Extlib` to manipulate tuples · 6b0acbf2
  Basile Desloges authored 3 years ago
  
  6b0acbf2
May 21, 2021
- Mass-lint all remaining OCaml files · 89b69ec2
  Andre Maroneze authored 3 years ago
  
  89b69ec2
Feb 16, 2021
- [headers] 2021 headers · 5a58b23c
  Virgile Prevosto authored 4 years ago
  
  5a58b23c
Jan 27, 2021
- [Extlib] make exn argument mandatory in Extlib.the and update occurrences · 203b4912
  Andre Maroneze authored 4 years ago
  
  203b4912
Jan 21, 2021
- [Extlib] remove unused functions array_exists and array_existsi · 738a3c64
  Andre Maroneze authored 4 years ago
  
  738a3c64
- [Extlib] remove obsolete functions opt_equal and opt_compare · 65bf27fd
  Andre Maroneze authored 4 years ago
  
  65bf27fd
- [Extlib] remove unused and obsolete functions · fbc18228
  Andre Maroneze authored 4 years ago
  
  fbc18228
- [Exlib] remove opt_bind; replace Extlib.the with Option.get when possible · 69efa5b2
  Andre Maroneze authored 4 years ago
  
  69efa5b2
- [Extlib] remove obsolete functions (now in OCaml's stdlib) · 256d6581
  Andre Maroneze authored 4 years ago
  
  256d6581
Oct 15, 2020
- [Kernel] update noalloc annotations to modern OCaml · 71e0ab5d
  Andre Maroneze authored 4 years ago
  
  71e0ab5d
Jul 27, 2020
- [Extlib] add function format_string_of_stag · 8f0260c8
  Andre Maroneze authored 4 years ago
  
  8f0260c8
Mar 13, 2020
- [extlib] remove external function to allow loading the file in ocamldebug · 48bfdf13
  Virgile Prevosto authored 5 years ago
  
  48bfdf13
- [extlib] remove usleep, as sleepf introduced in 4.03.0 does the same thing · 1e9cf5b0
  Virgile Prevosto authored 5 years ago
  
  1e9cf5b0
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
Sep 06, 2019
- [Eva] adds to traces loops · f20cc24f
  François Bobot authored 7 years ago and David Bühler committed 5 years ago
  
  not working well
  f20cc24f
Jul 26, 2019
- Remove Transitioning functions added in 4.03, 4.04 and 4.05 · 2dae9601
  François Bobot authored 5 years ago
  
  Add migration script
  2dae9601
Jun 05, 2019
- [lib] fixes wrong cmp for lists of different length in Extlib.list_compare · 618c6118
  Virgile Prevosto authored 5 years ago
  
  the shortest list is _smaller_ than the longest one.
  618c6118
Apr 09, 2019
- [syntax] allow for one letter attributes. · 286f33fc
  Virgile Prevosto authored 5 years ago
  
  Fixes [external BTS 2432](https://bts.frama-c.com/view.php?id=2432)
  286f33fc
Feb 26, 2019
- [extlib] add recursive mkdir function (fixes #425 ) · 491be84f
  Nikolai Kosmatov authored 6 years ago
  
  491be84f
Feb 25, 2019
- [ocaml] improve compatibility with OCaml 4.08 · 7514d3c2
  Andre Maroneze authored 6 years ago
  
  7514d3c2
Feb 05, 2019
- Merge branch 'feature/server/plugin' of git.frama-c.com:frama-c/frama-c into feature/server/plugin · 4bf2c145
  Loïc Correnson authored 6 years ago
  
  4bf2c145
Jan 21, 2019
- [Headers] upgrade distributed files · 45f9b04a
  Loïc Correnson authored 6 years ago
  
  (blind make headers from specifications)
  45f9b04a
Jan 14, 2019
- [wp] linting files · 88886e5f
  Loïc Correnson authored 6 years ago
  
  88886e5f
Dec 12, 2018
- [Kernel] add accessors for retrieving major/minor version number · 8c810173
  Andre Maroneze authored 6 years ago
  
  8c810173
Dec 04, 2018
- [Tests] attempt to avoid non-deterministic issue with CI · 4ff7e39a
  Andre Maroneze authored 6 years ago
  
  4ff7e39a
Dec 03, 2018
- [Ival] more precise binary bitwise operators · af6b48cc
  Valentin Perrelle authored 6 years ago
  
  - Fix Value/Value#5 - Fix Value/Value#14
  af6b48cc
Nov 28, 2018
- Fixes the build-src-distrib script for the new VERSION format. · 25dc09e0
  David Bühler authored 6 years ago
  
  25dc09e0
- [libc] change internal representation of fd_set_t · bd6f3f55
  Andre Maroneze authored 6 years ago
  
  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).
  bd6f3f55
- [Kernel] allow entries without directory in compile_commands.json · 3ad308cb
  Andre Maroneze authored 6 years ago
  
  3ad308cb