Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
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
Close sidebar
Activity
Graph
Charts
Create a new issue
Commits
Issue Boards
Open sidebar
ACG
dev
ACGtk
Issues
Open
7
Closed
14
All
21
New issue
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
Created date
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