balodja sesyrel issues - Githubissues

balodja / sesyrel

Trying to analytically integrate fault trees (with some dynamics).

BSD 3-Clause "New" or "Revised" License

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Research the different voter realizations, that's an interesting topic

#17 balodja opened 7 years ago
1
Move from String to Text in texification.

#16 balodja closed 7 years ago
0
Do not make unification of deltas and units while we are going to substitute variable for itself.

#15 balodja closed 10 years ago
0
Add shrinkage to quickcheck, and try to find little counter-examples with it.

#14 balodja closed 10 years ago
0
Add correct quickcheck to cabal file.

#13 balodja closed 10 years ago
0
Make more quickcheck rules using typelevel arguments.

#12 balodja opened 10 years ago
0
Apply quickcheck.

#11 balodja closed 10 years ago
0
Make monoid instances instead of "product". Make Num instance for Expr.

#10 balodja opened 10 years ago
0
Complete "substitutable" instances.

#9 balodja opened 10 years ago
0
Kill normalizeDs.

#8 balodja opened 10 years ago
0
Types and functions for dealing with deltas and units should be abstracted.

#7 balodja closed 10 years ago
0
Eliminate separate deltas normalization.

#6 balodja opened 10 years ago
0
Failed tree is coming.

#5 balodja closed 10 years ago
3
Make generation of graphs for fault trees (or even draw the fault trees)

#4 balodja opened 10 years ago
2
Comment the code, expand readme and give a little introduction

#3 balodja opened 10 years ago
0
Draw some shapes

#2 balodja closed 10 years ago
1
Change Lists of deltas and units in Atom to Sets.

#1 balodja closed 10 years ago
0