Commits · master · Decoder / integration-tests

Feb 28, 2022
- Updated driver for Frama-C for PKM and Frama-Clang for PKM after the introduction of a new option. · 58853e58
  Gilles Mouchard authored Feb 28, 2022
  
  Updated the tests accordingly.
  58853e58
Feb 18, 2022
- Updated README.md of OpenCV benchmark. · 42aa0596
  Gilles Mouchard authored Feb 18, 2022
  
  42aa0596
- Merge remote-tracking branch 'origin/master' · 21287faf
  Gilles Mouchard authored Feb 18, 2022
  
  21287faf
- Added developper documentation for OpenCV to test doc_to_asfm. · aaf64c70
  Gilles Mouchard authored Feb 18, 2022
  
  aaf64c70
Feb 10, 2022
- minor · 95c8446c
  Armand PUCCETTI authored Feb 10, 2022
  
  95c8446c
- Merge remote-tracking branch 'refs/remotes/origin/master' · 1183ce29
  Armand PUCCETTI authored Feb 10, 2022
  
  1183ce29
- Update at91sam9_wdt.c with comments from Enkhestuvin · 7b8441cc
  Armand PUCCETTI authored Feb 10, 2022
  
  7b8441cc
- Merge branch 'revert-fedad0c4 ' into 'master' · a0ec21f6
  Armand PUCCETTI authored Feb 10, 2022
  
  Revert "Replace at91sam9_wdt.c" See merge request !5
  a0ec21f6
- Revert "Replace at91sam9_wdt.c" · 396b4f39
  Armand PUCCETTI authored Feb 10, 2022
  
  This reverts commit fedad0c4
  396b4f39
Feb 04, 2022
- Replace at91sam9_wdt.c · fedad0c4
  Armand PUCCETTI authored Feb 04, 2022
  
  fedad0c4
- added function __builtin_memcpy · c864fe11
  Armand PUCCETTI authored Feb 04, 2022
  
  c864fe11
- copied new comments from repo driver_annotations to this · af0190d1
  Armand PUCCETTI authored Feb 04, 2022
  
  af0190d1
Jan 31, 2022
- Update compiler.h · 19f97f60
  Armand PUCCETTI authored Jan 31, 2022
  
  19f97f60
Dec 14, 2021
- Merge branch 'opencv' into 'master' · 93d07ae4
  Gilles Mouchard authored Dec 14, 2021
  
  Opencv See merge request !4
  93d07ae4
- Fixed typo in run.sh · 9cb5d1b6
  Franck Vedrine authored Dec 14, 2021
  
  9cb5d1b6
- Fixed typo in run.sh · 1b7fc8eb
  Franck Vedrine authored Dec 14, 2021
  
  1b7fc8eb
Dec 10, 2021
- Fixed typo. · d3a35a9c
  Gilles Mouchard authored Dec 10, 2021
  
  d3a35a9c
Dec 07, 2021
- Fixed at91sam8_wdt testbench for Frama-C to explicitely initialize the driver. · b8950c70
  Gilles Mouchard authored Dec 07, 2021
  
  b8950c70
Nov 30, 2021
- Added legacy test for vector2 but using the legacy PKM CLI interface. · 1cb2fb66
  Gilles Mouchard authored Nov 30, 2021
  
  1cb2fb66
Nov 27, 2021
- Cleaned-up and simplified the PKM driver. · 925a7968
  Gilles Mouchard authored Nov 27, 2021
  
  925a7968
Nov 23, 2021
- Translated ASFM MS word style to english. · 15000487
  Gilles Mouchard authored Nov 23, 2021
  
  15000487
Nov 08, 2021
- Minor fix. · 005bbc4b
  Gilles Mouchard authored Nov 08, 2021
  
  005bbc4b
- Added e1000-ethernet benchmark. · 6686fe02
  Gilles Mouchard authored Nov 08, 2021
  
  6686fe02
Nov 05, 2021
- Minor fixes (missing invocationID). · 4f9741fd
  Gilles Mouchard authored Nov 05, 2021
  
  4f9741fd
Nov 02, 2021
- Added more fixes to at91sam9-watchdog to make it work with Frama-C. · 40e25278
  Gilles Mouchard authored Nov 02, 2021
  
  Added an invocationID query parameter to simulate the run of the tools under the control of the Process engine.
  40e25278
Oct 21, 2021
- Renamed vector3.c into vector2.c (integration test PASSED). · 66312b66
  Gilles Mouchard authored Oct 21, 2021
  
  66312b66
- Merge remote-tracking branch 'origin/master' · 141e508f
  Gilles Mouchard authored Oct 21, 2021
  
  141e508f
Oct 20, 2021
- Removed useless files (duplicated). · 4a7f0590
  Gilles Mouchard authored Oct 20, 2021
  
  4a7f0590
- Added a testbench for the AT91SAM9 Watchdog timer (WDT) Linux driver. · 4356d4b3
  Gilles Mouchard authored Oct 20, 2021
  
  4356d4b3
Oct 19, 2021
- Update README.md · 3dbe204e
  Pierre-Yves Gibello authored Oct 19, 2021
  
  3dbe204e
Oct 08, 2021
- minor specs additions · 7492d609
  Armand PUCCETTI authored Oct 08, 2021
  
  7492d609
Jul 14, 2021
- Added a test for 'Tools' and 'Invocations' for the process engine. · 0dab622f
  Gilles Mouchard authored Jul 14, 2021
  
  0dab622f
Jul 13, 2021

Added a test for Git with PKM. · 90075ec2

Gilles Mouchard authored Jul 13, 2021

Made drivers for Frama-C, Frama-Clang, ASFM, Excavator, and Git compatible with both synchronous and asynchronous modes.

90075ec2

Apr 29, 2021
- Added base64_encode_file bash function for base64 encoding according to RFC4648 using node. · a4b93c2f
  Gilles Mouchard authored Apr 29, 2021
  
  a4b93c2f
Mar 31, 2021
- Update README for vector2 test · 723b3e60
  Gaël de Chalendar authored Mar 31, 2021
  
  723b3e60
- Add a gitignore file · 9953c230
  Gaël de Chalendar authored Mar 31, 2021
  
  9953c230
- Correct ner test · d80c0e00
  Gaël de Chalendar authored Mar 31, 2021
  
  d80c0e00
- Correct srl test · 69f0a77c
  Gaël de Chalendar authored Mar 31, 2021
  
  69f0a77c
- Correct trace recovery test · 1ff0a325
  Gaël de Chalendar authored Mar 31, 2021
  
  1ff0a325
- Updated vector2 test for trace_recovery, ner and srl as C comments schema has... · 5b611cb9
  Gilles Mouchard authored Mar 31, 2021
  
  Updated vector2 test for trace_recovery, ner and srl as C comments schema has changed few months ago.
  5b611cb9