https://bugzilla.rpmfusion.org/show_bug.cgi?id=2997 Bug #: 2997 Summary: Review Request: spinroot - Formal verification of multi-threaded software applications Classification: Unclassified Product: Package Reviews Version: Current Platform: All OS/Version: GNU/Linux Status: NEW Severity: normal Priority: P5 Component: Review Request AssignedTo: rpmfusion-package-review(a)rpmfusion.org ReportedBy: alexisis-pristontale(a)hotmail.com CC: rpmfusion-package-review(a)rpmfusion.org Blocks: 2 SPEC: http://lameire.iiens.net/spinroot/spinroot.spec SRPM: http://lameire.iiens.net/spinroot/spinroot-6.2.5-1.fc18.src.rpm MOCK BUILD LOG: http://lameire.iiens.net/spinroot/build.log ALL OTHER USEFULL STUFF: http://lameire.iiens.net/spinroot/ RPMLINT: spinroot.x86_64: W: spelling-error Summary(en_US) multi -> mulch, mufti spinroot.x86_64: W: spelling-error %description -l en_US multi -> mulch, mufti spinroot.x86_64: W: invalid-license free use for educational purpose Not eligible on fedora repo : non free app, only redistribuable without money exchange. NB: a "spin" package is already avalable on fedora repo, I rename the package folowing the website domain Description: Spin targets the efficient verification of multi-threaded software, not the verification of hardware circuits. The tool supports a high level language to specify systems descriptions called PROMELA (short for: PROcess MEta LAnguage). Spin has been used to trace logical design errors in distributed systems design, such as operating systems, data communications protocols, switching systems, concurrent algorithms, railway signaling protocols, control software for spacecraft, nuclear power plants, etc. The tool checks the logical consistency of a specification and reports on deadlocks, race conditions, different types of incompleteness, and unwarranted assumptions about the relative speeds of processes. I have no approuved package on rpm-fusion, but I'm already approuved on fedora. -- Configure bugmail: https://bugzilla.rpmfusion.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. You are the assignee for the bug.