products/sources/formale Sprachen/PVS/summaries image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: poly_minmax.prf   Sprache: Shell

Untersuchung 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  ¤





vermutete Sprache:
Sekunden
vermutete Sprache:
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff