אנגליתצרפתיתספרדי

סמל OnWorks

coqchk.opt - מקוון בענן

הפעל את coqchk.opt בספק אירוח בחינם של OnWorks על אובונטו מקוון, פדורה מקוון, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS

זוהי הפקודה coqchk.opt שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו בחינם כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS

תָכְנִית:

שֵׁם


coqchk - מאמת ספריות הידור של Coq Proof Checker

תַקצִיר


coqchk [ אפשרויות ] מודולים

תיאור


coqchk הוא הבודק העצמאי של ספריות הידור (קבצי.vo המיוצרים על ידי coqc) עבור
עוזר ההוכחה של Coq. עיין במדריך העזר למידע נוסף. זה חוזר עם
צא מקוד 0 אם כל המשימות המבוקשות הצליחו. קוד החזרה שאינו אפס אומר זאת
משהו השתבש: ספרייה כלשהי לא נמצאה, תוכן פגום, בדיקת סוגים
כישלון וכו'.

מודולים היא רשימה של מודולים שיש לבדוק. ניתן להתייחס למודולים באמצעות קצר או
שם מוסמך.

אפשרויות


-I דיר, --לִכלוֹל dir
הוסף ספרייה dir בנתיב הכלול

-R dir coqdir
ממפה פיזית רקורסיבית dir להגיוני coqdir

-שקט
עושה את coqchk פחות מילולי.

-להתוודות מודול
תייג את המודול שצוין ואת כל התלות שלו כאמין, ולא יהיה
נבדק מחדש, אלא אם כן התבקש מפורשות על ידי אפשרויות אחרות.

-נורק מודול
מציין שהמודול הנתון יאומת מבלי לבקש לבדוק אותו
תלות.

-M, --זיכרון
מציג סיכום של הזיכרון שבו משתמש הבודק.

-או, --הקשר פלט
מציג סיכום של התוכן ההגיוני שאומת: הנחות ו
שימוש באי-פרדיקטיביות.

-סט אימפריקטיבי
מאפשר לבודק לקבל ספריות שהורכבו עם דגל זה.

-v הדפס גרסת coqchk וצא.

-קוקליב dir
עוקף את מיקום ברירת המחדל של הספרייה הסטנדרטית.

-איפה הדפס מיקום ויציאה מהספרייה הסטנדרטית של coqchk.

-ח, - עזרה
להדפיס רשימה של אפשרויות

השתמש ב-coqchk.opt באינטרנט באמצעות שירותי onworks.net


שרתים ותחנות עבודה בחינם

הורד אפליקציות Windows & Linux

  • 1
    מנהל PAC
    מנהל PAC
    PAC הוא תחליף Perl/GTK עבור
    SecureCRT/Putty/etc (linux
    ssh/telnet/... gui)... זה מספק GUI
    כדי להגדיר חיבורים: משתמשים,
    סיסמאות, צפו לתקנות...
    הורד את PAC Manager
  • 2
    GeoServer
    GeoServer
    GeoServer היא תוכנת קוד פתוח
    שרת כתוב ב-Java המאפשר למשתמשים
    כדי לשתף ולערוך נתונים גיאו-מרחביים.
    זה תוכנן עבור יכולת פעולה הדדית
    מפרסם את...
    הורד את GeoServer
  • 3
    גחלילית III
    גחלילית III
    מימון אישי חינמי וקוד פתוח
    מנהל. Firefly III כולל א
    מערכת הנהלת חשבונות כפולה. אתה יכול
    הזן וארגן במהירות שלך
    עסקאות אני...
    הורד את Firefly III
  • 4
    הרחבות Apache OpenOffice
    הרחבות Apache OpenOffice
    הקטלוג הרשמי של אפאצ'י
    הרחבות של OpenOffice. אתה תמצא
    הרחבות החל ממילונים ועד
    כלים לייבוא ​​קבצי PDF ולחיבור
    עם שלוחה...
    הורד את הרחבות Apache OpenOffice
  • 5
    גמל שלמה
    גמל שלמה
    Mantis הוא אינטרנט שניתן לפריסה בקלות
    מעקב אחר באגים מבוסס כדי לסייע בבאג מוצר
    מעקב. זה דורש PHP, MySQL ו-a
    שרת אינטרנט. בדוק את ההדגמה שלנו ומתארח
    מציעה...
    הורד את MantisBT
  • 6
    מסנג'ר LAN
    מסנג'ר LAN
    LAN Messenger הוא אפליקציית צ'אט p2p
    לתקשורת אינטראנט ולא עושה זאת
    דורש שרת. מגוון שימושי
    תכונות נתמכות כולל
    מודיע ...
    הורד את LAN Messenger
  • עוד »

פקודות לינוקס

  • 1
    עבידוו
    עבידוו
    abidw - הצג בסידרה את ה-ABI של ELF
    file abidw קורא ספרייה משותפת ב-ELF
    פורמט ופולט ייצוג XML
    מה-ABI שלו לתפוקה סטנדרטית. ה
    נפלט...
    תרוץ עבידוו
  • 2
    Abilint
    Abilint
    abilint - לאמת אביגיל ABI
    ייצוג abilint מנתח את היליד
    ייצוג XML של ABI כפי שנפלט
    מאת abidw. לאחר ניתוח ה-XML
    לנסח מחדש ...
    הפעל אבילינט
  • 3
    coresendmsg
    coresendmsg
    coresendmsg - שלח הודעת CORE API
    לדמון הליבה-דמון...
    הפעל את coresendmsg
  • 4
    שרת_core
    שרת_core
    core_server - השרת הראשי עבור
    SpamBayes. תיאור: משרת כרגע
    ממשק האינטרנט בלבד. מתחבר
    מאזינים לפרוטוקולים שונים הוא TBD.
    בית המלון מתפאר ב ...
    הפעל שרת_core
  • 5
    פלאש
    פלאש
    fwflash - תוכנה להבהב קובץ תמונה
    למכשיר NXT מחובר...
    הפעל את fwflash
  • 6
    fwts-collect
    fwts-collect
    fwts-collect - איסוף יומנים עבור fwts
    דיווח על באגים. ...
    הפעל את fwts-collect
  • עוד »

Ad