Commits · 4e9626942827d118c21969162497a1195394f7bc · pub / frama-c · GitLab

Snippets Groups Projects

Feb 11, 2016
- update headers · 4e962694
  Julien Signoles authored 9 years ago
  
  4e962694
Feb 10, 2016
- Updated pdf version of the user manual · 8b548c2d
  Kostyantyn Vorobyov authored 9 years ago
  
  8b548c2d
- Minor stylistic change in the E-ACSL user manual · 7f2d3d99
  Kostyantyn Vorobyov authored 9 years ago
  
  7f2d3d99
- Section describing e-acsl-gcc.sh wrapper script added as a separate · 6f57e2ab
  Kostyantyn Vorobyov authored 9 years ago
  
  section of the user manual Minor spelling/stylistic changes (see merge request #26)
  6f57e2ab
- Added K. Vorobyov to the list of authors of the E-ACSL user manual · 4d962182
  Kostyantyn Vorobyov authored 9 years ago
  
  4d962182
- Removed the note regarding a change in user manual from docs/Changelog · 6b1527f6
  Kostyantyn Vorobyov authored 9 years ago
  
  as it belongs to doc/userman/changes.tex
  6b1527f6
- Fix British spelling of `maximise` in the inline docs of the e-acsl · 9dc0f3c9
  Kostyantyn Vorobyov authored 9 years ago
  
  wrapper script
  9dc0f3c9
- Minor corrections for e-acsl-gcc.sg section in the E-ACSL user manual. · 41258934
  Kostyantyn Vorobyov authored 9 years ago
  
  41258934
- Added entry to the changelog regarding the documentation for · 6cf78e85
  Kostyantyn Vorobyov authored 9 years ago
  
  e-acsl-gcc.sh
  6cf78e85
- Added documentation for the e-acsl wrapper script · b4b3580a
  Kostyantyn Vorobyov authored 9 years ago
  
  b4b3580a
- Fixed a bug in e-acsl-gcc.sh where additional flags could not be passed · 52242dc0
  Kostyantyn Vorobyov authored 9 years ago
  
  to a Frama-C run
  52242dc0
- Updated pdf version of the user manual · c32bc489
  Kostyantyn Vorobyov authored 9 years ago
  
  c32bc489
- Minor stylistic change in the E-ACSL user manual · b9a70b51
  Kostyantyn Vorobyov authored 9 years ago
  
  b9a70b51
- Section describing e-acsl-gcc.sh wrapper script added as a separate · 21a760b2
  Kostyantyn Vorobyov authored 9 years ago
  
  section of the user manual Minor spelling/stylistic changes (see merge request #26)
  21a760b2
- Added K. Vorobyov to the list of authors of the E-ACSL user manual · bedb86e0
  Kostyantyn Vorobyov authored 9 years ago
  
  bedb86e0
- Removed the note regarding a change in user manual from docs/Changelog · 43957706
  Kostyantyn Vorobyov authored 9 years ago
  
  as it belongs to doc/userman/changes.tex
  43957706
- Fix British spelling of `maximise` in the inline docs of the e-acsl · c59c03cb
  Kostyantyn Vorobyov authored 9 years ago
  
  wrapper script
  c59c03cb
- [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
- Fix test failures due to changes of frama-c output · c57b6a7d
  Kostyantyn Vorobyov authored 9 years ago
  
  c57b6a7d
- Minor corrections for e-acsl-gcc.sg section in the E-ACSL user manual. · 06b8c7fb
  Kostyantyn Vorobyov authored 9 years ago
  
  06b8c7fb
- Added entry to the changelog regarding the documentation for · 80e2212d
  Kostyantyn Vorobyov authored 9 years ago
  
  e-acsl-gcc.sh
  80e2212d
- Added documentation for the e-acsl wrapper script · a85eb521
  Kostyantyn Vorobyov authored 9 years ago
  
  a85eb521
- Fixed a bug in e-acsl-gcc.sh where additional flags could not be passed · 58f9a483
  Kostyantyn Vorobyov authored 9 years ago
  
  to a Frama-C run
  58f9a483
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