Frama-C
  • Features
  • Documentation
  • Publications
  • Blog
  • Jobs
  • Contact
  • Download
Blog home
← Unpublishing Features in Frama-C Nitrogen, part 1 →

frama-c-discuss

Pascal Cuoq - 11th Oct 2011

Following a discussion about Open Source, science and the difficulty of making a living in this day and age, I went and looked at the frama-c-discuss mailing list archives to confirm a suspicion.

Suspicion confirmed. The public mailing list is a waste of time. I vote we close it pure and simple.

Pascal Cuoq
11th Oct 2011

← Unpublishing Features in Frama-C Nitrogen, part 1 →

Tags

rant skein value ACSL Jessie derived-analysis unspecified-behavior CIL OCaml floating-point memcpy value-builtins conversions-and-promotions icpc2011 csmith position donut facetious-colleagues slicing CompCert big-round-numbers trail nitrogen link benchmarks rte obviously-terminates cybersecurity linking type-checking developer visitor restrict undefined-behavior rers2012 cfg WP c11 c99 anonymous-arrays zlib metrics collaboration FLT_EVAL_METHOD function-pointers c-reduce Eva gui tutorial open-source-case-studies scripts usability windows-cygwin-wsl docker github ci test Ivette GUI event machdep parsing
Copyright © 2007-2025 Frama-C. All Rights Reserved.
  • Terms Of Use
  • Authors
  • Acknowledgements