rgrig topl issues - Githubissues

rgrig / topl

TOPL Runtime Verifier

5 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Quantifier elimination

#61 bunu opened 4 years ago
0
Quantifier elimination

#60 bunu closed 4 years ago
0
Changes for Single Point Instrumentation

#59 bunu closed 4 years ago
1
Move instrumentation to call site

#58 bunu closed 5 years ago
1
automate tests/infer-*

#57 rgrig opened 6 years ago
0
Add an environment to the TOPL compiler.

#56 rgrig opened 6 years ago
0
Provide aliasing hints for infer.

#55 rgrig closed 6 years ago
4
JVM8 dies with StackOverflow when the JDK is instrumented

#54 rgrig opened 7 years ago
0
Print PRECONDITION_NOT_MET only if it leads to loss of specs.

#53 rgrig closed 6 years ago
1
For static analysis, start automaton in state 0.

#52 rgrig closed 7 years ago
0
pattern x.* and constructors

#51 rgrig opened 7 years ago
1
wrong arg names generated for static monitor

#50 rgrig closed 7 years ago
0
static monitor for no property

#49 rgrig opened 7 years ago
0
replace barista

#48 rgrig opened 7 years ago
1
fails with bytecode from java 8

#47 rgrig closed 7 years ago
1
tests longarg and self fail with java.lang.VerifyError

#46 rgrig closed 7 years ago
1
don't try to instrument package-info.class

#45 rgrig closed 10 years ago
0
webpage: videos

#44 rgrig opened 12 years ago
1
return events aren't always emitted

#43 rgrig closed 12 years ago
0
jdk instrumentation

#42 rgrig closed 7 years ago
3
make it possible to omit [*]

#41 rgrig opened 12 years ago
0
the directories in Config should be a fallback

#40 rgrig closed 10 years ago
1
webpage should recenter itself when window changes

#39 rgrig opened 12 years ago
0
instrumented jython fails on some computers

#38 rgrig opened 12 years ago
1
docs: how to try it

#37 rgrig opened 12 years ago
1
Stack_overflow with many events

#36 rgrig closed 12 years ago
0
syntax: split lines

#35 rgrig opened 12 years ago
0
Property.java grows too large

#34 rgrig closed 12 years ago
0
capture call-stack traces

#33 rgrig closed 12 years ago
1
constrain arity when receiver object is mentioned

#32 rgrig closed 12 years ago
0
syntax highlight

#31 rgrig opened 12 years ago
0
enable static checks on properties

#30 rgrig closed 12 years ago
0
NullPointerException in evaluating guard

#29 rgrig closed 12 years ago
0
long values shoud use DUP2, not DUP

#28 rgrig closed 12 years ago
0
Parallel checker

#27 rgrig opened 12 years ago
0
Weak references

#26 rgrig opened 12 years ago
0
value initialized by constructors

#25 rgrig closed 12 years ago
6
multiple properties

#24 rgrig closed 12 years ago
3
put event names and vertex names in Property.java

#23 rgrig closed 12 years ago
1
follow inheritance chains to interfaces

#22 rgrig closed 12 years ago
2
optionally warn when a non-unit transition partially matches

#21 rgrig opened 12 years ago
0
optionally warn when a transition has an empty set of events

#20 rgrig opened 12 years ago
0
should optimize event sets used as guards

#19 rgrig opened 12 years ago
4
truncate traces

#18 rgrig closed 12 years ago
0
error trace

#17 rgrig closed 12 years ago
0
bug: instrumentation of long/double

#16 rgrig closed 12 years ago
0
dacapo benchmarks

#15 rgrig opened 12 years ago
5
abstraction

#14 rgrig opened 12 years ago
1
approximation

#13 rgrig opened 12 years ago
1
instrumented constructors fail JVM verification

#12 rgrig closed 12 years ago
2