Search
1000 results for “frama_c”
-
Frama-C's new machdep mechanism allows users to more easily create their own machdeps (machine-dependent configuration files). With a #C11-compatible compiler, it's automatic! Check out our new blog post for more details: https://frama-c.com/2024/01/29/new-machdep.html
(And feel free to ask questions here, we'll try to answer them as best we can.)
-
Frama, c’est aussi des outils pour s’émanciper https://framablog.org/2021/11/09/frama-cest-aussi-des-outils-pour-semanciper/ #accompagnementnumérique #cohérencenumérique #framacestaussi #contributopia #documentation #alternatives #émancipation #metacartes #mobilizon #numerique #peertube #services #yakforms #chatons #educpop #resolu #mooc #ess
-
Frama, c’est aussi des outils pour s’émanciper https://framablog.org/2021/11/09/frama-cest-aussi-des-outils-pour-semanciper/ #accompagnementnumérique #cohérencenumérique #framacestaussi #contributopia #documentation #alternatives #émancipation #metacartes #mobilizon #numerique #peertube #services #yakforms #chatons #educpop #resolu #mooc #ess
-
Frama, c'est aussi des logiciels pour libérer les usages !
#Mobilizon, #PeerTube, #Yakforms mais aussi plein de contributions en code...
On vous raconte tout ici : https://framablog.org/2021/11/23/frama-cest-aussi-des-logiciels-pour-liberer-les-usages/
-
Frama, ce n'est pas que #Framapad…
…c'est aussi des humain·es qui s'associent.
😲⁉️ ➡️ https://soutenir.framasoft.org
🤔✍️ ➡️ https://framablog.org/2021/10/12/frama-cest-aussi-des-humain%c2%b7es-qui-sassocient/ -
#ActuLibre Frama, c’est aussi de la médiation aux communs numériques à lire sur https://framablog.org/2021/10/26/frama-cest-aussi-de-la-mediation-aux-communs-numeriques/ #Framac'estaussi #Contributopia #contributopia #Conferences #Communaute #Conference #Framablog #Framabook #Framalang #médiation #communs #Commun #Médias #UPLOAD
-
#ActuLibre Frama, c’est aussi de la médiation aux communs numériques à lire sur https://framablog.org/2021/10/26/frama-cest-aussi-de-la-mediation-aux-communs-numeriques/ #Framac'estaussi #Contributopia #contributopia #Conferences #Communaute #Conference #Framablog #Framabook #Framalang #médiation #communs #Commun #Médias #UPLOAD
-
#ActuLibre Frama, c’est aussi des services en ligne à lire sur https://framablog.org/2021/10/19/frama-cest-aussi-des-services-en-ligne/ #DégooglisonsInternet #Framac'estaussi #Contributopia #contributopia #Degooglisons #Communaute #framaforms #framadate #Framapad #Services #RezoTIC #Planet #GAFAM
-
#ActuLibre Frama, c’est aussi des services en ligne à lire sur https://framablog.org/2021/10/19/frama-cest-aussi-des-services-en-ligne/ #DégooglisonsInternet #Framac'estaussi #Contributopia #contributopia #Degooglisons #Communaute #framaforms #framadate #Framapad #Services #RezoTIC #Planet #GAFAM
-
#ActuLibre Frama, c’est aussi des humain·es qui s’associent à lire sur https://framablog.org/2021/10/12/frama-cest-aussi-des-humain%c2%b7es-qui-sassocient/ #Framac'estaussi #Contributopia #contributopia #Communaute #Framasoft #RezoTIC #Humour #Planet
-
#ActuLibre Frama, c’est aussi des humain·es qui s’associent à lire sur https://framablog.org/2021/10/12/frama-cest-aussi-des-humain%c2%b7es-qui-sassocient/ #Framac'estaussi #Contributopia #contributopia #Communaute #Framasoft #RezoTIC #Humour #Planet
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
I started looking at ACSL in Frama-C. Looks promising, although a bit complex at first.
I wonder if I can convey it to output its proofs in some readable format for archiving. And it would be swell with some test report or so. Perhaps also a non-zero return code so that it becomes more easily integrated in a regression test CI/CD pipeline.
-
I started looking at ACSL in Frama-C. Looks promising, although a bit complex at first.
I wonder if I can convey it to output its proofs in some readable format for archiving. And it would be swell with some test report or so. Perhaps also a non-zero return code so that it becomes more easily integrated in a regression test CI/CD pipeline.
-
La campagna di raccolta fondi di @Framasoft per il 2024 (200000 euro) ha raggiunto e superato il suo obiettivo: https://framablog.org/2023/12/31/to-end-the-year-in-style/ Evviva 😃 :frama: #contributopia #Framasoft #SoftwareLibero
In download i wallpaper creati da @davidrevoy Grazie! @framapiaf.org @alephoto85 @wikimediaitalia @mauriziocarnago @macfranc -
La campagna di raccolta fondi di @Framasoft per il 2024 (200000 euro) ha raggiunto e superato il suo obiettivo: https://framablog.org/2023/12/31/to-end-the-year-in-style/ Evviva 😃 :frama: #contributopia #Framasoft #SoftwareLibero @maupao @scuola @scuola
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
« les enseignant·es et élèves ne sont pas les bienvenu·es sur les services de #Framasoft (qui ne peut pas parer aux carences du ministère) »
on avait déjà vu le #freeriding des privés sur les assos, celui du public est (relativement) nouveau (et triste)
https://framablog.org/2020/03/17/framaconfinement-jour-01-lundi-16-mars/ -
Parfois, on tombe dans les internets du nextcloud de #framasoft, on revoit les photos du #framacamp 2015, et on se dit que frama c'est quand même une belle aventure...
-
Je le dis et le redis… @Framasoft je vous aime ! #libre #imparfait #humain #solidaires Merci
https://framablog.org/2020/03/18/framaconfinement-jour-02-prendre-la-mesure/ -
There is a real lack of usability studies for doing program verification with dependently typed languages. But broadening our criteria a bit, there are a couple of very useful studies on the usability of other program verification systems such as Dafny, KeY, Frama-C, and others. You can find my attempt so far at a better overview of existing work here: https://researchr.org/bibliography/usability-of-verification-tools/publications. If there's anything that I missed, whether or not it's using dependent types, let me know!
-
There is a real lack of usability studies for doing program verification with dependently typed languages. But broadening our criteria a bit, there are a couple of very useful studies on the usability of other program verification systems such as Dafny, KeY, Frama-C, and others. You can find my attempt so far at a better overview of existing work here: https://researchr.org/bibliography/usability-of-verification-tools/publications. If there's anything that I missed, whether or not it's using dependent types, let me know!
-
There is a real lack of usability studies for doing program verification with dependently typed languages. But broadening our criteria a bit, there are a couple of very useful studies on the usability of other program verification systems such as Dafny, KeY, Frama-C, and others. You can find my attempt so far at a better overview of existing work here: https://researchr.org/bibliography/usability-of-verification-tools/publications. If there's anything that I missed, whether or not it's using dependent types, let me know!
-
There is a real lack of usability studies for doing program verification with dependently typed languages. But broadening our criteria a bit, there are a couple of very useful studies on the usability of other program verification systems such as Dafny, KeY, Frama-C, and others. You can find my attempt so far at a better overview of existing work here: https://researchr.org/bibliography/usability-of-verification-tools/publications. If there's anything that I missed, whether or not it's using dependent types, let me know!
-
There is a real lack of usability studies for doing program verification with dependently typed languages. But broadening our criteria a bit, there are a couple of very useful studies on the usability of other program verification systems such as Dafny, KeY, Frama-C, and others. You can find my attempt so far at a better overview of existing work here: https://researchr.org/bibliography/usability-of-verification-tools/publications. If there's anything that I missed, whether or not it's using dependent types, let me know!
-
On parle souvent de @Framasoft, dans le fédivers francophone. @mathieugp a probablement des contacts. Et @framaka peut lier la partie logicielle du monde du libre à #RELfr et autres portions du mouvement #OpenEducation.
Qu'en est-il de nos modes de collaboration et de partenariat?
@michelbriand nous parle de cette #archipelisation... Nouveau concept pour moi. Osons une #ApprocheTranscontinentale?https://framablog.org/2021/11/16/frama-cest-aussi-des-contributions-dans-un-archipel/