Mercurial > repos > sybila > ebcsgen_static_analysis

annotate test-data/redundant.bcsl.model @ 2:9daa8e4e54d5 draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 4719a69f514aed27d90c7017f052463b0b43cbb0
author sybila
date Sat, 15 Oct 2022 09:21:02 +0000
parents 9e4811b21def
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
1 #! rules
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
2 r1_S ~ P(S{i})::cell => P(S{a})::cell
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
3 r1_T ~ P(T{i})::cell => P(T{a})::cell
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
4 r2 ~ P()::cell => P()::out
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
5 r1_X ~ P(T{i})::cell => P(T{a})::cell
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
6
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
7 #! inits
9e4811b21def planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit f39ef50b0964744be7816de065024eeb1fb69364
sybila
parents:
diff changeset
8 1 P(S{i},T{i})::cell