- 10 Oct, 2019 5 commits
-
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
The repo does not exist anymore, because it would distribute non-free software in the Flatpak platform.
-
- 09 Oct, 2019 1 commit
-
-
Vivien Kraus authored
The current code is too slow to process through frama-c. With a set of assignments like that, it should be easier to process.
-
- 08 Oct, 2019 11 commits
-
-
Vivien Kraus authored
Resolve "Update the video" Closes #176 See merge request !178
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
Resolve "Adapt the game to use the tournament API" Closes #175 See merge request !177
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
Since the stacking predictor is Lasso-based, it implements predictor selection so some may be entirely unused.
-
Vivien Kraus authored
-
- 07 Oct, 2019 1 commit
-
-
Vivien Kraus authored
-
- 06 Oct, 2019 2 commits
-
-
Vivien Kraus authored
-
Vivien Kraus authored
-
- 05 Oct, 2019 2 commits
-
-
Vivien Kraus authored
Resolve "Implement the TournamentGame API" Closes #174 See merge request !176
-
Vivien Kraus authored
-
- 04 Oct, 2019 4 commits
-
-
Vivien Kraus authored
I have just added three functions to prepare the deal, bids and call for later. It is a little unfortunate that these configurations cannot be tested ahead of time, but everything has been documented.
-
Vivien Kraus authored
This is very embarrassing.
-
Vivien Kraus authored
Update the models See merge request !175
-
Vivien Kraus authored
-
- 03 Oct, 2019 2 commits
-
-
Vivien Kraus authored
Update the models See merge request !174
-
Vivien Kraus authored
-
- 02 Oct, 2019 8 commits
-
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
- 01 Oct, 2019 4 commits
-
-
Vivien Kraus authored
Update the models See merge request !173
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-