Commits · master · pub / frama-c

28 Nov, 2019 3 commits
- obfuscate mail address · 99927551
  Virgile Prevosto authored Nov 28, 2019
  
  99927551
- [CONTRIBUTING] refer to CLA.pdf · 32a59fde
  Virgile Prevosto authored Nov 28, 2019
  
  32a59fde
- [contributing] fix typos; some rewording · 6a24b1d3
  Andre Maroneze authored Nov 28, 2019
  
  6a24b1d3
27 Nov, 2019 1 commit
- Updates the CONTRIBUTING file for the public Frama-C gitlab repository. · 4b9a0abe
  David Bühler authored Nov 27, 2019
  
  4b9a0abe
31 Oct, 2019 10 commits
- [contributing] update CONTRIBUTING.md · b810db39
  Virgile Prevosto authored Oct 30, 2019
  
  b810db39
- Added how to for external plug-ins contribs · 9b61cafc
  Thibaud Antignac authored Nov 27, 2017
  
  9b61cafc
- minor · 9f11822f
  Thibaud Antignac authored Nov 27, 2017
  
  9f11822f
- Misc. for homogeneity · 6746da7a
  Thibaud Antignac authored Nov 27, 2017
  
  6746da7a
- Remove git commands from main text · ca6cf0ee
  Thibaud Antignac authored Nov 27, 2017
  
  ca6cf0ee
- minor · 4aa417b2
  Thibaud Antignac authored Nov 27, 2017
  
  4aa417b2
- Remove paragraph about normalization · 05c78271
  Thibaud Antignac authored Nov 27, 2017
  
  05c78271
- Remove mention of CLA and TCE · 0ccdd742
  Thibaud Antignac authored Nov 27, 2017
  
  0ccdd742
- Reorder contrib, detail steps, add CLA and TCE · 73637192
  Thibaud Antignac authored Nov 15, 2017
  
  73637192
- Initial version of a CONTRIBUTING file · 5e22c312
  Andre Maroneze authored Nov 13, 2017
  
  5e22c312