| products/sources/formale Sprachen/PVS/summaries/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: poly_minmax.prf Sprache: ShellUntersuchung Coq© |
|
||||||
|
#!/usr/bin/env bash
ci_dir="$(dirname "$0")" . "${ci_dir}/ci-common.sh" git_download struct_tact ( cd "${CI_BUILD_DIR}/struct_tact" && ./configure && make && make install ) git_download inf_seq_ext ( cd "${CI_BUILD_DIR}/inf_seq_ext" && ./configure && make && make install ) git_download cheerios ( cd "${CI_BUILD_DIR}/cheerios" && ./configure && make && make install ) git_download verdi ( cd "${CI_BUILD_DIR}/verdi" && ./configure && make && make install ) git_download verdi_raft ( cd "${CI_BUILD_DIR}/verdi_raft" && ./configure && make ) ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.1Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
ZieleEntwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
