rgrig/topl

Issues

• Print PRECONDITION_NOT_MET only if it leads to loss of specs.

  #53 opened 7 years ago by rgrig
  1

• automate tests/infer-*

  #57 opened 7 years ago by rgrig
  0

• Provide aliasing hints for infer.

  #55 opened 7 years ago by rgrig
  4

• Add an environment to the TOPL compiler.

  #56 opened 7 years ago by rgrig
  0

• JVM8 dies with StackOverflow when the JDK is instrumented

  #54 opened 7 years ago by rgrig
  0

• jdk instrumentation

  #42 opened 7 years ago by rgrig
  3

• For static analysis, start automaton in state 0.

  #52 opened 7 years ago by rgrig
  0

• pattern x.* and constructors

  #51 opened 7 years ago by rgrig
  1

• wrong arg names generated for static monitor

  #50 opened 7 years ago by rgrig
  0

• fails with bytecode from java 8

  #47 opened 7 years ago by rgrig
  1

• static monitor for no property

  #49 opened 7 years ago by rgrig
  0

• tests longarg and self fail with java.lang.VerifyError

  #46 opened 7 years ago by rgrig
  1

• replace barista

  #48 opened 8 years ago by rgrig
  1

• webpage: videos

  #44 opened 12 years ago by rgrig
  1

• don't try to instrument package-info.class

  #45 opened 10 years ago by rgrig
  0

• the directories in Config should be a fallback

  #40 opened 10 years ago by rgrig
  1

• return events aren't always emitted

  #43 opened 12 years ago by rgrig
  0

• make it possible to omit [*]

  #41 opened 12 years ago by rgrig
  0

• docs: how to try it

  #37 opened 13 years ago by rgrig
  1

• instrumented jython fails on some computers

  #38 opened 13 years ago by rgrig
  1

• webpage should recenter itself when window changes

  #39 opened 13 years ago by rgrig
  0

• should optimize event sets used as guards

  #19 opened 13 years ago by rgrig
  4

• dacapo benchmarks

  #15 opened 13 years ago by rgrig
  5

• capture call-stack traces

  #33 opened 13 years ago by rgrig
  1

• Stack_overflow with many events

  #36 opened 13 years ago by rgrig
  0

• syntax: split lines

  #35 opened 13 years ago by rgrig
  0

• Property.java grows too large

  #34 opened 13 years ago by rgrig
  0

• approximation

  #13 opened 13 years ago by rgrig
  1

• constrain arity when receiver object is mentioned

  #32 opened 13 years ago by rgrig
  0

• NullPointerException in evaluating guard

  #29 opened 13 years ago by rgrig
  0

• enable static checks on properties

  #30 opened 13 years ago by rgrig
  0

• syntax highlight

  #31 opened 13 years ago by rgrig
  0

• value initialized by constructors

  #25 opened 13 years ago by rgrig
  6

• long values shoud use DUP2, not DUP

  #28 opened 13 years ago by rgrig
  0

• Parallel checker

  #27 opened 13 years ago by rgrig
  0

• Weak references

  #26 opened 13 years ago by rgrig
  0

• multiple properties

  #24 opened 13 years ago by rgrig
  3

• put event names and vertex names in Property.java

  #23 opened 13 years ago by rgrig
  1

• error trace

  #17 opened 13 years ago by rgrig
  0

• follow inheritance chains to interfaces

  #22 opened 13 years ago by rgrig
  2

• Checker.java should be self contained; it should use no library

  #9 opened 13 years ago by rgrig
  0

• truncate traces

  #18 opened 13 years ago by rgrig
  0

• optionally warn when a non-unit transition partially matches

  #21 opened 13 years ago by rgrig
  0

• optionally warn when a transition has an empty set of events

  #20 opened 13 years ago by rgrig
  0

• abstraction

  #14 opened 13 years ago by rgrig
  1

• bug: instrumentation of long/double

  #16 opened 13 years ago by rgrig
  0

• instrumented constructors fail JVM verification

  #12 opened 13 years ago by rgrig
  2

• less verbose prefix/observe

  #11 opened 13 years ago by rgrig
  0

• select properties from the command line

  #10 opened 13 years ago by rgrig
  0

• do not instrument package topl

  #8 opened 13 years ago by rgrig
  0