Main Navigation Home Get started Tutorials Cookbook Reference

Appearance

Sidebar Navigation

Get started

About

Installation

Shell Completion

Compilers

Tutorials

Overview

1. First steps

1. A first build

2. A fobos file

3. A library

4. Tests

5. Dependencies

2. Growing a project

1. Templates and variables

2. Profiles and features

3. OpenMP and MPI

4. A project using quad

5. Rules

6. Continuous integration

7. Other build systems

3. Many repositories

1. An ecosystem

2. The dashboard

3. Acting on every project

4. Before releasing

5. Shared boilerplate

6. The release train

4. Code quality

1. The linter

2. Suppressions and fixes

3. Reviewing a change

4. Querying the code

5. Verified modernisation

6. C and Python bindings

7. Instructions for agents

5. Verified numerics

1. Cases and quantities

2. References

3. Defects some builds see

4. How accurate is it?

5. Is a refactoring harmless?

6. Is it faster?

7. One command for all

8. Where the time goes

9. On a cluster

6. AI-assisted development

1. A local model

2. Build failures, explained

3. Crashes, located

4. Questions about the code

5. Generated tests

6. A second reader

7. Commit messages

8. Merge conflicts

9. An agent under the gate

Cookbook

All recipes

Building

Libraries and other build systems

Dependencies

Testing

Verifying results

Code quality

AI assistance

Models, knowledge and agents

Many projects

CI and machine output

HPC and clusters

Reference

Commands

All commands

build

clean

run

test

doctests

coverage

install

fetch

tree

check

introspect

rule

cache

new

scaffold

ecosystem

fpm

case

provenance

verify

matrix

assess

diff-run

bench

gate

profile

lint

review

query

modernize

bindings

agents-md

kb

ask

merge-assist

testgen

commit

llm

mcp

fobos Keys

User Configuration

Lint Rules

Changelog

Contributing

Architecture

On this page

The lock file — fobos.lock

This page has moved to the cookbook: The lock file — fobos.lock.

Pager

Next pageAbout

Released under the GPL v3 License.

The lock file — fobos.lock ​

The lock file — fobos.lock