All issues

Search results

acsl_allocator.c does not "compile"

Status: Open.

#107 In acsl-language/acsl;

· jrochel opened on Jun 22, 2026

address-of operator and logic labels

Status: Open.

#105 In acsl-language/acsl;

· vprevosto opened on Mar 3, 2026

Unbound logic variable warning when using .. to specify array length, i.e. \valid(buckets+(0..{x})), when {x} is a global variable

Status: Open.

#96 In acsl-language/acsl;

· sabrina-reis opened on Dec 12, 2023

Clarification about label Pre

Status: Open.

#88 In acsl-language/acsl;

· AllanBlanchard opened on Sep 28, 2022

Support of 'L' suffix for floating-point literals of type long double, and D for literals of type double

feature-wish

Status: Open.

#80 In acsl-language/acsl;

· maroneze opened on Jun 4, 2021

Notation for non-finite floating-point values

Status: Open.

#78 In acsl-language/acsl;

· maroneze opened on Feb 10, 2021

type-expr is defined twice

clarification-request

Status: Open.

#75 In acsl-language/acsl;

· signoles opened on Jan 12, 2021

scope of ghost local variables

clarification-request

Status: Open.

#66 In acsl-language/acsl;

· vprevosto opened on Oct 9, 2019

ACSL++ virtual logic functions

question

Status: Open.

#65 In acsl-language/acsl;

· jensgerlach opened on Oct 3, 2019

Floating point comparison

clarification-request

Status: Open.

#46 In acsl-language/acsl;

· vprevosto opened on Apr 24, 2018

Nested axiomatic blocks

Status: Open.

#43 In acsl-language/acsl;

· vprevosto opened on Apr 9, 2018

axiomatic blocks as namepaces

feature-wish

Status: Open.

#39 In acsl-language/acsl;

· jensgerlach opened on Mar 12, 2018