Josh Essman 93ed1a410c Updates to support clingo-cffi (#20657) ... * Support clingo when used with cffi Clingo recently merged in a new Python module option based on cffi. Compatibility with this module requires a few changes to spack - it does not automatically convert strings/ints/etc to Symbol and clingo.Symbol.string throws on failure. manually convert str/int to clingo.Symbol types catch stringify exceptions add job for clingo-cffi to Spack CI switch to potassco-vendored wheel for clingo-cffi CI on_unsat argument when cffi		2021-02-23 23:46:37 +00:00
..
install_spack.sh	Fix MacOS build tests (#17542)	2020-07-20 17:25:42 -07:00
linux_build_tests.yaml	build(deps): bump actions/cache from v2 to v2.1.4 (#21529)	2021-02-08 09:57:45 +01:00
linux_unit_tests.yaml	Updates to support clingo-cffi (#20657)	2021-02-23 23:46:37 +00:00
macos_python.yml	Add testing for Python 3.9 (#19261)	2020-10-11 21:16:00 -07:00
macos_unit_tests.yaml	add mypy to style checks; rename spack flake8 to spack style (#20384)	2020-12-22 21:39:10 -08:00
setup_git.sh	Use "fetch-depth: 0" to retrieve all history from remote	2020-07-29 11:23:34 -07:00
style_and_docs.yaml	py-mypy: add v0.800 (#21386)	2021-02-04 10:00:03 -06:00