s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
3593 Commits
5 Branches
0 Tags
31 MiB
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

128 Commits (master)

Author SHA1 Message Date
Dave Parker bdc9c3bbcf auto bug fix.
17 years ago
Dave Parker 4338728593 Removed extra files.
17 years ago
Dave Parker 89ecb4ad70 Typos.
17 years ago
Dave Parker 30bbc2426f CSMA auto file bug fix.
17 years ago
Dave Parker eac1f55e32 Added consensus to examples.
17 years ago
Dave Parker 39d7447625 CSMA tweaks.
17 years ago
Gethin Norman 85f53564c9 added wlan example to examples
17 years ago
Gethin Norman 3b5e77865d typo
17 years ago
Gethin Norman 4907c9b812 zeroconf model added
17 years ago
Gethin Norman 987b90bc21 extended deadline model
17 years ago
Gethin Norman 4630195d59 expected properties for impl version of firewire
17 years ago
Gethin Norman 15631cd5aa forgot to add property file
17 years ago
Gethin Norman aac33500af forgot to add property file
17 years ago
Gethin Norman d67d499f24 updated auto file
17 years ago
Gethin Norman e9cfa970f6 bug in auto file
17 years ago
Gethin Norman 7b195d996d expected properties added to firewire abstion version
17 years ago
Gethin Norman 0c17fc2e31 csma example added
17 years ago
Gethin Norman a11a6457ac minor fixes
17 years ago
Gethin Norman d1f610e9aa finor fixes
17 years ago
Gethin Norman a7e48c6716 updated pctl file
17 years ago
Gethin Norman 8b0f913329 modified versionof rabin
17 years ago
Dave Parker 9aec019bd0 "true U" to "F" fix in examples.
17 years ago
Dave Parker 0c8e4914d3 Bug fix in phil case studies.
17 years ago
Dave Parker c2357201ef PP files for polling.
18 years ago
Dave Parker 8c8facf6ef Typos.
18 years ago
Dave Parker fe0f31a335 Added parentheses to non-trivial time bounds.
18 years ago
Dave Parker b15d6cc80a Cluster auto file.
18 years ago
Dave Parker 57c8b13c84 Changed auto (commented out parts so run more quickly for testing.
18 years ago
Dave Parker 503854afac Bug fix in phil_lss model.
18 years ago
Dave Parker f9556e6ddc Props: "true U" -> "F".
18 years ago
Dave Parker 8623afdfca CSL file tidy.
18 years ago
Dave Parker 6b5006fe8a Tidy up phil/nofair (and add pp files).
18 years ago
Dave Parker 7d4d233731 Tidy up phil/nofair (and add pp files).
18 years ago
Dave Parker 80df005234 Tidy up phil/original (and add pp files).
18 years ago
Dave Parker c7585ab93f Tidy up mutual (and add pp files).
18 years ago
Dave Parker 52b7d8f62e Tidy up synchronous leader (and add pp files).
18 years ago
Dave Parker 0e67b7d1e9 Removed filter from non-? property.
18 years ago
Dave Parker 873e10c8c1 Removed filter from non-? property.
18 years ago
Dave Parker 2e8e65de82 Removed undefined probs in herman.
18 years ago
Dave Parker 83ffefd74e Removal of ranges.
18 years ago
Dave Parker db4bf6eab6 Typo in dice.
18 years ago
Dave Parker 7f4ddbae21 Added probability p to herman models.
18 years ago
Dave Parker 644026f7ea Model keyword tidy-up: nondeterministic -> mdp.
18 years ago
Dave Parker a8e1ca8379 Model keyword tidy-up: probabilistic -> dtmc.
18 years ago
Dave Parker 5a19c826b7 Model keyword tidy-up: stochastic -> ctmc.
18 years ago
Dave Parker 2066da4ada Fixed web addresses in README files.
18 years ago
Dave Parker 381db210b5 Added peer2peer example.
18 years ago
Gethin Norman ac7060c92d various fixes to update rewards and match web pages
18 years ago
Gethin Norman 0569ba33b0 updated properties in rabin
18 years ago
Gethin Norman 79d5ff124b updated properties and rewards in phil (no fair)
18 years ago