rgrig/topl issues and pull requests

#61 - Quantifier elimination

Pull Request - State: open - Opened by bunu over 4 years ago

#61 - Quantifier elimination

Pull Request - State: open - Opened by bunu over 4 years ago

#60 - Quantifier elimination

Pull Request - State: closed - Opened by bunu over 4 years ago

#60 - Quantifier elimination

Pull Request - State: closed - Opened by bunu over 4 years ago

#59 - Changes for Single Point Instrumentation

Pull Request - State: closed - Opened by bunu over 4 years ago - 1 comment

#59 - Changes for Single Point Instrumentation

Pull Request - State: closed - Opened by bunu over 4 years ago - 1 comment

#58 - Move instrumentation to call site

Pull Request - State: closed - Opened by bunu over 5 years ago - 1 comment

#58 - Move instrumentation to call site

Pull Request - State: closed - Opened by bunu over 5 years ago - 1 comment

#57 - automate tests/infer-*

Issue - State: open - Opened by rgrig about 7 years ago

#57 - automate tests/infer-*

Issue - State: open - Opened by rgrig about 7 years ago

#56 - Add an environment to the TOPL compiler.

Issue - State: open - Opened by rgrig about 7 years ago

#56 - Add an environment to the TOPL compiler.

Issue - State: open - Opened by rgrig about 7 years ago

#55 - Provide aliasing hints for infer.

Issue - State: closed - Opened by rgrig about 7 years ago - 4 comments
Labels: feature

#55 - Provide aliasing hints for infer.

Issue - State: closed - Opened by rgrig about 7 years ago - 4 comments
Labels: feature

#54 - JVM8 dies with StackOverflow when the JDK is instrumented

Issue - State: open - Opened by rgrig over 7 years ago
Labels: bug

#54 - JVM8 dies with StackOverflow when the JDK is instrumented

Issue - State: open - Opened by rgrig over 7 years ago
Labels: bug

#53 - Print PRECONDITION_NOT_MET only if it leads to loss of specs.

Issue - State: closed - Opened by rgrig over 7 years ago - 1 comment

#53 - Print PRECONDITION_NOT_MET only if it leads to loss of specs.

Issue - State: closed - Opened by rgrig over 7 years ago - 1 comment

#52 - For static analysis, start automaton in state 0.

Issue - State: closed - Opened by rgrig over 7 years ago

#52 - For static analysis, start automaton in state 0.

Issue - State: closed - Opened by rgrig over 7 years ago

#51 - pattern x.* and constructors

Issue - State: open - Opened by rgrig over 7 years ago - 1 comment

#51 - pattern x.* and constructors

Issue - State: open - Opened by rgrig over 7 years ago - 1 comment

#50 - wrong arg names generated for static monitor

Issue - State: closed - Opened by rgrig over 7 years ago

#50 - wrong arg names generated for static monitor

Issue - State: closed - Opened by rgrig over 7 years ago

#49 - static monitor for no property

Issue - State: open - Opened by rgrig over 7 years ago

#49 - static monitor for no property

Issue - State: open - Opened by rgrig over 7 years ago

#48 - replace barista

Issue - State: open - Opened by rgrig over 7 years ago - 1 comment
Labels: maintanance

#48 - replace barista

Issue - State: open - Opened by rgrig over 7 years ago - 1 comment
Labels: maintanance

#47 - fails with bytecode from java 8

Issue - State: closed - Opened by rgrig over 8 years ago - 1 comment
Labels: bug

#47 - fails with bytecode from java 8

Issue - State: closed - Opened by rgrig over 8 years ago - 1 comment
Labels: bug

#46 - tests longarg and self fail with java.lang.VerifyError

Issue - State: closed - Opened by rgrig almost 9 years ago - 1 comment
Labels: bug

#46 - tests longarg and self fail with java.lang.VerifyError

Issue - State: closed - Opened by rgrig almost 9 years ago - 1 comment
Labels: bug

#45 - don't try to instrument package-info.class

Issue - State: closed - Opened by rgrig over 10 years ago
Labels: nice-to-have

#45 - don't try to instrument package-info.class

Issue - State: closed - Opened by rgrig over 10 years ago
Labels: nice-to-have

#44 - webpage: videos

Issue - State: open - Opened by rgrig over 12 years ago - 1 comment
Labels: docs

#44 - webpage: videos

Issue - State: open - Opened by rgrig over 12 years ago - 1 comment
Labels: docs

#43 - return events aren't always emitted

Issue - State: closed - Opened by rgrig over 12 years ago

#43 - return events aren't always emitted

Issue - State: closed - Opened by rgrig over 12 years ago

#42 - jdk instrumentation

Issue - State: closed - Opened by rgrig over 12 years ago - 3 comments
Labels: nice-to-have

#42 - jdk instrumentation

Issue - State: closed - Opened by rgrig over 12 years ago - 3 comments
Labels: nice-to-have

#41 - make it possible to omit [*]

Issue - State: open - Opened by rgrig over 12 years ago
Labels: nice-to-have

#41 - make it possible to omit [*]

Issue - State: open - Opened by rgrig over 12 years ago
Labels: nice-to-have

#40 - the directories in Config should be a fallback

Issue - State: closed - Opened by rgrig almost 13 years ago - 1 comment
Labels: bug

#39 - webpage should recenter itself when window changes

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: bug

#39 - webpage should recenter itself when window changes

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: bug

#38 - instrumented jython fails on some computers

Issue - State: open - Opened by rgrig almost 13 years ago - 1 comment
Labels: bug

#38 - instrumented jython fails on some computers

Issue - State: open - Opened by rgrig almost 13 years ago - 1 comment
Labels: bug

#37 - docs: how to try it

Issue - State: open - Opened by rgrig almost 13 years ago - 1 comment
Labels: nice-to-have

#37 - docs: how to try it

Issue - State: open - Opened by rgrig almost 13 years ago - 1 comment
Labels: nice-to-have

#36 - Stack_overflow with many events

Issue - State: closed - Opened by rgrig almost 13 years ago

#35 - syntax: split lines

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#34 - Property.java grows too large

Issue - State: closed - Opened by rgrig almost 13 years ago

#33 - capture call-stack traces

Issue - State: closed - Opened by rgrig almost 13 years ago - 1 comment

#33 - capture call-stack traces

Issue - State: closed - Opened by rgrig almost 13 years ago - 1 comment

#32 - constrain arity when receiver object is mentioned

Issue - State: closed - Opened by rgrig almost 13 years ago

#31 - syntax highlight

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#31 - syntax highlight

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#30 - enable static checks on properties

Issue - State: closed - Opened by rgrig almost 13 years ago

#30 - enable static checks on properties

Issue - State: closed - Opened by rgrig almost 13 years ago

#29 - NullPointerException in evaluating guard

Issue - State: closed - Opened by rgrig almost 13 years ago

#29 - NullPointerException in evaluating guard

Issue - State: closed - Opened by rgrig almost 13 years ago

#28 - long values shoud use DUP2, not DUP

Issue - State: closed - Opened by rgrig almost 13 years ago

#28 - long values shoud use DUP2, not DUP

Issue - State: closed - Opened by rgrig almost 13 years ago

#27 - Parallel checker

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: feature

#27 - Parallel checker

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: feature

#26 - Weak references

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: feature

#26 - Weak references

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: feature

#25 - value initialized by constructors

Issue - State: closed - Opened by rgrig almost 13 years ago - 6 comments

#25 - value initialized by constructors

Issue - State: closed - Opened by rgrig almost 13 years ago - 6 comments

#24 - multiple properties

Issue - State: closed - Opened by rgrig almost 13 years ago - 3 comments

#24 - multiple properties

Issue - State: closed - Opened by rgrig almost 13 years ago - 3 comments

#23 - put event names and vertex names in Property.java

Issue - State: closed - Opened by rgrig almost 13 years ago - 1 comment

#23 - put event names and vertex names in Property.java

Issue - State: closed - Opened by rgrig almost 13 years ago - 1 comment

#22 - follow inheritance chains to interfaces

Issue - State: closed - Opened by rgrig almost 13 years ago - 2 comments

#22 - follow inheritance chains to interfaces

Issue - State: closed - Opened by rgrig almost 13 years ago - 2 comments

#21 - optionally warn when a non-unit transition partially matches

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#21 - optionally warn when a non-unit transition partially matches

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#20 - optionally warn when a transition has an empty set of events

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#20 - optionally warn when a transition has an empty set of events

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#19 - should optimize event sets used as guards

Issue - State: open - Opened by rgrig almost 13 years ago - 4 comments
Labels: nice-to-have

#19 - should optimize event sets used as guards

Issue - State: open - Opened by rgrig almost 13 years ago - 4 comments
Labels: nice-to-have

#18 - truncate traces

Issue - State: closed - Opened by rgrig almost 13 years ago

#18 - truncate traces

Issue - State: closed - Opened by rgrig almost 13 years ago

#17 - error trace

Issue - State: closed - Opened by rgrig almost 13 years ago

#17 - error trace

Issue - State: closed - Opened by rgrig almost 13 years ago

#16 - bug: instrumentation of long/double

Issue - State: closed - Opened by rgrig almost 13 years ago

#16 - bug: instrumentation of long/double

Issue - State: closed - Opened by rgrig almost 13 years ago

#15 - dacapo benchmarks

Issue - State: open - Opened by rgrig almost 13 years ago - 5 comments
Labels: nice-to-have

#14 - abstraction

Issue - State: open - Opened by rgrig almost 13 years ago - 1 comment
Labels: feature

#13 - approximation

Issue - State: open - Opened by rgrig almost 13 years ago - 1 comment
Labels: feature

#12 - instrumented constructors fail JVM verification

Issue - State: closed - Opened by rgrig almost 13 years ago - 2 comments

#11 - less verbose prefix/observe

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#10 - select properties from the command line

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#9 - Checker.java should be self contained; it should use no library

Issue - State: open - Opened by rgrig almost 13 years ago

#8 - do not instrument package topl

Issue - State: open - Opened by rgrig almost 13 years ago

#7 - syntax for static methods

Issue - State: closed - Opened by rgrig almost 13 years ago - 1 comment

#6 - optionally warn for matching but not observed methods

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: nice-to-have

#5 - higher order properties

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: feature

#4 - dependencies between properties

Issue - State: open - Opened by rgrig almost 13 years ago
Labels: feature

#3 - produce toplc

Issue - State: closed - Opened by rgrig almost 13 years ago - 1 comment

GitHub / rgrig/topl issues and pull requests