معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

Interactive theorem prover from SRI

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	pvs-sbcl
نام فایل بسته	pvs-sbcl-7.1-8.fc37.src.rpm
نسخه بسته	7.1
انتشار بسته	8.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Tue 02 Aug 2022 12
هاست سازنده	buildhw-x86-04.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://pvs.csl.sri.com/
مجوز	GPLv2+ and BSD and Public Domain
حجم دانلود	9.3M
حجم نصب	9.430M

PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. This build of PVS must be invoked as "pvs-sbcl", both to distinguish it from builds with other Common Lisp engines, and to distinguish it from /usr/sbin/pvs in the lvm2 package.

جایگزین ها

بسته	نسخه	معماری	مخزن
pvs-sbcl-7.1-8.fc37.x86_64.rpm	7.1	x86_64	Fedora Everything
pvs-sbcl-debuginfo-7.1-8.fc37.x86_64.rpm	7.1	x86_64	Fedora Everything
pvs-sbcl-debugsource-7.1-8.fc37.x86_64.rpm	7.1	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	automake
-	desktop-file-utils
-	emacs
-	gcc-c++
-	ghostscript
-	git-core
-	latexmk
-	make
-	mona-devel
-	perl-generators
-	sbcl
-	tex(boxedminipage.sty)
-	tex(latex)
-	tex(libertine.sty)
-	tex(relsize.sty)
-	tex(stmaryrd.sty)
-	tex(tocbibind.sty)
-	tex(xtab.sty)
-	tex-xits
-	texinfo-tex
-	yices-tools

ارائه دهنده

مقدار	نام
= 7.1-8.fc37	pvs-sbcl
= 7.1-8.fc37	pvs-sbcl-debuginfo
= 7.1-8.fc37	pvs-sbcl-debugsource

نحوه نصب

نصب پکیج rpm pvs-sbcl:

dnf install pvs-sbcl-7.1-8.fc37.src.rpm

فایل ها

مسیرها
csl-93-9.ps.gz
csl-97-2.ps.gz
interpretations.pdf
pvs-api.patch
pvs-emacs.patch
pvs-fedora.patch
pvs-language.patch
pvs-prelude.pdf
pvs-sbcl.desktop
pvs-sbcl.spec
pvs.xml

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2022-08-01	Add -emacs patch for Emacs 28 compatibility Limit builds to x86_64
2022-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-01-26	Rebuild to fix sbcl dependency
2022-01-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-06-03	Add -language patch to work around possible TeXLive 2021 bug BR ghostscript instead of ghostscript-core
2021-02-04	Rebuild to fix sbcl dependency Add MIME type for pvs source files
2021-01-27	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-12-02	Version 7.1 Drop upstreamed -siglongjmp, -fno-common, -texi, and -user-guide patches Add -api patch to fix API doc build
2020-08-21	Update to latest git snapshot for bug fixes Drop upstreamed -language-manual and -language-manual-latex patches