Search results

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 <code>D</code> 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

Should we define base\_addr and block\_length on null ?

semantics-change

Status: Open.

#37 In acsl-language/acsl;

· davidcok opened on Mar 8, 2018

shadowing behavior ids

clarification-request

Status: Open.

#35 In acsl-language/acsl;

· davidcok opened on Mar 8, 2018