Commits · b7861837e0faa75762841569c06bf36eea016de1 · pub / frama-c · GitLab

Snippets Groups Projects

Feb 11, 2016
- Fixed test empty.i · b7861837
  Kostyantyn Vorobyov authored 9 years ago
  
  b7861837
Feb 10, 2016
- [tests] silent value · 9fb7c09b
  Julien Signoles authored 9 years ago
  
  9fb7c09b
- [tests] remove 'COMMENT: no diff' from gmp test cases · 7e0d4d05
  Julien Signoles authored 9 years ago
  
  7e0d4d05
- [tests] grow up constant value because of previous change from 32-bit to 64-bit test · 5e995f77
  Julien Signoles authored 9 years ago
  
  5e995f77
- [tests] simplify run of gmp tests · b483da32
  Julien Signoles authored 9 years ago
  
  b483da32
- [tests] remove 'COMMENT: no diff' lines from bts and e-acsl-runtime tests · 557a5af3
  Julien Signoles authored 9 years ago
  
  557a5af3
- [tests] simplify bts directory as well · 9ec59dab
  Julien Signoles authored 9 years ago
  
  9ec59dab
- [tests] remove useless GMP tests · 27658644
  Julien Signoles authored 9 years ago
  
  27658644
- [tests] moving GMP-specific test files · d97c6f2f
  Julien Signoles authored 9 years ago
  
  d97c6f2f
- [tests] prepare GMP tests · d7573df9
  Julien Signoles authored 9 years ago
  
  d7573df9
- [tests] do not compile every time the OCaml script · 751947f9
  Julien Signoles authored 9 years ago
  
  751947f9
- [tests] only print the output coming from the input file (but no more the libc) · cf5b90ec
  Julien Signoles authored 9 years ago
  
  cf5b90ec
- [tests] call testrun.sh with the correct Frama-C binary · 9e8cb664
  Julien Signoles authored 9 years ago
  
  9e8cb664
- [testrun] add possibility to give extra flags to e-acsl-gcc.sh · 021d6ea8
  Julien Signoles authored 9 years ago
  
  021d6ea8
- [tests] Compare the generated code just after running Value. Use gcc_x86_64 as... · f223a74e
  Julien Signoles authored 9 years ago
  
  [tests] Compare the generated code just after running Value. Use gcc_x86_64 as machdep for all these tests. [tests] call testrun.sh in test_config in order to compile and run the generated code. This code is no more the one being compared with the oracle (see above item).
  f223a74e
- [testrun] do not stop the script when the execution of a test case fails · 711da30b
  Julien Signoles authored 9 years ago
  
  711da30b
- [testrun] additional debugging messages · 9a1a01a3
  Julien Signoles authored 9 years ago
  
  9a1a01a3
- [testrun] use the local e-acsl-gcc.sh, not the installed one · de34e301
  Julien Signoles authored 9 years ago
  
  de34e301
- [testrun] remove meaningless message in non-debug mode · 3fa9b3c5
  Julien Signoles authored 9 years ago
  
  3fa9b3c5
- [Makefile] fix man pages intallation again · b86af3ac
  Julien Signoles authored 9 years ago
  
  b86af3ac
Feb 09, 2016
- [tests] update wrt Value output simplification · cd0acaf0
  Julien Signoles authored 9 years ago
  
  cd0acaf0
Feb 08, 2016
- [Makefile] fix installation of man pages · f6ff2044
  Julien Signoles authored 9 years ago
  
  f6ff2044
Feb 05, 2016
- Added a few more ignored warnings to the e-acsl-gcc.sh script · 46f6008f
  Kostyantyn Vorobyov authored 9 years ago
  
  46f6008f
- Changed OCODE and OEXEC variables to OUTPUT_CODE and OUTPUT_EXEC for clarity · c9a3f8d7
  Kostyantyn Vorobyov authored 9 years ago
  
  c9a3f8d7
- - Added debug option to the testrun.sh · e6d3110b
  Kostyantyn Vorobyov authored 9 years ago
  
  - Fixed inconsistency in the documentation of testrun.sh
  e6d3110b
- Fixed a few more indentation issues in the e-acsl wrapper script · 4d03bff9
  Kostyantyn Vorobyov authored 9 years ago
  
  4d03bff9
- Added print statements for installing/uninstalling man pages to the main · c6b5fd84
  Kostyantyn Vorobyov authored 9 years ago
  
  makefile
  c6b5fd84
- Fixed indentation issues in e-acsl-gcc.sh · b14e0625
  Kostyantyn Vorobyov authored 9 years ago
  
  b14e0625
- Fixed a typo in e-acsl-gcc.sh · 947ece45
  Kostyantyn Vorobyov authored 9 years ago
  
  947ece45
- [doc] remove Hi-Lite reference and update (C) date · dbb9c282
  Julien Signoles authored 9 years ago
  
  dbb9c282
- [doc] alphabetical order · a69eaf21
  Julien Signoles authored 9 years ago
  
  a69eaf21
- Added an entry regarding the manpage for e-acsl-gcc.sh to the Changelog · 3171f0fa
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  3171f0fa
- Minor stylistic changes in the e-acsl-gcc.sh wrapper script · 94dd242a
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  94dd242a
- Improved the documentation of the e-acsl wrapper script · 3c92b802
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  3c92b802
- Documented more options available via helpd page of e-acsl-gcc.sh · 3084275d
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  3084275d
- Refactored setting output names in the e-acsl wrapper script · 27486275
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  27486275
- Added options to the e-acsl wrapper script allowing to specify frama-c · 79f6cadb
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  and gcc executables
  79f6cadb
- Structural changes to the e-acsl wrapper script aimed to improved · 91d3c522
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  consistency in settings of various flags
  91d3c522
- e-acscl wrapper: · 16d511f3
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  - Added man page - Fixed memory model option
  16d511f3
- Minor refactoring of the e-acsl-gcc.sh wrapper script that mainly · 27bb0f7e
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  involves getting rid of redundant flags
  27bb0f7e