1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-22 16:05:27 +01:00
Go to file
2019-06-28 01:20:48 +02:00
src relax type assumptions in compute_SOS and else 2019-06-28 01:20:48 +02:00
test test the correctness of hpc sos computation 2019-04-16 17:05:34 +02:00
.codecov.yml Bootstrap Julia Package 2017-03-13 14:49:55 +01:00
.gitignore ignore results of tests 2019-01-18 16:00:17 +01:00
.travis.yml update travis (MbedTLS is fixed) 2019-03-15 18:02:13 +01:00
appveyor.yml Bootstrap Julia Package 2017-03-13 14:49:55 +01:00
LICENSE.md Replace kalmar by real name 2017-12-31 16:51:20 +01:00
Manifest.toml updates to Manifest (binary Nemo!) 2019-04-02 18:41:43 +02:00
Project.toml add JLD 2019-02-23 00:13:48 +01:00
README.md Bootstrap Julia Package 2017-03-13 14:49:55 +01:00
REQUIRE version 0.2.0 2019-02-21 16:32:05 +01:00

Property(T)