1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-24 16:35:28 +01:00

Default Branch

a10132e441 · Merge pull request #14 updating scripts/*.jl · Updated 2024-02-20 10:16:02 +01:00

Branches

a596fd78f5 · add scripts/PRA_has_T.jl · Updated 2024-02-27 18:14:59 +01:00

0
3

083e1b4735 · @info "checking in (...) arithmetic" before the actual check · Updated 2024-02-19 18:48:28 +01:00

2
0
Included

b01e26104e · add cocycle constraints from SDP duality paper by M.Nitsche · Updated 2024-02-06 13:34:10 +01:00

20
10

a05a0798ec · add tests for levels and their symmetrization · Updated 2023-05-22 22:46:22 +02:00

21
3

d40a0fe117 · fix error with printing of roots · Updated 2023-05-09 01:02:39 +02:00

24
0
Included

92d9e468d2 · run tests on Linux/MacOS only · Updated 2021-02-21 19:17:39 +01:00

92
0
Included

5acfff7b03 · disable precompilation · Updated 2019-03-01 21:42:02 +01:00

359
2

ef407c6a24 · correct the final printout · Updated 2017-09-10 13:06:44 +02:00

620
4