Skip to content

Issues: ModelInference/texada

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

25 Open 60 Closed
25 Open 60 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Weird computation of support and support potential
#86 opened Oct 11, 2023 by ishcha
Remove dependency on SPOT code in spot-2.x
#83 opened Mar 8, 2022 by carolemieux
Create Buchi Automata-Based Checker enhancement New feature or request
#80 opened May 26, 2020 by bestchai
Using event sets to concisely represent multiple formula instances enhancement New feature or request
#77 opened May 26, 2020 by bestchai
Optimization to prune the instantiations search space enhancement New feature or request
#76 opened May 26, 2020 by bestchai
Regexes as variables enhancement New feature or request
#72 opened May 26, 2020 by bestchai
More elucidating messages after typos in command line arguments enhancement New feature or request
#71 opened May 26, 2020 by bestchai
Fix bug in JSON output bug Something isn't working
#70 opened May 26, 2020 by bestchai
On website, allow user to download JSON output enhancement New feature or request
#69 opened May 26, 2020 by bestchai
Coordinate multiple prop types with config file args overriding command-line args bug Something isn't working
#68 opened May 26, 2020 by bestchai
Add option to disable memo enhancement New feature or request
#66 opened May 26, 2020 by bestchai
In checkers, add hard fail bug Something isn't working
#65 opened May 26, 2020 by bestchai
Rename variables in Quarry to be unique enhancement New feature or request
#63 opened May 26, 2020 by bestchai
Create a script to extract documented property types in the repo into a json file enhancement New feature or request
#62 opened May 26, 2020 by bestchai
Website support for multiple mined property types enhancement New feature or request
#60 opened May 26, 2020 by bestchai
Front end redesign enhancement New feature or request
#50 opened May 26, 2020 by bestchai
Parallelize instantiation checking w/ pre-generated instantiations enhancement New feature or request
#48 opened May 26, 2020 by bestchai
Script to update command line usage in README.md enhancement New feature or request
#44 opened May 26, 2020 by bestchai
Clean up Map Trace Checker enhancement New feature or request
#42 opened May 26, 2020 by bestchai
Upload binaries to the bitbucket "downloads" page enhancement New feature or request
#32 opened May 26, 2020 by bestchai
Update Texada to be compatible with SPOT 1.99.2 bug Something isn't working enhancement New feature or request
#31 opened May 26, 2020 by bestchai
5
Re-formulate memoization in checkers (expiry scheme/order of checking?) suggestion
#29 opened May 26, 2020 by bestchai
Extend map memoization of ffo/flo to nenoform formulae as well enhancement New feature or request
#27 opened May 26, 2020 by bestchai
Memoization across property types suggestion
#26 opened May 26, 2020 by bestchai
Invariant Semantics enhancement New feature or request
#25 opened May 26, 2020 by bestchai
ProTip! Follow long discussions with comments:>50.