Issues · ACG / dev / ACGtk · GitLab

[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