Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Support
    • Submit feedback
    • Contribute to GitLab
  • Sign in
A
ACGtk
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 7
    • Issues 7
    • List
    • Boards
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • Packages
    • Packages
    • Container Registry
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Commits
  • Issue Boards
  • ACG
  • dev
  • ACGtk
  • Issues

  • Open 7
  • Closed 14
  • All 21
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • [documentation] nl_lexicon not documented
    #1 · opened Apr 13, 2018 by POGODALLA Sylvain
    • CLOSED
    • 0
    updated May 29, 2018
  • [Markdown] Year Copyright 2018
    #2 · opened Jul 03, 2018 by GUILLAUME Maxime   enhancement
    • CLOSED
    • 0
    updated Aug 14, 2018
  • [Markdown] duplicate readme in examples
    #3 · opened Jul 03, 2018 by GUILLAUME Maxime   documentation
    • CLOSED
    • 1
    updated Aug 14, 2018
  • [Realize] Throw an exception when the abstract signatures are not the same
    #4 · opened Jul 03, 2018 by GUILLAUME Maxime   acg bug confirmed critical
    • CLOSED
    • 1
    updated Aug 14, 2018
  • [Feature] Gitlab Page
    #5 · opened Jul 03, 2018 by GUILLAUME Maxime   documentation suggestion
    • 0
    updated Jul 04, 2018
  • [Acgc] Bug output specification
    #6 · opened Jul 04, 2018 by GUILLAUME Maxime   acgc bug confirmed
    • CLOSED
    • 0
    updated Aug 14, 2018
  • Remove lookup of other solutions when there is none
    #7 · opened Jul 04, 2018 by POGODALLA Sylvain   acg enhancement suggestion
    • CLOSED
    • 0
    updated Oct 05, 2018
  • latin1 characters make acg raise an exception with the realize command
    #8 · opened Jul 04, 2018 by POGODALLA Sylvain   acg bug critical
    • 0
    updated Jul 04, 2018
  • Bad exception and error handling on parsing on syntax error for command check/realize/parse...
    #9 · opened Jul 04, 2018 by POGODALLA Sylvain   acg bug confirmed
    • CLOSED
    • 0
    updated Oct 05, 2018
  • "This term is not in normal form" ; so what ?
    #10 · opened Jul 05, 2018 by LUDMANN Pierre
    • 0
    updated Jul 05, 2018
  • Broken links on the ACG page
    #11 · opened Jul 05, 2018 by POGODALLA Sylvain   documentation
    • CLOSED
    • 2
    updated Feb 01, 2019
  • print command leads to fatal error
    #12 · opened Jul 09, 2018 by LUDMANN Pierre
    • CLOSED
    • 1
    updated Oct 05, 2018
  • " with " reserved identifier
    #13 · opened Jul 09, 2018 by GUILLAUME Maxime
    • CLOSED
    • 1
    updated Oct 03, 2018
  • [Compilation] Error while compiling acgtk.1.4.0
    #14 · opened Aug 10, 2018 by GUILLAUME Maxime
    • CLOSED
    • 0
    updated Aug 14, 2018
  • Problem with generated datalog predicates when an abstract type and an object constant have the same name
    #15 · opened Oct 05, 2018 by POGODALLA Sylvain   acgc critical
    • 0
    updated Oct 05, 2018
  • Parametrize "show" so that only the root of tree showing the combination is shown
    #16 · opened Oct 05, 2018 by POGODALLA Sylvain   acg suggestion
    • 0
    updated Oct 05, 2018
  • [BETA Testing] Error while compiling acgtk.1.5.0
    #17 · opened Oct 15, 2018 by Maxime GUILLAUME
    • CLOSED
    • 8
    updated Oct 18, 2018
  • [Acg Query Command] wrong user message.
    #18 · opened Jan 13, 2019 by Maxime GUILLAUME
    • CLOSED
    • 0
    updated Jan 31, 2019
  • [Acgtk Testing] Gathering sources error
    #19 · opened Jan 13, 2019 by Maxime GUILLAUME
    • CLOSED
    • 2
    updated Jan 30, 2019
  • [Fatal error] exception DatalogLib__UnionFind.StoreAsMap.Store_Not_found
    #20 · opened Jan 24, 2019 by LUDMANN Pierre
    • 1
    updated Jan 30, 2019
  • Prev
  • 1
  • 2
  • Next