github.com/AdaCore/spark2014

commit signals (0)

none

source signals (4)

• Dir: .codexTool: codex
• File: AGENTS.mdTool: agents-md

  # AGENTS.md
  
  Repository guidance for coding agents working on SPARK 2014.
  
  ## Project
  
  - GitLab project: `eng/spark/spark2014`
  
  ## Build And Test
  
  Assume the environment is already set up.
  
  - Build and install with `make` and `make install-all`.
  - The gnatprove testsuite does not rebuild tools automatically. Re-run `make`
    and `make install-all` before testing source changes.
  - Format Ada code with `make format`; verify formatting with `make check-format`.
  - Run tests from `testsuite/gnatprove/` with `./ru

• File: CLAUDE.mdTool: claude-code

  @AGENTS.md
  

• Dir: .claudeTool: claude-code

ignorefile signals (0)

none