Merge requests · Rust

Resolve "custom graph structure"

mimung!14 · created Jan 18, 2022 by Leon Stichternath
- Merged
- 9
- Approved
updated Feb 04, 2022
change ci container to :latest

mimung!15 · created Feb 01, 2022 by Leon Stichternath
- Merged
updated Feb 01, 2022
Datareducktion rules

mimung!10 · created Dec 03, 2021 by Kenneth Dietrich
- Merged
- 22
- Approved
updated Jan 25, 2022
Cycle finding#6 1 of 1 checklist item completed

mimung!11 · created Dec 06, 2021 by Leon Stichternath
updated Jan 13, 2022
Resolve "common structures"

mimung!6 · created Nov 26, 2021 by Leon Stichternath
- Merged
- 1
updated Dec 05, 2021
Resolve "Fix reader"

mimung!7 · created Nov 26, 2021 by Leon Stichternath
updated Nov 26, 2021
Changed long pre-commit hook to check if rust files were actually changed...

mimung!5 · created Nov 19, 2021 by Philipp Haker
- Merged
- Approved
updated Nov 22, 2021
Local search#10

mimung!4 · created Nov 19, 2021 by Leon Stichternath
- Merged
- Approved
updated Nov 22, 2021
Resolve "IDE files are not in gitignore"

mimung!2 · created Nov 16, 2021 by Philipp Haker
updated Nov 16, 2021
devops#7

mimung!1 · created Nov 13, 2021 by Leon Stichternath
- Merged
updated Nov 13, 2021