Commits · e1553a451d234daca9aaa3a4feb850141422b8b7 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 09, 2020
- [ivette] merge with master · 5e9ed98e
  Loïc Correnson authored 4 years ago
  
  5e9ed98e
Jul 06, 2020
- [wp] fix cmd & cache issues · e52f2552
  Loïc Correnson authored 4 years ago
  
  e52f2552
Jun 30, 2020
- [wp] wp-qualif utility script · 0a46137d
  Loïc Correnson authored 4 years ago
  
  0a46137d
Jun 24, 2020
- [Doc] fix release distribution script · 9b253e39
  Andre Maroneze authored 4 years ago
  
  9b253e39
- [Distrib] include E-ACSL changelog in website · 694462ce
  Andre Maroneze authored 4 years ago
  
  694462ce
Jun 12, 2020
- [Doc] fix release distribution script · 530a4e8e
  Andre Maroneze authored 4 years ago
  
  530a4e8e
Jun 11, 2020
- [Release] update release script · a4963b87
  Andre Maroneze authored 4 years ago
  
  a4963b87
Jun 03, 2020
- [Dev] rename and improve check for reference configuration · 06539502
  Andre Maroneze authored 4 years ago
  
  06539502
- [Dev] script to check known working configuration · eec3cb36
  Andre Maroneze authored 4 years ago
  
  eec3cb36
May 15, 2020
- [Release] Update release script for Gitlab and minor fixes · 814abe3d
  Andre Maroneze authored 4 years ago
  
  814abe3d
Apr 01, 2020

[debug] more robust bin/frama-c.debug script across OCaml versions · 03afadb2

Virgile Prevosto authored 4 years ago

- 4.08.0 messes up dynlink, which is needed by extlib for semi-good reasons:
  it is currently impossible to load the printers in this version.
- 4.09.0 and upwards directly load dynlink, and will complain if we try to
  do that again.

03afadb2

Mar 16, 2020
- [dev] loads explicitly all needed modules in frama-c.debug script · 38cf2861
  Virgile Prevosto authored 5 years ago
  
  38cf2861
Mar 13, 2020
- headers · 6b546c67
  Virgile Prevosto authored 5 years ago
  
  6b546c67
- [debug script] install printers for AST node if no .ocamldebug file is present · b834dc06
  Virgile Prevosto authored 5 years ago
  
  b834dc06
- [config] change name of config.ml to avoid clash with compiler internal lib · aedae7e6
  Virgile Prevosto authored 5 years ago
  
  aedae7e6
- add script to launch ocamldebug on toplevel.byte with appropriate environment · e8de7b00
  Virgile Prevosto authored 5 years ago
  
  e8de7b00
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
- update .gitignore to match tracked files · 174fdd41
  Andre Maroneze authored 5 years ago
  
  174fdd41
Feb 24, 2020
- [server] remove debugging script · e73ba6c1
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  e73ba6c1
- [server] launch gui · 29485e41
  Loïc Correnson authored 5 years ago and Michele Alberti committed 5 years ago
  
  29485e41
Nov 12, 2019
- [dev] do not stop migration script on errors · 939a1a16
  Andre Maroneze authored 5 years ago
  
  939a1a16
Nov 05, 2019
- [release] check for distributed plugin in .tar.gz · 69e0512f
  Andre Maroneze authored 5 years ago
  
  69e0512f
Nov 04, 2019
- [release] force worktree in case of error during build · b2fb1b51
  Andre Maroneze authored 5 years ago
  
  b2fb1b51
- [release] remove obsoleted E-ACSL-specific rules · eb8ab1ad
  Andre Maroneze authored 5 years ago
  
  eb8ab1ad
- Removes old scripts still relying on svn. · 949e9284
  David Bühler authored 5 years ago
  
  949e9284
Nov 02, 2019
- Add the script which allows to stick together the new and old history · a5d84fa3
  François Bobot authored 5 years ago
  
  a5d84fa3
Aug 30, 2019
- [fc-script] rewrite and extend make-template · 442d2927
  Andre Maroneze authored 5 years ago
  
  442d2927
- [fc-script] add 'help' command and fix exit code on error · f7063679
  Andre Maroneze authored 5 years ago
  
  f7063679
Aug 02, 2019
- [Kernel] Totally removes functions related to Visitor_behavior from Cil and adds a migration script · 7dfb2b2a
  Allan Blanchard authored 5 years ago and Julien Signoles committed 5 years ago
  
  7dfb2b2a
Jul 26, 2019
- Make the script executable, and execute it · 440508b3
  François Bobot authored 5 years ago
  
  440508b3
- Remove Transitioning functions added in 4.03, 4.04 and 4.05 · 2dae9601
  François Bobot authored 5 years ago
  
  Add migration script
  2dae9601
Apr 11, 2019
- [fc-script] add make-wrapper and normalize-jcdb scripts; improve find-fun · 3b081971
  Andre Maroneze authored 6 years ago
  
  3b081971
- [fc-script] add command for running ./configure · 9cc260b1
  Andre Maroneze authored 6 years ago
  
  9cc260b1
Mar 25, 2019
- [fcscript] Add a script to monitor and summarize multiple analyses · 423b8c8a
  Valentin Perrelle authored 6 years ago
  
  423b8c8a
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 16, 2019
- [Analysis-scripts] add find-fun script, to grep for function declarations/definitions · 2efeec2c
  Andre Maroneze authored 6 years ago and Valentin Perrelle committed 6 years ago
  
  2efeec2c
Jan 14, 2019
- [wp] linting files · 88886e5f
  Loïc Correnson authored 6 years ago
  
  88886e5f
Jan 03, 2019
- [analysis-scripts] fix typo · 79b7ce18
  Andre Maroneze authored 6 years ago
  
  79b7ce18
Dec 12, 2018
- [Kernel] add accessors for retrieving major/minor version number · 8c810173
  Andre Maroneze authored 6 years ago
  
  8c810173