Commits · master · MTV / coupled-similarity · GitLab

15 Feb, 2019 4 commits
- Merge branch 'master' into 'master' · 1d1dfef9
```
TACAS 2019 Changes

See merge request !1
```
  benkeks authored Feb 15, 2019
  1d1dfef9 Browse Files
- Correct flink/README.md link · 2ef57139
  benkeks authored Feb 15, 2019
  
  2ef57139 Browse Files
- Flink Readme link · a78a674f
  benkeks authored Feb 15, 2019
  
  a78a674f Browse Files
- Improve Isabelle proofs · 3a99aa3e
  benkeks authored Feb 15, 2019
  
  3a99aa3e Browse Files
30 Jan, 2019 3 commits
- Complete upgrade of Scala version · a6d32189
  benkeks authored Jan 30, 2019
  
  a6d32189 Browse Files
- Update shared scala code · 2929d8bc
  benkeks authored Jan 30, 2019
  
  2929d8bc Browse Files
- Upgrade scala/flink version; include TACAS 2019 benchmarks · e437e398
  benkeks authored Jan 30, 2019
  
  e437e398 Browse Files
16 Nov, 2018 1 commit
- Update public repo with upgraded Flink and Isabelle/HOL code · 80d4598e
  benkeks authored Nov 16, 2018
  
  80d4598e Browse Files
29 Oct, 2018 2 commits
- isabelle 2018 cont · 37bcb2de
  benkeks authored Oct 29, 2018
  
  37bcb2de Browse Files
- updated to isabelle 2018 · 037e2b91
  benkeks authored Oct 29, 2018
  
  037e2b91 Browse Files
18 Apr, 2018 2 commits
- readme text · 8775557f
  benkeks authored Apr 18, 2018
  
  8775557f Browse Files
- new repo without copyrighted content · 78822ee5
  benkeks authored Apr 18, 2018
  
  78822ee5 Browse Files