Issues · ACG / dev / ACGtk · GitLab

[Règle Datalog] Syntaxe abstraite conflit de positionnement des sous-buts

#21 · opened Jun 11, 2019 by Maxime GUILLAUME
- 2
updated Jul 24, 2019
[Fatal error] exception DatalogLib__UnionFind.StoreAsMap.Store_Not_found

#20 · opened Jan 24, 2019 by LUDMANN Pierre
- 1
updated Jan 30, 2019
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
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
"This term is not in normal form" ; so what ?

#10 · opened Jul 05, 2018 by LUDMANN Pierre
- 0
updated Jul 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
[Feature] Gitlab Page

#5 · opened Jul 03, 2018 by GUILLAUME Maxime documentation suggestion
- 0
updated Jul 04, 2018