Askar Safin

&& in the end of script or function if set -e enabled

5

Hi. I often use `set -e` in my scripts. In this mode `foo && bar` works exactly as I want: if `foo` fails, then `bar` will not be evaluated, but...

Debian GNU/Linux Stretch, soci 3.2.3-1+b1, Postgres 9.6.0-1, g++ 6.1.1, libstdc++ 6.2.0-13 i have table (say) "o" created using something like this: CREATE TABLE o (..., p bigint, a bigint) I...

Are null characters (both in accepted language and in regular expressions) allowed in libfa? It seems they are allowed, but, please, document this

Rejects this perfectly valid lens: (value "v" . del /a/ "a")|(value "w" . del /b/ "b")

2

Consider this file `a.aug`: ```text module A = let lns = (value "v" . del /a/ "a")|(value "w" . del /b/ "b") ``` I think this lens is perfectly valid....

**Describe the bug** Currently my telegram account is limited. I. e. I wrote people annoying messages, and they somehow reported that they see my behavior as wrong. So, now I...

Please, upload to vscode extension marketplace

1

Hi. I use Linux with vscode installed. I opened vscode's extension marketplace and tried to find efm-langserver there. I was unable to find it. I don't know how to make...

Tout est Terrible. Endian problems with original RFC 4122 + case problems

7

In 2013 I reported this errata to original UUID RFC (RFC 4122): https://www.rfc-editor.org/errata/eid3546 . In short, big endian / little endian are not used consistently in original RFC, so (in...

Cannot check bubblesort: internal error

2

I use master ( b7565c36809873cb5de739ab98a93d76b824aded ). I use provided Dockerfile. Here is my code: ```rust extern crate prusti_contracts; use prusti_contracts::*; fn sort(a: &mut [i32]) { let mut i = 0;...

Here is my full journey to this absolutely strange bug. I have a pretty recent rustc (`rustc 1.64.0-nightly (f8588549c 2022-07-18)`). Right now I created empty proc macro lib. I typed...

Lexer sometimes is not reversible

6

I'm using BNFC 2.9.1. Consider this .cf file: ``` EAB. Exp ::= AB; EA_B. Exp ::= A B; token A 'a'; token B 'b'; token AB 'a' ' ' 'b';...