issues
search
mgijsberti
/
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