Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F Frama-C Website
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 4
    • Issues 4
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • Frama-C Website
  • Merge requests
  • !117

[doc] update bug report guidelines from userman

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Andre Maroneze requested to merge update-bug-report-guidelines into master Jun 14, 2021
  • Overview 3
  • Commits 1
  • Pipelines 1
  • Changes 2

J'ai converti le LaTeX du chapitre Reporting Errors du userman vers du Markdown, et corrigé 2-3 trucs. C'est un peu sommaire, mais je ne sais pas s'il y a besoin de plus que ça.

Je pourrais ajouter des outils et méthodes pour aider à reporter le bug (passer CReduce pour offusquer le code, par exemple), mais dans ce cas, autant les ajouter aussi au userman.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: update-bug-report-guidelines