Content - 0e9d2a5fd37e0fa50d91edecf9bc2d2439d3a40a - 30331ac/system/callprover.c

visit type:

https://github.com/EasyCrypt/easycrypt

05 April 2024, 19:20:55 UTC

Tip revision: 863066bded664a5e2aba7f89c4fb7bc2afd0e28d authored by Pierre-Yves Strub on 23 September 2015, 08:28:02 UTC
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`

Tip revision: 863066b

callprover.c

/* ------------------------------------------------------------------------ */
#if defined(__WIN32__)
#include <SDKDDKVer.h>

#include <stdlib.h>
#include <Windows.h>

int wmain(int argc, LPWSTR argv[]) {
  (void) argc;
  (void) argv;
  abort();
}
#else
# include "unix/callprover.c"
#endif