EnglishFranceseCorsi

Favicon di OnWorks

Download verificabile per Windows

Scarica gratuitamente l'app Verible per Windows per eseguire Win Wine online in Ubuntu online, Fedora online o Debian online

Questa è l'app Windows denominata Verible la cui ultima versione può essere scaricata come verible-v0.0-3426-gac4a37d8-win64.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.

Scarica ed esegui online gratuitamente questa app denominata Verible con OnWorks.

Segui queste istruzioni per eseguire questa app:

- 1. Scaricata questa applicazione sul tuo PC.

- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.

- 3. Carica questa applicazione in tale file manager.

- 4. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.

- 5. Dal sistema operativo OnWorks Windows che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.

- 6. Scarica l'applicazione e installala.

- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.

Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.

IMMAGINI

Ad


Vero


DESCRIZIONE

La missione principale del progetto Verible è analizzare SystemVerilog (IEEE 1800-2017) (come standardizzato in SV-LRM) per un'ampia varietà di applicazioni, inclusi strumenti di sviluppo. È nato dall'esigenza di analizzare file sorgente non preelaborati, che sono adatti per applicazioni a file singolo come l'intreccio di stili e la formattazione. In tal modo, può essere adattato per analizzare file sorgente preelaborati, che è ciò che richiedono i veri compilatori e le toolchain. Lo spirito del progetto è che nessuno dovrebbe mai dover sviluppare un parser SystemVerilog per la propria applicazione, perché sviluppare un parser conforme agli standard è un compito enorme a causa della complessità sintattica del linguaggio. Il parser di Verible viene inoltre regolarmente testato rispetto a una serie sempre crescente di test di conformità linguistica (indipendenti dallo strumento). Un obiettivo minore (ma notevole) è che i componenti indipendenti dalla lingua di Verible siano utilizzabili per sviluppare rapidamente strumenti di supporto linguistico per altre lingue.



Caratteristiche

  • Strumenti per sviluppatori SystemVerilog
  • Citazioni della guida di stile nella diagnostica
  • Configurabilità del mazzo di regole
  • Meccanismi di rinuncia: file di rinuncia in-file, file di rinuncia esterno
  • Azione linter Github SystemVerilog disponibile
  • Corregge la spaziatura tra token, con il riconoscimento del contesto della sintassi


Linguaggio di programmazione

C++


Categorie

Server linguistici

Questa è un'applicazione che può essere recuperata anche da https://sourceforge.net/projects/verible.mirror/. È stato ospitato su OnWorks per poter essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.


Server e workstation gratuiti

Scarica app per Windows e Linux

  • 1
    Responsabile PAC
    Responsabile PAC
    PAC è un sostituto di Perl/GTK
    SecureCRT/Putty/ecc (linux
    ssh/telnet/... gui)... Fornisce una GUI
    per configurare le connessioni: utenti,
    password, ASPETTATE regole...
    Scarica Gestore PAC
  • 2
    GeoServer
    GeoServer
    GeoServer è un software open source
    server scritto in Java che consente agli utenti
    per condividere e modificare i dati geospaziali.
    Progettato per l'interoperabilità, è
    pubblica da...
    Scarica Geoserver
  • 3
    Lucciola III
    Lucciola III
    Una finanza personale gratuita e open-source
    gestore. Firefly III dispone di un
    sistema di contabilità a partita doppia. Puoi
    inserisci e organizza rapidamente il tuo
    transazioni io...
    Scarica Firefly III
  • 4
    Estensioni di Apache OpenOffice
    Estensioni di Apache OpenOffice
    Il catalogo ufficiale di Apache
    Estensioni di OpenOffice. Lo troverai
    estensioni che vanno dai dizionari a
    strumenti per importare file PDF e per connettersi
    con est...
    Scarica le estensioni di Apache OpenOffice
  • 5
    mantideBT
    mantideBT
    Mantis è un web facilmente distribuibile
    bugtracker basato per aiutare il bug del prodotto
    tracciamento. Richiede PHP, MySQL e a
    server web. Dai un'occhiata alla nostra demo e ospitata
    offrendo...
    Scarica MantisBT
  • 6
    LAN Messenger
    LAN Messenger
    LAN Messenger è un'applicazione di chat p2p
    per la comunicazione intranet e non
    richiedono un server. Una varietà di a portata di mano
    le funzionalità sono supportate tra cui
    notifica...
    Scarica LAN Messenger
  • Di Più "

Comandi Linux

  • 1
    abidw
    abidw
    abidw - serializza l'ABI di un ELF
    il file abidw legge una libreria condivisa in ELF
    formato ed emette una rappresentazione XML
    del suo ABI all’output standard. IL
    emesso...
    Corri costantemente
  • 2
    abile
    abile
    abilint: convalida un ABI abigail
    la capacità di rappresentazione analizza il nativo
    Rappresentazione XML di un'ABI emessa
    da abidw. Una volta analizzato il file XML
    rappresentare...
    Esegui abilint
  • 3
    coresendmsg
    coresendmsg
    coresendmsg: invia un messaggio API CORE
    al demone core-daemon...
    Esegui coresendmsg
  • 4
    core_server
    core_server
    core_server - Il server primario per
    SpamBayes. DESCRIZIONE: Attualmente serve
    solo l'interfaccia web. Collegamento
    listener per vari protocolli è TBD.
    Questo ...
    Eseguire core_server
  • 5
    flash
    flash
    fwflash - programma per eseguire il flashing del file immagine
    a un dispositivo NXT connesso...
    Esegui fwflash
  • 6
    fwts-collezione
    fwts-collezione
    fwts-collect - raccoglie i log per fwts
    segnalazione bug. ...
    Eseguire fwts-collect
  • Di Più "

Ad