Andreas Abel

Practice: computer not choosing the most challenging line in lost positions

8

Note: This issue was reported on the forum several times, but to no end, see e.g. https://lichess.org/forum/lichess-feedback/bug-practice-ai-for-seventh-rank-rook-pawn-vs-a-queen-instantly-draws **Exact URL where the bug happened** https://lichess.org/practice/pawn-endgames/7th-rank-rook-pawn/pt20yRkT/RB7tMeRo **Steps to reproduce the bug** The...

```beluga LF ty : type = | base : ty | arr : (a b : ty) -> ty ; ``` ``` Uncaught exception. Please report this as a bug....

Coverage fails, but maybe should not

1

``` % Strong normalization for simply-typed lambda-calculus in Beluga LF ty : type = | base : ty | arr : ty -> ty -> ty ; %name ty A....

Meta-variable out of bounds

2

``` % Strong normalization for simply-typed lambda-calculus in Beluga LF ty : type = | base : ty | arr : ty -> ty -> ty ; %name ty A....

Substitution.LF.Error("[frontSub] mmvar undefined ")

1

``` % Strong normalization for simply-typed lambda-calculus in Beluga LF ty : type = | base : ty | arr : ty -> ty -> ty ; %name ty A....

``` % Strong normalization for simply-typed lambda-calculus in Beluga LF ty : type = | base : ty | arr : ty -> ty -> ty ; %name ty A....

``` % Strong normalization for simply-typed lambda-calculus in Beluga LF ty : type = | base : ty | arr : ty -> ty -> ty ; %name ty A....

```beluga % Strong normalization for simply-typed lambda-calculus in Beluga LF ty : type = | base : ty | arr : ty -> ty -> ty ; %name ty A....

README suggests this is just QuickCheck rebranded

2

Hi, I was passing by here and looked into your shop window (README). As QuickCheck user, I did not find anything that I not already had, so I was not...

`yyrestart` does not check whether its argument is a null pointer, it unconditionally allocates a buffer. This is then leaked if we use `yy_scan_string` (followed by `yy_delete_buffer`). This isn't fixed...