Merge requests · Rust

devops#7

mimung!1 · created Nov 13, 2021 by Leon Stichternath
- Merged
updated Nov 13, 2021
Resolve "IDE files are not in gitignore"

mimung!2 · created Nov 16, 2021 by Philipp Haker
updated Nov 16, 2021
Local search#10

mimung!4 · created Nov 19, 2021 by Leon Stichternath
- Merged
- Approved
updated Nov 22, 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
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
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 "Graph cycle count analyzer (for thorben)"

mimung!13 · created Jan 18, 2022 by Leon Stichternath
- Merged
- 1
updated Mar 04, 2022
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
Resolve "Benchmark datareduction rules"

mimung!17 · created Feb 04, 2022 by Kenneth Dietrich
- Merged
- 8
- Approved
updated Feb 07, 2022
remove dbg macros from fleischer

mimung!18 · created Feb 08, 2022 by Leon Stichternath
- Merged
- Approved
updated Feb 08, 2022
Resolve "rework current reduction rules to use montex"

mimung!20 · created Feb 23, 2022 by Kenneth Dietrich
Critical
- Merged
- Approved
updated Feb 24, 2022
add branching context

mimung!21 · created Feb 24, 2022 by Leon Stichternath
- Merged
updated Mar 01, 2022
local search ideas

mimung!22 · created Feb 25, 2022 by Leon Stichternath
- Merged
- 1
- Approved
updated Feb 25, 2022
Resolve "port the dfvs verifier to rust, it seems to be broken"

mimung!24 · created Feb 25, 2022 by Leon Stichternath
- Merged
- Approved
updated Feb 25, 2022
Resolve "Get started with heuristic"

mimung!25 · created Mar 07, 2022 by Leon Stichternath
- Merged
- Approved
updated Mar 08, 2022
Resolve "use rustc_hash for hash-stuff"

mimung!26 · created Mar 08, 2022 by Leon Stichternath
- Merged
- Approved
updated Mar 08, 2022
Resolve "Implement more reduction rules"

mimung!28 · created Mar 22, 2022 by Kenneth Dietrich
- Merged
- Approved
updated May 04, 2022