You've already forked code_examples_server
mirror of
https://github.com/AdaCore/code_examples_server.git
synced 2026-02-12 12:45:18 -08:00
20 lines
489 B
YAML
20 lines
489 B
YAML
---
|
|
sources:
|
|
- repo: https://github.com/AdaCore/Compile_And_Prove_Demo.git
|
|
examples:
|
|
- examples/hello_world
|
|
- examples/absolute_value
|
|
- examples/bitwise_swap
|
|
- examples/saturate_angle
|
|
- examples/sensor_average
|
|
- examples/strings
|
|
- examples/communications
|
|
- examples/landing_procedure
|
|
- repo: templates
|
|
examples:
|
|
- simple_main
|
|
- ada_main
|
|
- spark_main
|
|
- inline_code
|
|
...
|