6cfd2bca14
Use proptest for all nalgebra tests.
2021-02-28 17:52:14 +01:00
86aeed6a09
Test nalgebra-sparse in CI
2021-01-26 10:11:24 +01:00
5dfe06897f
Rename nalgebra/proptest to /proptest-support
...
This gives us some freedom in the future, in case we need
additional dependencies for the proptest integration.
2021-01-26 09:49:01 +01:00
f909638bf4
Designate exhaustive matrix proptest as slow-tests
...
The slow-tests feature flag is intended to be used for tests
that take substantially more time to run than other unit tests.
2021-01-26 08:57:47 +01:00
f9ea2b4471
Initial proptest implementation for nalgebra
...
This introduces functionality for creating strategies for matrices and
vectors, as well as an implementation of Arbitrary.
Strategies for the geometric types (Point3, Quaternion etc.) are not
currently part of this contribution.
The current strategy implementation for matrices has some limitations
that lead to suboptimal shrinking behavior. This is documented in the
module-level docs, with some additional comments in the code.
2021-01-26 08:57:47 +01:00
92cf00a43c
circleci: add clippy job
2020-10-26 13:11:10 +01:00
b96181f6c4
CI: don't eanble --all-features when running the tests.
...
This would enable the libm_force feature which results in less accurate results causing some tests to fail.
2020-08-25 21:04:37 +02:00
384aee8325
CI: don't run nalgebra-lapack test for now.
...
This leads to link errors that will need to be investigated later.
2020-04-05 21:00:42 +02:00
89a6251292
CI: install dependencies for the tests too.
2020-04-05 20:45:19 +02:00
ed85d5418a
CI: use openblas instead of netlib.
2020-04-05 20:05:53 +02:00
4233ba1131
CI: add some missing dependencies for lapack
2020-04-05 19:57:31 +02:00
0c0915d45c
CI: install cmake for lapack compilation.
2020-04-05 19:53:25 +02:00
7bbca5c616
CI: fix feature selection for nalgebra-lapack.
2020-04-05 19:41:58 +02:00
d802b6b5bf
CI: add missing component for compiling with Xargo.
2020-04-05 19:00:16 +02:00
eadcb31e78
CI: run the no-std build with the nightly compiler.
2020-04-05 18:56:44 +02:00
8d41a5c20f
CI: fix some syntax errors.
2020-04-05 18:53:50 +02:00
bc1b62d06a
circleci: run tests too.
2020-04-05 18:48:21 +02:00
615e092b24
Add circle CI configuration files.
2020-04-05 18:43:45 +02:00
Crozet Sébastien
Andreas Longva
Philippe Renon