1. 02 Sep, 2016 2 commits
  2. 01 Sep, 2016 4 commits
  3. 31 Aug, 2016 10 commits
  4. 29 Aug, 2016 5 commits
  5. 25 Aug, 2016 1 commit
  6. 23 Aug, 2016 1 commit
  7. 07 Aug, 2016 2 commits
  8. 01 Aug, 2016 6 commits
  9. 29 Jul, 2016 7 commits
  10. 28 Jul, 2016 1 commit
  11. 19 Jul, 2016 1 commit
    • Kostyantyn Vorobyov's avatar
      Merge branch 'bugfix/kostyantyn/distrib' into 'master' · a944637e
      Kostyantyn Vorobyov authored
      Bugfixes in distribution and changes in tests
      
      @signoles I have rebased and updated this merge request as it has diverged significantly. 
      
      Changes:
      - Bugfixes in E-ACSL distributions. There were issues with some of the paths and the test suite in the generated distribution was not working.
      - Renamed `e-acsl-runtime` test directory to `runtime` and `e-acsl-reject` to `reject`. This is for consistency with other directories, such as `gmp`, `no-main` etc. This also makes the paths shorter. I think we have discussed these change a while ago. 
      - Updated as per changes to build process (external libraries)
      - Updates as per Boris' suggestions (variable namespace)
      
      
      
      
      See merge request !55
      a944637e