This repository has been archived on 2025-10-07. You can view files and clone it, but cannot push or open issues or pull requests.

Rodrigo Arias Mallo b60698b791 pkgs: update nixpkgs to 1614b96a

2023-03-02 10:38:43 +01:00

..

slides

Add slides pdf

2021-01-14 13:06:20 +01:00

.gitignore

user guide: Add postprocessing section

2021-02-08 19:05:46 +01:00

blackbox.ms

garlic: Add blackbox diagram

2021-02-01 11:11:54 +01:00

branch.ms

Add branch diagram

2021-01-25 17:54:24 +01:00

execution.ms

Fix execution out path

2020-11-06 12:31:39 +01:00

gitbranch.pic

Add branch diagram

2021-01-25 17:54:24 +01:00

Makefile

user guide: Add postprocessing section

2021-02-08 19:05:46 +01:00

pp.ms

pp: fix code block for html

2021-02-08 19:05:19 +01:00

ref.i

Document the results and pp stages

2020-11-05 14:52:57 +01:00

s.css

user guide: generate html with css

2021-02-08 19:05:19 +01:00

ug.ms

pkgs: update nixpkgs to 1614b96a

2023-03-02 10:38:43 +01:00