Author: niels
Date: Fri Aug 28 15:19:30 2009
New Revision: 4672
URL: http://svn.gna.org/viewcvs/service-tech?rev=4672&view=rev
Log:
* more LoLA nets
Added:
trunk/meta/nets/challenge/
trunk/meta/nets/challenge/garavel/
trunk/meta/nets/challenge/garavel/garavel.deadlock
trunk/meta/nets/challenge/garavel/garavel.net
trunk/meta/nets/challenge/garavel/garavel.pathlength
trunk/meta/nets/challenge/garavel/garavel.protocol
trunk/meta/nets/challenge/garavel/garavel.result
trunk/meta/nets/challenge/garavel/garavel.script
trunk/meta/nets/challenge/garavel/garavel.symm
trunk/meta/nets/challenge/garavel/garavelpath.tar (with props)
trunk/meta/nets/challenge/pegsol/
trunk/meta/nets/challenge/pegsol/pegsol.owfn
trunk/meta/nets/challenge/pegsol/pegsol.spec
trunk/meta/nets/hl-nets/
trunk/meta/nets/hl-nets/data.hl
trunk/meta/nets/hl-nets/database.ctlformula
trunk/meta/nets/hl-nets/database.formula
trunk/meta/nets/hl-nets/database.untilformula
trunk/meta/nets/hl-nets/echo.llnet
trunk/meta/nets/hl-nets/echo.stateformula
trunk/meta/nets/hl-nets/echocorner.hl
trunk/meta/nets/hl-nets/echoperp.formula
trunk/meta/nets/hl-nets/echoperpetuum.hl
trunk/meta/nets/hl-nets/echoperpetuum.llnet
trunk/meta/nets/hl-nets/eisen.hl
trunk/meta/nets/hl-nets/eisen.llnet
trunk/meta/nets/hl-nets/goldphil.ctlformula
trunk/meta/nets/hl-nets/goldphil.hl
trunk/meta/nets/hl-nets/goldphil.state
trunk/meta/nets/hl-nets/goldphil.stateformula
trunk/meta/nets/hl-nets/goldphil.untilformula
trunk/meta/nets/hl-nets/halma1.myn
trunk/meta/nets/hl-nets/indbnd.myn
trunk/meta/nets/hl-nets/lamport1.hl
trunk/meta/nets/hl-nets/lamport1.state
trunk/meta/nets/hl-nets/lamport2.hl
trunk/meta/nets/hl-nets/lamportlife
trunk/meta/nets/hl-nets/lamportlife.ctl
trunk/meta/nets/hl-nets/lamportlife.until
trunk/meta/nets/hl-nets/lamportsafe
trunk/meta/nets/hl-nets/networkphil.formula
trunk/meta/nets/hl-nets/networkphil.hl
trunk/meta/nets/hl-nets/networkphil.stateformula
trunk/meta/nets/hl-nets/ph.ctl
trunk/meta/nets/hl-nets/ph.ctlformula
trunk/meta/nets/hl-nets/ph.formula
trunk/meta/nets/hl-nets/ph.hl
trunk/meta/nets/hl-nets/ph.llnet
trunk/meta/nets/hl-nets/ph.state
trunk/meta/nets/hl-nets/ph.task
trunk/meta/nets/hl-nets/ph.untilformula
trunk/meta/nets/hl-nets/schieber.llnet
trunk/meta/nets/hl-nets/schieber.results
trunk/meta/nets/hl-nets/schieber1.net
trunk/meta/nets/hl-nets/schieber2.net
trunk/meta/nets/hl-nets/schieber3.net
trunk/meta/nets/hl-nets/schieber4.net
trunk/meta/nets/hl-nets/schieber5.net
trunk/meta/nets/hl-nets/schieber6.net
trunk/meta/nets/hl-nets/sokoban.myn
trunk/meta/nets/hl-nets/sokoban1.myn
trunk/meta/nets/hl-nets/sokoban20.myn
trunk/meta/nets/hl-nets/test.myn
trunk/meta/nets/hl-nets/transmission.ctl
trunk/meta/nets/hl-nets/transmission.formula
trunk/meta/nets/hl-nets/transmission.hl
trunk/meta/nets/hl-nets/transmission.llnet
trunk/meta/nets/hl-nets/transmission20.ctl
trunk/meta/nets/hl-nets/transmission20.formula
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
