Le support aux utilisateurs et les demandes de création de comptes externes doivent être faites depuis les issues du projet GitLab HEFR (https://gitlab.forge.hefr.ch/forge-hefr/gitlab-hefr)

  1. 17 Jul, 2020 3 commits
  2. 15 Jul, 2020 1 commit
  3. 14 Jul, 2020 2 commits
  4. 10 Jul, 2020 2 commits
  5. 09 Jul, 2020 1 commit
  6. 08 Jul, 2020 2 commits
  7. 07 Jul, 2020 2 commits
  8. 05 Jul, 2020 1 commit
  9. 04 Jul, 2020 1 commit
  10. 02 Jul, 2020 1 commit
  11. 01 Jul, 2020 3 commits
    • Tony Licata's avatar
      Can now call multiple time isHeadNode, node specialization is now working, we... · 64563b7c
      Tony Licata authored
      Can now call multiple time isHeadNode, node specialization is now working, we can now choose which method we will use to resolve the unification (see ProloGraalIsHeadNode.java)
      Added ProloGraalTerm.isBoundVariable() method, permitting to know if a term is a bound variable (previously term.isVar() would be true only if term is an unbound var)
      64563b7c
    • Tony Licata's avatar
      added pv07 · c7ae1d9a
      Tony Licata authored
      c7ae1d9a
    • Tony Licata's avatar
      changed ProloGraalClauses into Truffle nodes, added ProloGraalGenericNode class. · d30aa13c
      Tony Licata authored
      changed ProloGraalBuiltinClauses into Truffle InstrumentableNodes, but builtins are still executed by java classic overriding.
      changed ProloGraalIsBuiltin into specialized abstract class, now using ProloGraalIsBuiltinNodeGen.create to instantiate it (Truffle generated node).
      created ProloGraalTypes class to allow new ProloGraal types into node specializations, currently WIP.
      d30aa13c
  12. 26 Jun, 2020 1 commit
  13. 24 Jun, 2020 2 commits
  14. 23 Jun, 2020 1 commit
  15. 17 Jun, 2020 1 commit
  16. 05 Jun, 2020 2 commits
  17. 03 Jun, 2020 2 commits
  18. 02 Jun, 2020 1 commit
  19. 01 Jun, 2020 2 commits
  20. 27 May, 2020 5 commits
  21. 26 May, 2020 3 commits
  22. 22 May, 2020 1 commit