Sven Keidel

Feature Request: Lambda Calculus Notation

7

Hi James, thanks for creating this language, this is a great idea! I would like to propose a new feature. Currently, functions written in point-free style are quite hard to...

Upload to Hackage

1

Hi Patrick, nice library. Would you consider uploading your library to Hackage? This would make it a lot easier for others to use it. Best, Sven

Missing json attributes in regional_settings.json

1

Hello, The newest version of catacylsm (https://github.com/CleverRaven/Cataclysm-DDA/commit/9d29bfe691387c7273c41b451e081c5c9b5d3b1a) requires the attributes "house_basement_chance" and "basements" in regional_settings.json. Without these attributes the game world does not load. I copied the default attributes from...

Code coverage instrumentation crashes without a stack trace.

4

Hi, thanks for the great work! I tried instrumenting all classes in the JDK with `--instrumentation_includes=java.**`. However, during instrumentation jazzer crashes without a stack trace: ``` ... IINFO: Instrumented java.lang.CharSequence...

Segfaults in Java bindings

2

Hi, thank you for your hard work maintaining this library :+1: I encountered several segfaults when using the Java interface of Elina. The first is in file https://github.com/eth-sri/ELINA/blob/master/java_interface/elina/Test.java. The segfault...

Hello Antoine, I encountered an issue when checking if a constraint is, or is not satisfiable: ```java Environment env = new Environment(); Manager manager = new Polka(true); Abstract1 abs1 =...

Assigning Multiple Real Variables at Once Results in Bottom Octagon

1

Hello Antoine, Thanks for your great support of Apron! I encountered this case where setting multiple real variables at once results in the bottom octagon: ```java String[] vars = {"a",...