- 11 Oct, 2019 4 commits
-
-
Vivien Kraus authored
I plan to take out the game from counter_and_game_add_event, so that we can use the counter in the private API without associating a game.
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
This bugs out the fuzzy tester.
-
- 10 Oct, 2019 6 commits
-
-
Vivien Kraus authored
-
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 7 commits
-
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-