DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols
GNU General Public License v3.0
17 stars 2 forks source link

Detection of physical cores at runtime #55

Open VincentCheval opened 4 years ago

VincentCheval commented 4 years ago

Currently the detection of the number of physical core is done during compilation. It would be better (and less Makefile dependent) to do it at runtime.