#framac — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #framac, aggregated by home.social.
-
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.
-
Glad to see #FramaC get a shout out from #AdaCore. #C is one language with tooling for using solvers to prove correctness. Glad to see competition here. They’re moving the whole industry forward.
https://www.adacore.com/uploads/technical-papers/2016-10-SPARK-MisraC-FramaC.pdf
-
Glad to see #FramaC get a shout out from #AdaCore. #C is one language with tooling for using solvers to prove correctness. Glad to see competition here. They’re moving the whole industry forward.
https://www.adacore.com/uploads/technical-papers/2016-10-SPARK-MisraC-FramaC.pdf
-
Glad to see #FramaC get a shout out from #AdaCore. #C is one language with tooling for using solvers to prove correctness. Glad to see competition here. They’re moving the whole industry forward.
https://www.adacore.com/uploads/technical-papers/2016-10-SPARK-MisraC-FramaC.pdf
-
Glad to see #FramaC get a shout out from #AdaCore. #C is one language with tooling for using solvers to prove correctness. Glad to see competition here. They’re moving the whole industry forward.
https://www.adacore.com/uploads/technical-papers/2016-10-SPARK-MisraC-FramaC.pdf
-
#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