- 18 Sep, 2019 1 commit
-
-
Vivien Kraus authored
-
- 01 Sep, 2019 5 commits
-
-
Vivien Kraus authored
I can replace the =tarot-features= program with this.
-
Vivien Kraus authored
The function will read the installed ARFF header, so it will not work uninstalled.
-
Vivien Kraus authored
There are 2 of them, one for the encoded features and one for the unencoded features.
-
Vivien Kraus authored
This will be used to look up the ARFF header.
-
Vivien Kraus authored
I don't want to break the API, so I won't touch =tarot_init=. The trick for the new function is that it should not make a difference if you don't use newer API functions, so you can always link against newer libtarot's.
-
- 31 Aug, 2019 9 commits
-
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
-
Vivien Kraus authored
Since all inputs have the same dimensions, we can reuse the CNN structure, even if we don't learn the same model for all variants.
-
Vivien Kraus authored
There was some duplicated code.
-
Vivien Kraus authored
int is not faster than size_t.
-
Vivien Kraus authored
- =n_players= is the number of players in the game, 3, 4 or 5; - =n_owners= is the number of card owners for the deal, 78.
-
- 28 Aug, 2019 1 commit
-
-
Vivien Kraus authored
-
- 27 Aug, 2019 5 commits
-
-
Vivien Kraus authored
Use (void) instead of ().
-
Vivien Kraus authored
The goal is to include the implementation last, but for that we need to forward declare =setup_contents=. And we also need to import =string.h= earlier.
-
Vivien Kraus authored
This is stupid because gcc can write the same code, but frama-c does not accept the static variant.
-
Vivien Kraus authored
frama-c does not want to see the same typedef twice.
-
Vivien Kraus authored
This is sad because I have to recompute the size dynamically. I hope it does not bring undefined behavior...
-
- 26 Aug, 2019 3 commits
-
-
Vivien Kraus authored
This is just a stupid error, gcc did not complain but frama-c did.
-
Vivien Kraus authored
The Pi constant is not very useful, we won't be doing floating point geometry.
-
Vivien Kraus authored
Frama-c does not know about =_Alignof=, because this is detected as a compiler built-in. I have not found any way more elegant than that.
-
- 25 Aug, 2019 2 commits
-
-
Vivien Kraus authored
If there are no bids yet, then the feature for the minimum bid would not handle this case, leading to an uninitialized *minimum output variable.
-
Vivien Kraus authored
-
- 24 Aug, 2019 1 commit
-
-
Vivien Kraus authored
Please refer to this specific branch.
-
- 07 Aug, 2019 6 commits
-
-
Vivien Kraus authored
When writing stub code, it is tempting to use the C identifier for the constants, instead of their actual value. This makes potential generated code slightly more easy to read.
-
Vivien Kraus authored
The Gir unfortunately has this 'utf8' or 'gchar' that can either mean a string or a char. We have to decide solely based on the equivalent C type.
-
Vivien Kraus authored
All class methods are described twice in the gir: once within the class, and once in the global namespace, but with an attribute indicating that it does not belong there. If we don't ignore these, we will have duplicate identifiers when writing bindings.
-
Vivien Kraus authored
As the C type was not present, it was impossible to write binding code that would compile nicely in C. Specifically, pointer-to-unsigned-ints would trigger at least a warning (not sure, not tested) when given instead of pointer-to-the-alias.
-
Vivien Kraus authored
-
Vivien Kraus authored
The "end" pointer was not recognized as an output parameter. Adding the annotation forces it to be an out (but nullable) parameter.
-
- 19 Jun, 2019 1 commit
-
-
Vivien Kraus authored
This reverts commit ae07be29.
-
- 12 Jun, 2019 1 commit
-
-
Vivien Kraus authored
-
- 02 Jun, 2019 2 commits
-
-
Vivien Kraus authored
-
Vivien Kraus authored
Except for Debian, because I don't know how to do that.
-
- 03 May, 2019 1 commit
-
-
Vivien Kraus authored
-
- 28 Apr, 2019 1 commit
-
-
Vivien Kraus authored
-
- 24 Apr, 2019 1 commit
-
-
Vivien Kraus authored
The "safe" target will build whatever is needed to ensure that no race will occur.
-