Skip to content

Issues: rgrig/topl

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 29 Closed
28 Open 29 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

automate tests/infer-*
#57 opened Jan 5, 2018 by rgrig
Add an environment to the TOPL compiler.
#56 opened Dec 18, 2017 by rgrig
JVM8 dies with StackOverflow when the JDK is instrumented bug
#54 opened Jul 28, 2017 by rgrig
pattern x.* and constructors
#51 opened Jul 13, 2017 by rgrig
1
static monitor for no property
#49 opened Jun 22, 2017 by rgrig
replace barista maintanance
#48 opened May 20, 2017 by rgrig
1
webpage: videos docs
#44 opened Jul 26, 2012 by rgrig
1
make it possible to omit [*] nice-to-have
#41 opened Jul 3, 2012 by rgrig
webpage should recenter itself when window changes bug
#39 opened May 2, 2012 by rgrig
instrumented jython fails on some computers bug
#38 opened Apr 14, 2012 by rgrig
1
docs: how to try it nice-to-have
#37 opened Apr 14, 2012 by rgrig
@rgrig
1
syntax: split lines nice-to-have
#35 opened Apr 11, 2012 by rgrig
syntax highlight nice-to-have
#31 opened Apr 7, 2012 by rgrig
Parallel checker feature
#27 opened Apr 1, 2012 by rgrig
Weak references feature
#26 opened Apr 1, 2012 by rgrig
optionally warn when a non-unit transition partially matches nice-to-have
#21 opened Mar 21, 2012 by rgrig
optionally warn when a transition has an empty set of events nice-to-have
#20 opened Mar 21, 2012 by rgrig
should optimize event sets used as guards nice-to-have
#19 opened Mar 21, 2012 by rgrig
@rgrig
4
dacapo benchmarks nice-to-have
#15 opened Mar 1, 2012 by rgrig
@rgrig
5
abstraction feature
#14 opened Mar 1, 2012 by rgrig
1
approximation feature
#13 opened Mar 1, 2012 by rgrig
@rgrig
1
less verbose prefix/observe nice-to-have
#11 opened Feb 28, 2012 by rgrig
select properties from the command line nice-to-have
#10 opened Feb 28, 2012 by rgrig
Checker.java should be self contained; it should use no library
#9 opened Feb 28, 2012 by rgrig
do not instrument package topl
#8 opened Feb 28, 2012 by rgrig
ProTip! Follow long discussions with comments:>50.