Issues

• "JayHorn in action" is archived

  jayhorn/jayhorn#153 · Filter by author shiatsumat opened on Jul 4, 2019
  1

• Unsound result for test case

  bughelp wanted
  jayhorn/jayhorn#152 · Filter by author martinschaef opened on Oct 18, 2018
  3

  

• Implement specification library

  enhancement
  jayhorn/jayhorn#146 · Filter by author rodykersten opened on Apr 17, 2017 · Tools to specify libraries

• Write models for common library classes

  enhancement
  jayhorn/jayhorn#145 · Filter by author rodykersten opened on Apr 17, 2017 · Tools to specify libraries

• Parser for our Intermediate Verification Language

  enhancementin progress
  jayhorn/jayhorn#144 · Filter by author rodykersten opened on Apr 17, 2017 · Tools to specify libraries

• Bug in ExceptionTransformer, fixed?

  in progressquestion
  jayhorn/jayhorn#143 · Filter by author rodykersten opened on Apr 13, 2017
  3

  

• Return type and receiver type don't match

  bug
  jayhorn/jayhorn#141 · Filter by author rodykersten opened on Mar 31, 2017

• Translation to CFG misses an edge

  bugready
  jayhorn/jayhorn#139 · Filter by author rodykersten opened on Feb 28, 2017
  2

  

• System.out initialization

  enhancement
  jayhorn/jayhorn#138 · Filter by author rodykersten opened on Feb 14, 2017 · Tools to specify libraries
  3

  

• Clean up generated clauses

  enhancement
  jayhorn/jayhorn#137 · Filter by author rodykersten opened on Feb 14, 2017
  

• Smt2 output by Z3/Spacer is not readable by Z3

  bug
  jayhorn/jayhorn#136 · Filter by author rodykersten opened on Feb 14, 2017
  

• Analysis imprecise for args.length

  jayhorn/jayhorn#130 · Filter by author martinschaef opened on Jan 14, 2017
  

• Multi-dimensional arrays with the new array model

  enhancementready
  jayhorn/jayhorn#129 · Filter by author rodykersten opened on Jan 12, 2017
  

• Implement Mix-Semantics

  jayhorn/jayhorn#125 · Filter by author lememta opened on Jan 6, 2017
  

• SatArrayInit Eldarica time-out

  bugready
  jayhorn/jayhorn#117 · Filter by author rodykersten opened on Dec 23, 2016
  2

  

• Add context sensitive points to analysis

  enhancement
  jayhorn/jayhorn#79 · Filter by author rodykersten opened on Sep 18, 2016 · More precise memory model
  

• Generate meaningful output when assertions might be violated

  enhancementin progress
  jayhorn/jayhorn#63 · Filter by author pruemmer opened on Sep 15, 2016
  1

  

• Handle non-linear constraints

  enhancementin progress
  jayhorn/jayhorn#48 · Filter by author rodykersten opened on Sep 6, 2016 · JayHorn for complexity proofs
  5

  

• Potentially buggy bytecode transformation

  ready
  jayhorn/jayhorn#31 · Filter by author martinschaef opened on Aug 25, 2016 · Testable Transformations
  3