Florian Schanda

icon company NVIDIA icon location Germany icon location Formal methods and static analysis expert

Results 72 issues of Florian Schanda

2019b change to function precedence order

https://uk.mathworks.com/help/matlab/matlab_prog/upgrade-code-for-r2019b-changes-to-function-precedence-order.html Previously this printed 1 and 2: ``` function myfunc local(1); % local is a function local = 2; disp(local); end function local(x) disp(x) end ``` This now errors: ```...

difficulty: high
component: parser
component: sem

unsound answer on wintersteiger

1 comment

Hi, benchmark wintersteiger/min/min-has-solution-13472.smt2 produces the wrong answer when using the benchmark conversion script from https://gitlab.com/OCamlPro-Iguernlala/Three-Tier-FPA-Benchs/tree/master/translators/fp-smt2-to-why3 I am not sure if its an issue with the translator or alt-ergo as I...

Issues with OAuth2

3 comment

I'm trying to connect my our corporate email that is hosted on outlook.office365.com. Nothing I try seems to work, and the error messages are not overly descriptive. All I get...

expose mh_trace options in config

component: core
tool: mh_trace

new variadic function one_of

It occurred to me that it would be convenient to have a new function `one_of`. For example: ```trlc type T { a optional Integer b optional Integer c optional Integer...

topic: LRM
topic: core

add vcg check for checks that are always false

topic: analysis
good first issue

new linter check to find duplicate types

People love to copy-paste

large
topic: analysis
good first issue

linter should not include frozen components in counter-example

topic: analysis
good first issue

see if we can unify implicit_null and null_literal

topic: core
large

remove deprecated feature: check files

topic: LRM
topic: core
topic: analysis
topic: API
good first issue