1. 24 Sep, 2020 9 commits
  2. 23 Sep, 2020 4 commits
  3. 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 !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
  4. 14 Sep, 2020 1 commit
  5. 11 Sep, 2020 6 commits
  6. 10 Sep, 2020 5 commits
  7. 09 Sep, 2020 3 commits
  8. 08 Sep, 2020 1 commit
    • Yannick Moy's avatar
      T824-034 Add support for 128-bit bitvectors · f9c46976
      Yannick Moy authored
      This entails creating the modules for conversions between these and smaller
      bitvectors, as well as to the larger (and newly created) 256-bit bitvector
      for verifying absence of overflows on operations over 128-bit bitvectors.
      
      Change-Id: I6089b63b7c37c6cc6b00ab13795e2edeb8b048df
      f9c46976
  9. 05 Sep, 2020 9 commits