Issues · ACG / dev / ACGtk · GitLab

[DL_PARSER] Going menhir and weighted latent-annotated Datalog

#23 · created Feb 04, 2021 by LUDMANN Pierre
- 2
updated Feb 05, 2021
[Fatal error] exception DatalogLib__UnionFind.StoreAsMap.Store_Not_found

#20 · created Jan 24, 2019 by LUDMANN Pierre
- 2
updated Feb 05, 2021
Parametrize "show" so that only the root of tree showing the combination is shown

#16 · created 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 · created Oct 05, 2018 by POGODALLA Sylvain acgc critical
- 0
updated Oct 05, 2018
"This term is not in normal form" ; so what ?

#10 · created Jul 05, 2018 by LUDMANN Pierre
- 0
updated Jul 05, 2018
latin1 characters make acg raise an exception with the realize command

#8 · created Jul 04, 2018 by POGODALLA Sylvain acg bug critical
- 0
updated Jul 04, 2018
[Feature] Gitlab Page

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