Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  1. 23 Apr, 2020 6 commits
  2. 22 Apr, 2020 2 commits
  3. 21 Apr, 2020 3 commits
  4. 20 Apr, 2020 24 commits
  5. 17 Apr, 2020 1 commit
  6. 16 Apr, 2020 2 commits
  7. 14 Apr, 2020 2 commits
    • Cláudio Belo Lourenço's avatar
      Infer bug fix. · 1910dc72
      Cláudio Belo Lourenço authored
      Sometimes Apron introduces variables from Env into the domain,
      even though they are not in the term given as contraint. Before
      the fix, variales were picked from the variable pool, but since they
      are not mapped into any term the inference was failling when
      converting domains into terms.
      This fix is just a temporary turn-around that makes Apron pick
      variables that end up being universally quantified (they are
      introduced by the quant_domain).
    • Cláudio Belo Lourenço's avatar