search

ciao-lang / ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
https://ciao-lang.org
GNU Lesser General Public License v3.0
264 stars 20 forks source link

more ISO compatibility issues #48

Open jfmc opened 2 years ago

jfmc commented 2 years ago

http://www.complang.tuwien.ac.at/ulrich/ciao-prolog/

pmoura commented 2 years ago

Yesterday, I created a setup-ciao-prolog GitHub action. Together with a compliance testing workflow, it's now possible and easy to create a setup for this repo where Logtalk's standards compliance test suite run e.g. when commits are pushed. The workflow can also automatically publish test results reports and create bug reports. For an example see the Trealla Prolog repo and its setup plus its reports.

jfmc commented 2 years ago

That is awesome Paulo. Thank you! We'll setup as soon as possible.

pmoura commented 2 years ago

For automatic bug report creation, see the documentation of the issue_creator tool and the man page of the testing automation script. After the bug reports are created, they will not be duplicated by subsequent commits as long as the title and labels are kept (adding additional labels is fine).