Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix clang build and make output more portable/predictible
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 6 Mar 2023 09:50:07 +0000 (10:50 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 6 Mar 2023 09:50:07 +0000 (10:50 +0100)
commitc98615d9dab06a7d902e1c62ddab30d2e90d6f17
tree2494159488bb9a3ed00ee833da3517a15affbd83
parentfba44e13f2b2b7fb3f99030e5a59cd1eb721d558
Fix clang build and make output more portable/predictible
examples/sthread/stdobject/stdobject.tesh
src/mc/transition/TransitionObjectAccess.cpp
src/sthread/ObjectAccess.cpp