1. 07 Oct, 2020 2 commits
  2. 05 Oct, 2020 13 commits
  3. 01 Oct, 2020 5 commits
  4. 24 Sep, 2020 9 commits
  5. 23 Sep, 2020 4 commits
  6. 17 Sep, 2020 2 commits
    • MARCHE Claude's avatar
      Merge branch... · 01b5113c
      MARCHE Claude authored
      Merge branch '501-dependency-issues-and-annoying-compilation-warning-with-the-cfg-parser' into 'master'
      
      Resolve "dependency issues and annoying compilation warnings with the CFG parser"
      
      Closes #501
      
      See merge request why3/why3!395
      01b5113c
    • MARCHE Claude's avatar
      Fix minor issues regarding shared Menhir grammar files · c9e0eb5a
      MARCHE Claude authored
      - fix Makefile dependency to force recompilation of `cfg_parser` when
        `parser_common` is changed
      
      - no more warning on unused `add_record_projections`
      
      - fix other menhir warnings, in particular put some rules out
        of `parser_common` because they are not shared
      
      - allow defining a `theory` in a cfg file
      c9e0eb5a
  7. 14 Sep, 2020 1 commit
  8. 11 Sep, 2020 4 commits