chubbymaggie synoptic issues

chubbymaggie / synoptic

Automatically exported from code.google.com/p/synoptic

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Pynoptic edge label rounding

#346 GoogleCodeExporter closed 9 years ago
1
Refactor ConstrainedTracingSets

#345 GoogleCodeExporter closed 9 years ago
2
Constrained model checking never leaves loops

#344 GoogleCodeExporter closed 9 years ago
2
NFby invariants are ignored by pynoptic

#343 GoogleCodeExporter closed 9 years ago
4
Example to test pynoptic coarsening

#342 GoogleCodeExporter closed 9 years ago
2
Simpler constrained refinement algorithm

#341 GoogleCodeExporter closed 9 years ago
3
Check for local violation resolution / subgraph model checking

#340 GoogleCodeExporter opened 9 years ago
2
Correct constrained refinement timings

#339 GoogleCodeExporter closed 9 years ago
2
Edge labels in pynoptic-generated models

#338 GoogleCodeExporter closed 9 years ago
2
Add AFbyLower invariant

#337 GoogleCodeExporter closed 9 years ago
3
Add APLower invariant

#336 GoogleCodeExporter closed 9 years ago
3
Add AFbyUpper invariant

#335 GoogleCodeExporter closed 9 years ago
2
Add synoptic option to output models as DFAs

#334 GoogleCodeExporter opened 9 years ago
0
Add local model checking

#333 GoogleCodeExporter closed 9 years ago
1
Use multiple event transitions for constrained refinement

#332 GoogleCodeExporter closed 9 years ago
13
Make constrained refinement testable

#331 GoogleCodeExporter closed 9 years ago
3
Get all EventNode transitions between two Partitions

#330 GoogleCodeExporter closed 9 years ago
4
[deleted issue]

#329 GoogleCodeExporter closed 9 years ago
0
Full counter-example path in ConstrainedTracingSets

#328 GoogleCodeExporter closed 9 years ago
5
[deleted issue]

#327 GoogleCodeExporter closed 9 years ago
0
Remove the NASA model checking code

#326 GoogleCodeExporter opened 9 years ago
0
Make example log links and visualize button behaviors intuitive

#325 GoogleCodeExporter closed 9 years ago
1
Match text highlighting color and event node color

#324 GoogleCodeExporter closed 9 years ago
2
Use time constraints during model checking

#323 GoogleCodeExporter closed 9 years ago
12
Add support for additional log formats

#322 GoogleCodeExporter closed 9 years ago
1
Reordering process timelines with drag-and-drop

#321 GoogleCodeExporter closed 9 years ago
1
Show ghost events even if no explicit event is logged

#320 GoogleCodeExporter closed 9 years ago
1
Support for multiple example logs

#319 GoogleCodeExporter closed 9 years ago
1
Visualize transitive edges differently from direct edges

#318 GoogleCodeExporter closed 9 years ago
1
Grey out process boxes once their events have been scrolled through

#317 GoogleCodeExporter closed 9 years ago
1
Better diagram scrolling

#316 GoogleCodeExporter closed 9 years ago
1
Linking text log with time-space diagram

#315 GoogleCodeExporter closed 9 years ago
2
Change event clicking to event mouse-over

#314 GoogleCodeExporter closed 9 years ago
2
Add a line to indicate flow of time

#313 GoogleCodeExporter closed 9 years ago
2
Robustness to incorrectly formatted logs + format documentation

#312 GoogleCodeExporter closed 9 years ago
1
Support for Safari and Firefox

#311 GoogleCodeExporter closed 9 years ago
3
Display thread/process/host/port information at top of diagram

#310 GoogleCodeExporter closed 9 years ago
2
Hiding events associated with a process

#309 GoogleCodeExporter closed 9 years ago
2
Group local consecutive events that have no remote dependencies

#308 GoogleCodeExporter closed 9 years ago
1
Showing a partial order DAG adjusted for timestamps

#307 GoogleCodeExporter closed 9 years ago
1
More easily access lower and upper-bound constrained invariants

#306 GoogleCodeExporter closed 9 years ago
1
Study Synoptic++ test generation with simple authentication program

#305 GoogleCodeExporter closed 9 years ago
2
Dynoptic hangs during refinement

#304 GoogleCodeExporter closed 9 years ago
1
ShiVector visualization

#303 GoogleCodeExporter closed 9 years ago
1
Abstract test derivation

#302 GoogleCodeExporter closed 9 years ago
3
Allowing initial states to also be terminal states

#301 GoogleCodeExporter opened 9 years ago
0
C++ version of ShiVector using Mace

#300 GoogleCodeExporter closed 9 years ago
1
Unit tests

#299 GoogleCodeExporter closed 9 years ago
2
Test ShiVector on a real project

#298 GoogleCodeExporter closed 9 years ago
1
Allow the user to mix pre-defined property types

#297 GoogleCodeExporter closed 9 years ago
5

Previous Next