Merge requests · student-projects / bamapro-2019-ss

Finally remove sbv-transformation 8 of 8 tasks completed

!21 · created Aug 02, 2019 by Bennet Bleßmann switch from sbv to z3 lib To Review
- MERGED
- 0
updated Aug 05, 2019
Z3 library

!20 · created Jun 30, 2019 by Kai Prott switch from sbv to z3 lib
- MERGED
- 0
updated Jun 30, 2019
properly translate dependencies

!19 · created Jun 26, 2019 by Tammo Heilemann Complete Translation @BennetB @Tammo
- MERGED
- 0
updated Jun 28, 2019
Resolve "Add Module Name for Function Definitions"

!18 · created Jun 24, 2019 by Tammo Heilemann Complete Translation @BennetB @Tammo
- MERGED
- 0
updated Jun 26, 2019
Check Specifications

!10 · created May 25, 2019 by Kai Prott A tool for simple verifications @Tim @kaiprott
- MERGED
- 0
updated May 27, 2019
fix TupleId branch of findExtensibleRecords

!23 · created Aug 19, 2019 by Bennet Bleßmann To Review
- MERGED
- 0
updated Aug 20, 2019
Retranslation of counterexamples

!22 · created Aug 08, 2019 by Leif-Erik Krüger
- MERGED
- 0
updated Aug 08, 2019
Import check

!16 · created Jun 08, 2019 by Kai Prott
- MERGED
- 0
updated Jun 08, 2019
Elm ast to smt transform

!15 · created Jun 05, 2019 by Marvin Lira
- MERGED
- 0
updated Jun 05, 2019
make the elm-verify-external main use the Mode enum

!14 · created Jun 05, 2019 by Bennet Bleßmann
- MERGED
- 1
- 0
updated Jun 07, 2019
Add debug Parameter to verifyModules Methode and have elm-verify-integrated use it

!13 · created May 30, 2019 by Bennet Bleßmann
- MERGED
- 0
updated May 31, 2019
Integrate updated elm-verify-integrated and return errors again

!12 · created May 27, 2019 by Bennet Bleßmann elm-ast-to-smt-transform
- MERGED
- 0
updated May 28, 2019
Clean up sbv-transform library

!11 · created May 26, 2019 by Marvin Lira
- MERGED
- 0
updated May 26, 2019
Elm ast to smt transform

!9 · created May 24, 2019 by Marvin Lira
- MERGED
- 0
updated May 24, 2019
Merging both the internal and external approach

!7 · created May 17, 2019 by Bennet Bleßmann To Review
- MERGED
- 5
updated May 22, 2019
Sudoku annotated with Pre and Post Conditions 9 of 9 tasks completed

!5 · created May 03, 2019 by Bennet Bleßmann
- MERGED
- 1
updated May 17, 2019
4gewinnt

!4 · created May 03, 2019 by Leif-Erik Krüger
- MERGED
- 0
updated May 03, 2019
More comments and lets for Sudoku 4 of 4 tasks completed

!3 · created May 01, 2019 by Tammo Heilemann Sudoku
- MERGED
- 3
updated May 02, 2019
2048

!2 · created Apr 26, 2019 by Kai Prott
- MERGED
- 0
updated Apr 29, 2019
Sudoku 2 of 2 tasks completed

!1 · created Apr 24, 2019 by Bennet Bleßmann
- MERGED
- 0
updated Apr 26, 2019