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 8a15118de2 Move mec-tests into prism dir.
13 years ago
Mateusz Ujma 6b15078f4a Added counterexamples for explicit engine MEC decomposition
13 years ago
Mateusz Ujma e5d4d3dc3d MEC implementation
13 years ago
Dave Parker 4525eb0d70 Comment in dice model.
13 years ago
Dave Parker 8c88d62b6f Small tweak to firewire_abst model: unneeded invariant.
14 years ago
Dave Parker 7c239331de Change parameter names (K->COL, bmax->K) to align with MDP benchmark of same name.
14 years ago
Dave Parker b24dcebc31 Change parameter names (K->COL, bmax->K) to align with MDP benchmark of same name.
14 years ago
Dave Parker 50fde990f6 Changed some "true U" to "F".
14 years ago
Dave Parker 4037e0701f Line endings
15 years ago
Dave Parker 7ca4244890 Few more fixes in examples re new semantics.
15 years ago
Dave Parker 6f5d45b888 Example fixes re new semantics (result reported for initial state by default) - need more filters.
15 years ago
Dave Parker 753ff0e1fa Small tidies in PTA examples.
15 years ago
Dave Parker cfb1b92f6f README files (PTA examples).
15 years ago
Dave Parker a00471be4b Added txt extension to README files.
15 years ago
Dave Parker 5c59047e2f Tidy up of PTA examples.
15 years ago
Dave Parker 40d2cadd45 Tidy PTA examples.
15 years ago
Dave Parker 745794c57a Put PTA files in main examples dir.
15 years ago
Dave Parker 25adf30f26 Line endings.
16 years ago
Dave Parker 367d7e38ee Out of date file in phil-original.
16 years ago
Dave Parker 19dc966bea Out of date file in phil-original.
16 years ago
Dave Parker 211be9eb3c Out of date file in phil-nofair.
16 years ago
Dave Parker ddcb377e8c Permissions on .autopp files.
16 years ago
Dave Parker fa3b003c4c Moved labels to model in cluster.
16 years ago
Dave Parker 6c213de941 Bug in README file.
16 years ago
Gethin Norman 3b9f20026d firewire
16 years ago
Gethin Norman 123e2bc0a7 firewire
16 years ago
Dave Parker 2fa1480895 Fixed FireWire impl auto file.
17 years ago
Dave Parker 42a2c7f83e Engine change in Firewire auto file.
17 years ago
Dave Parker 09e52e3348 Zeroconf model closer to benchmark one.
17 years ago
Gethin Norman 5b48be904c fixes to zeroconf
17 years ago
Dave Parker d5f8145030 Undefined probability and moved label to model.
17 years ago
Dave Parker 0135c4017e Moved "stable" label in israeli-jalfon.
17 years ago
Dave Parker 7be60e6923 auto file tweak.
17 years ago
Gethin Norman 7283fb19bd fixes to brp model
17 years ago
Dave Parker c9c0b1176d Re-tidy csma.
17 years ago
Dave Parker e4f1c21899 CSMA README file.
17 years ago
Dave Parker cd74c9a5e8 Fix(es) for previous commit.
17 years ago
Dave Parker 3e0ba6cb5f Re-tidy csma.
17 years ago
Dave Parker 7b1d8c5e74 Tweaked some auto files.
17 years ago
Gethin Norman 2fc0832a04 updated rabin files to coorespond with web
17 years ago
Gethin Norman fcd68cef29 fixed model files
17 years ago
Gethin Norman 40054ea0ed updated rabin spec file
17 years ago
Gethin Norman 1bac904aab updated properties file
17 years ago
Gethin Norman 6bd499220e update to auto file
17 years ago
Gethin Norman edaccf8c4b update to auto file
17 years ago
Dave Parker 9c0adc1e46 Less ambitious auto file for csma.
17 years ago
Gethin Norman 5545eba87d updated rabin example
17 years ago
Gethin Norman de6da21cdc improvements to async leader
17 years ago
Gethin Norman 7c4efe5662 improvements to async leader
17 years ago
Dave Parker dd3a53f34b Removed fairness info.
17 years ago