Pathemeous Symbolic-Gossip issues - Githubissues

Pathemeous / Symbolic-Gossip

Symbolic Model Checker for the Gossip Problem

GNU General Public License v2.0

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Report/smp trf

#14 Pathemeous closed 3 months ago
0
Possible Bug: Classic Transformer Test case is evaluated wrongly

#13 Pathemeous opened 3 months ago
1
Add initial benchmarks (ClsTrf vs SmpTrf)

#12 Pathemeous closed 3 months ago
0
SmpTrfS5: avoid duplicate code, import original Symbolic.S5 instead

#11 m4lvin closed 3 months ago
1
Refactor out n param in gsi function

#10 Pathemeous closed 3 months ago
0
Fix/transparent

#9 Pathemeous closed 3 months ago
0
Minor changes in overleaf

#8 Pathemeous closed 3 months ago
0
Correct Simple Transformer

#7 Pathemeous closed 3 months ago
0
Merge Transparent branch

#6 Pathemeous closed 3 months ago
0
Merge Explain banch

#5 Pathemeous closed 3 months ago
0
Add Simple Transformer and Optimized Transformer

#4 Pathemeous closed 3 months ago
0
Implement Simple Transformer for Synchronous Case

#3 Pathemeous closed 3 months ago
1
Create 'Explain' function to relate generated proposition numbers back to conceptual propositions

#2 Pathemeous closed 3 months ago
6
Remove V- from GossipS5 Call Transformer in SMCDEL

#1 Pathemeous closed 3 months ago
4