Ioannis Filippidis
Ioannis Filippidis
`gitcheck` on the command line leaves pink as the terminal's text color. This is with `gitcheck == 0.3.22` within `GNU bash, version 4.4.11(1)-release (x86_64-pc-linux-gnu)` on a `Debian 4.9.18-1 (2017-03-30) x86_64...
The color theme appears to be loaded from the python file [`~/mygitcheck.py`](https://github.com/badele/gitcheck/blob/48a7a2323c48bdbc00f35eafae9c14af83792fce/gitcheck/gitcheck.py#L32). This means execution of arbitrary code from outside `site-packages` (which could be a root installation). It seems to...
- BUG: correct quoting of environment-variable values in the script `setup_shell_env.py`, to avoid errors in CI workflow of `release.yml`. - run workflow of file `.github/workflows/release.yml` whenever the file changes, and...
In constant quantification, either: - all declarees are bounded, or - all declarees are unbounded. In function definitions, all declarees are bounded. Tests also that in function constructors, all declarees...
- extend the syntax-tree to represent tuply declarations - add traversals for concrete syntax trees (trees that have tuply declarations) to the modules: - `E_visit` - `P_visit` - add functions...
These changes include: - convert the TLAPS website sources from HTML to Markdown. The conversion from Markdown to HTML is now done using [`pandoc`](https://pandoc.org). A little HTML remains here and...
Formatting of modules that convert operator references, and expand subexpression references.
These changes serialize the abstract syntax tree as JSON.
The automatic theorem prover [`cvc5`](https://cvc5.github.io) for SMT problems is the successor of [CVC4](https://cvc4.github.io/). Currently, `tlapm` can call CVC4: https://github.com/tlaplus/tlapm/blob/3543f7f322187d625028e5597728dd91e3e7fccc/library/TLAPS.tla#L43-L54 - consider adding a proof directive named `CVC` (without a specific...
The page ["Building a Python Project"](https://docs.travis-ci.com/user/languages/python/) lists archives that are available for installation, in the section ["Python versions"](https://docs.travis-ci.com/user/languages/python/#python-versions). This table appears to list archives sorted by Python version, so that...