Commits · 8da348dbb5c380f503bf1bf8b17768b16239073c · pub / frama-c · GitLab

Snippets Groups Projects

Mar 11, 2016
- Removed obsolete scripts previously used for testing · 8da348db
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  8da348db
- Improvements to the C runtime lirbary of E-ACSL from the remote repository · 2e533161
  Kostyantyn Vorobyov authored 9 years ago and Julien Signoles committed 9 years ago
  
  containing the segment-based memory model.
  2e533161
Feb 25, 2016
- [tests] fix running tests in internal mode · d34501f0
  Julien Signoles authored 9 years ago
  
  d34501f0
- [Makefile] fix 'make clean' in tests · e3609af0
  Julien Signoles authored 9 years ago
  
  e3609af0
Feb 22, 2016
- [tests] fix oracle wrt new pretty-printing of labeled predicates · f27423ac
  Julien Signoles authored 9 years ago
  
  f27423ac
Feb 12, 2016
- [configure] update required Frama-C version · 477183a9
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  477183a9
- update VERSION · 0057cf3c
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  0057cf3c
- gitignore · 0296a8cf
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  0296a8cf
- [doc] replace occurrences of Sodium by Magnesium · 2f36df20
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  2f36df20
- [configure] check for Magnesium · b7f2b851
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  b7f2b851
- [doc] new pdf userman · 89c12490
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  89c12490
- version number · 4a7d8042
  Julien Signoles authored 9 years ago and François Bobot committed 9 years ago
  
  4a7d8042
Feb 11, 2016
- Fixed test empty.i · b7861837
  Kostyantyn Vorobyov authored 9 years ago
  
  b7861837
- [Makefile] fix typo · ddd1778f
  Julien Signoles authored 9 years ago
  
  ddd1778f
- [userman] changes · 843aeafd
  Julien Signoles authored 9 years ago
  
  843aeafd
- [doc] remove generated file 'eacslversion.tex' · 1b1fb04a
  Julien Signoles authored 9 years ago
  
  1b1fb04a
- remove E-ACSL internal entry from Changelog · 9e1127e7
  Julien Signoles authored 9 years ago
  
  9e1127e7
- 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
- [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