update submodule |
|
More...
|
3 months ago
|
Revert "better parameter file for c95" |
|
More...
|
3 months ago
|
Revert "better parameter file for c105" |
|
More...
|
3 months ago
|
Revert "better parameter file for c115" |
|
More...
|
3 months ago
|
better parameter file for c115 |
|
More...
|
3 months ago
|
better parameter file for c105 |
|
More...
|
3 months ago
|
better parameter file for c95 |
|
More...
|
3 months ago
|
$BUILDDIR/cado-nfs.py appears to work |
|
More...
|
3 months ago
|
fix warning on old gcc's |
|
More...
|
3 months ago
|
c++17 changes |
|
More...
|
3 months ago
|
re-enable shared libs on freebsd. |
|
More...
|
3 months ago
|
Fix wrong cmake code (introduced in ac1e360a5) |
|
More...
|
3 months ago
|
Merge branch '30079-job-failed-3694999' into 'master' |
|
More...
|
4 months ago
|
increase valgrind timeout |
|
More...
|
4 months ago
|
Merge branch 'cado-nfs-server-changes' into 'master' |
|
More...
|
4 months ago
|
tasks.filter.mergetask.run = False |
|
More...
|
4 months ago
|
a few minor changes in client behaviour. |
|
More...
|
4 months ago
|
allow the client to exit when the server gets errno111 |
|
More...
|
4 months ago
|
Merge branch 'master' of gitlab.inria.fr:cado-nfs/cado-nfs |
|
More...
|
4 months ago
|
Merge branch 'fix-compilation-warning-debian-12-arm64' into 'master' |
|
More...
|
4 months ago
|
update ci/ci |
|
More...
|
4 months ago
|
Fix complilation warning on debian 12 arm64. |
|
More...
|
5 months ago
|
Fix compilation warning on debian 12 arm64. |
|
More...
|
5 months ago
|
added tentative configuration for gr20 |
|
More...
|
5 months ago
|
removed obsolete parameter |
|
More...
|
5 months ago
|
Merge branch 'fix-docker-factoring-client' into 'master' |
|
More...
|
5 months ago
|
fix docker image factoring-client |
|
More...
|
5 months ago
|
Merge branch 'fix-sporadic-failures-in-night-checks' into 'master' |
|
More...
|
5 months ago
|
expand timeout for test-flint-debug-magma_mp_fppol (and friends) |
|
More...
|
5 months ago
|
Fix bug in CMakeLists.txt (local/global name clash) |
|
More...
|
5 months ago
|