amelieled

Hierarchy of tests

6

This PR is about the hierarchy of tests (Issue #487 ). More details should be discussed.

Just to delete 3 functions (and test the new CI).

What if type-checking does not terminate in LSP? How to interrupt?

33

I've got a problem between the CPU and the lambdapi. I don't know why, but when I opened the file "tp2. lp" (see below), automatically, this process uses 100% of...

Update syntax.bnf + make bnf

3

This PR updates `make bnf` and the generation of the file `syntax.bnf`. (Fix #260 )

Improving understanding of error `Uncaught [(Failure int_of_string)]`

2

This LP file: ``` symbol SortK : TYPE; symbol δ : SortK → TYPE; symbol SortInt : SortK; symbol zero : δ SortInt; symbol succ : δ SortInt → δ...

Unable to compile the x86-64 semantics

3

Hi, I have an issue while compiling the x86-64 semantics. The file `x86-instructions-semantics.k` is missing and was deleted in commit 270f59f78c9cbbd6b00fbec96b96317b8878be26.

The files `theories/hol/hol_sttfa.dk` and `interoperability/hol_sttfa/hol_sttfa.dk` are very close. Is this just an impression? Can I delete one of them?

Recently, I obtained this error: ``` pa_ocaml src/core/parser.pp.ml (exit 2) (cd _build/default && ~/.opam/default/bin/pa_ocaml src/core/parser.ml) > _build/default/src/core/parser.pp.ml Fatal error: exception Earley_ocaml.Pa_lexing.Unclosed_comment(1, _, 34) make: *** [GNUmakefile:10: bin] Error 1 ```...

Case of references in several subdivided bibliographies

10

Hi, I would like to write a document with several chapters, and where each chapter has its own subdivided bibliography. It is therefore quite possible for a reference to be...