Search results

"JayHorn in action" is archived

Status: Open.

#153 In jayhorn/jayhorn;

· shiatsumat opened on Jul 4, 2019

Unsound result for test case

bug

help wanted

Status: Open.

#152 In jayhorn/jayhorn;

· martinschaef opened on Oct 18, 2018

Implement specification library

enhancement

Status: Open.

#146 In jayhorn/jayhorn;

· rodykersten opened on Apr 17, 2017

·  

Tools to specify libraries

Write models for common library classes

enhancement

Status: Open.

#145 In jayhorn/jayhorn;

· rodykersten opened on Apr 17, 2017

·  

Tools to specify libraries

Parser for our Intermediate Verification Language

enhancement

in progress

Status: Open.

#144 In jayhorn/jayhorn;

· rodykersten opened on Apr 17, 2017

·  

Tools to specify libraries

Bug in ExceptionTransformer, fixed?

in progress

question

Status: Open.

#143 In jayhorn/jayhorn;

· rodykersten opened on Apr 13, 2017

Return type and receiver type don't match

bug

Status: Open.

#141 In jayhorn/jayhorn;

· rodykersten opened on Mar 31, 2017

Translation to CFG misses an edge

bug

ready

Status: Open.

#139 In jayhorn/jayhorn;

· rodykersten opened on Feb 28, 2017

System.out initialization

enhancement

Status: Open.

#138 In jayhorn/jayhorn;

· rodykersten opened on Feb 14, 2017

·  

Tools to specify libraries

Clean up generated clauses

enhancement

Status: Open.

#137 In jayhorn/jayhorn;

· rodykersten opened on Feb 14, 2017

Smt2 output by Z3/Spacer is not readable by Z3

bug

Status: Open.

#136 In jayhorn/jayhorn;

· rodykersten opened on Feb 14, 2017

Analysis imprecise for args.length

Status: Open.

#130 In jayhorn/jayhorn;

· martinschaef opened on Jan 14, 2017