InglesPransesEspanyol

OnWorks favicon

coqchk.opt - Online sa Cloud

Patakbuhin ang coqchk.opt sa OnWorks na libreng hosting provider sa Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

Ito ang command na coqchk.opt na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator

PROGRAMA:

NAME


coqchk - Ang Coq Proof Checker ay nag-compile ng mga library verifier

SINOPSIS


coqchk [ pagpipilian ] module

DESCRIPTION


coqchk ay ang standalone checker ng mga pinagsama-samang aklatan (.vo file na ginawa ng coqc) para sa
ang Coq Proof Assistant. Tingnan ang Reference Manual para sa higit pang impormasyon. Nagbabalik ito kasama ang
exit code 0 kung nagtagumpay ang lahat ng hiniling na gawain. Ang isang non-zero return code ay nangangahulugan na
may nangyaring mali: hindi nahanap ang ilang library, sirang content, type-checking
kabiguan, atbp.

module ay isang listahan ng mga module na susuriin. Maaaring tukuyin ang mga module sa pamamagitan ng isang maikling o
kwalipikadong pangalan.

Opsyon


-I ay, --isama dir
magdagdag ng direktoryo dir sa isamang landas

-R dir coqdir
recursively mapa pisikal dir sa lohikal coqdir

-tahimik
ginagawang hindi gaanong verbose ang coqchk.

-aminin module
i-tag ang tinukoy na module at lahat ng mga dependency nito bilang pinagkakatiwalaan, at hindi magiging
muling sinuri, maliban kung tahasang hiniling ng iba pang mga opsyon.

-norec module
ay tumutukoy na ang ibinigay na modyul ay dapat patunayan nang hindi humihiling na suriin ito
dependencies.

-m, --alaala
nagpapakita ng buod ng memorya na ginamit ng checker.

-o, --output-context
ay nagpapakita ng buod ng lohikal na nilalaman na na-verify: mga pagpapalagay at
paggamit ng impredicivity.

-impredicative-set
pinapayagan ang checker na tanggapin ang mga aklatan na pinagsama-sama sa flag na ito.

-v i-print ang bersyon ng coqchk at lumabas.

-coqlib dir
ino-override ang default na lokasyon ng karaniwang library.

-saan i-print ang coqchk na karaniwang lokasyon ng library at labasan.

-h, - Tumulong
i-print ang listahan ng mga opsyon

Gamitin ang coqchk.opt online gamit ang mga serbisyo ng onworks.net


Mga Libreng Server at Workstation

Mag-download ng Windows at Linux apps

  • 1
    Tagapamahala ng PAC
    Tagapamahala ng PAC
    Ang PAC ay isang Perl/GTK na kapalit para sa
    SecureCRT/Putty/etc (linux
    ssh/telnet/... gui)... Nagbibigay ito ng GUI
    upang i-configure ang mga koneksyon: mga user,
    mga password, EXPECT na regulasyon...
    I-download ang PAC Manager
  • 2
    GeoServer
    GeoServer
    Ang GeoServer ay isang open-source na software
    server na nakasulat sa Java na nagpapahintulot sa mga user
    upang ibahagi at i-edit ang geospatial na data.
    Idinisenyo para sa interoperability, ito
    naglalathala ng...
    I-download ang GeoServer
  • 3
    Alitaptap III
    Alitaptap III
    Isang libre at open-source na personal na pananalapi
    manager. Mga tampok ng Alitaptap III a
    double-entry bookkeeping system. Kaya mo
    mabilis na pumasok at ayusin ang iyong
    mga transaksyon i...
    I-download ang Alitaptap III
  • 4
    Mga Extension ng Apache OpenOffice
    Mga Extension ng Apache OpenOffice
    Ang opisyal na katalogo ng Apache
    Mga extension ng OpenOffice. Mahahanap mo
    mga extension mula sa mga diksyunaryo hanggang
    mga tool para mag-import ng mga PDF file at para kumonekta
    may ext...
    I-download ang Apache OpenOffice Extension
  • 5
    MantisBT
    MantisBT
    Ang Mantis ay isang madaling ma-deploy, web
    nakabatay sa bugtracker upang tulungan ang bug ng produkto
    pagsubaybay. Nangangailangan ito ng PHP, MySQL at a
    web server. Tingnan ang aming demo at naka-host
    nag-aalok...
    I-download ang MantisBT
  • 6
    LAN Messenger
    LAN Messenger
    Ang LAN Messenger ay isang p2p chat application
    para sa intranet na komunikasyon at hindi
    nangangailangan ng isang server. Isang iba't ibang mga madaling gamiting
    mga tampok ay suportado kasama ang
    abiso...
    I-download ang LAN Messenger
  • Marami pa »

Linux command

  • 1
    abidw
    abidw
    abidw - i-serialize ang ABI ng isang ELF
    Ang file na abidw ay nagbabasa ng isang nakabahaging aklatan sa ELF
    format at naglalabas ng representasyong XML
    ng ABI nito sa karaniwang output. Ang
    pinalabas...
    Takbo ng abidw
  • 2
    abilint
    abilint
    abilint - patunayan ang isang abigail ABI
    representasyon abilint parses the native
    XML na representasyon ng isang ABI bilang inilabas
    ni abidw. Kapag na-parse na nito ang XML
    kumatawan...
    Tumakbo abilint
  • 3
    coresendmsg
    coresendmsg
    coresendmsg - magpadala ng mensahe ng CORE API
    sa core-daemon na daemon ...
    Patakbuhin ang coresendmsg
  • 4
    core_server
    core_server
    core_server - Ang pangunahing server para sa
    SpamBayes. DESCRIPTION: Kasalukuyang nagsisilbi
    ang web interface lamang. Naka-plug in
    Ang mga tagapakinig para sa iba't ibang mga protocol ay TBD.
    Ito ...
    Patakbuhin ang core_server
  • 5
    fwflash
    fwflash
    fwflash - programa upang mag-flash ng file ng imahe
    sa isang konektadong NXT device...
    Patakbuhin ang fwflash
  • 6
    fwts-collect
    fwts-collect
    fwts-collect - mangolekta ng mga log para sa fwts
    pag-uulat ng bug. ...
    Patakbuhin ang fwts-collect
  • Marami pa »

Ad