Skip to content

Issues: ModelInference/synoptic

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

100 Open 319 Closed
100 Open 319 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

Project does not compile with Java 21 language level
#424 opened Jan 16, 2024 by cushon
Internal Synoptic error: ClassCastException
#420 opened Oct 16, 2018 by MJafarMashhadi
4
Add k-tails entry point
#416 opened Oct 5, 2017 by ohmann
@ohmann
ant requires hg to be installed; convert this code to use git instead
#413 opened Nov 23, 2016 by bestchai
Log parser not finding matches
#408 opened Aug 4, 2016 by akhirsch-gt
2
Investigate effects of model checking with variably-typed partitions Invariants Priority-High Type-Task
#405 opened Mar 29, 2016 by ohmann
@ohmann
Compute delta between Synoptic and Perfume model
#401 opened Dec 22, 2015 by ohmann
parseOutOfOrderMultipleRelation() is a flaky test Priority-Low Testing Type-Defect
#400 opened Oct 20, 2015 by ohmann
Regex capture groups silently require whitespace Priority-Medium TraceParser
#397 opened Sep 15, 2015 by ohmann
2
Do not display the initial and terminal nodes in the GWT model auto-migrated GWT Priority-Medium Type-Enhancement
#395 opened May 4, 2015 by GoogleCodeExporter
Initial node in GWT model has wrong counts/probabilities auto-migrated GWT Priority-High Type-Defect
#394 opened May 4, 2015 by GoogleCodeExporter
Dependent Tests Bug In Synoptic auto-migrated Priority-Low Type-Defect
#389 opened May 4, 2015 by GoogleCodeExporter
Separate ordering and metric logic in Perfume parser auto-migrated PerfDebugging Priority-Medium Type-Enhancement
#384 opened May 4, 2015 by GoogleCodeExporter
Stopping all child threads/process with addShutdownHook auto-migrated Priority-Medium Type-Defect
#383 opened May 4, 2015 by GoogleCodeExporter
Check for jar changeset equality in helper sh scripts auto-migrated Priority-Low Type-Enhancement
#382 opened May 4, 2015 by GoogleCodeExporter
Imprecise abstraction of observed terminal states auto-migrated CSight Priority-Medium Type-Defect
#381 opened May 4, 2015 by GoogleCodeExporter
Add support computation to invariants of type InterruptedByInvariant auto-migrated Priority-Low Type-Enhancement
#379 opened May 4, 2015 by GoogleCodeExporter
Check multiple invariants for a CFSM with Spin auto-migrated Dynoptic Performance Priority-Medium Type-Defect
#378 opened May 4, 2015 by GoogleCodeExporter
1
Perfume is nondeterministic, even on a fixed seed auto-migrated Priority-High Type-Defect
#371 opened May 4, 2015 by GoogleCodeExporter
Document how log origin and FSM type impact invariants and model auto-migrated PerfDebugging Priority-Medium Type-Enhancement
#370 opened May 4, 2015 by GoogleCodeExporter
1
Report progress for refinement and merging auto-migrated Priority-Low Type-Enhancement
#368 opened May 4, 2015 by GoogleCodeExporter
Create options to retain Initial, Terminal events auto-migrated Priority-Medium Type-Enhancement
#367 opened May 4, 2015 by GoogleCodeExporter
.dtrace files don't delete properly on Windows auto-migrated Priority-Medium Type-Defect
#366 opened May 4, 2015 by GoogleCodeExporter
The --runAllTests option assumes a test-output location auto-migrated Maintainability Priority-Medium Type-Defect usa
#358 opened May 4, 2015 by GoogleCodeExporter
Improving IntrBy comments and surfacing differences between TO invariant miners auto-migrated PerfDebugging Priority-Medium Type-Enhancement
#353 opened May 4, 2015 by GoogleCodeExporter
1
ProTip! no:milestone will show everything without a milestone.