1. 10 Mar, 2021 1 commit
  2. 19 Feb, 2021 1 commit
  3. 27 Jan, 2021 1 commit
    • Chiheb Amer Abid's avatar
      modifié : CMakeLists.txt · ffc832c4
      Chiheb Amer Abid authored
      	modifié :         src/HybridKripkeState.h
      	modifié :         src/ModelCheckThReq.cpp
      	modifié :         src/SogKripkeIteratorTh.cpp
      	modifié :         src/main.cpp
      ffc832c4
  4. 31 Dec, 2020 1 commit
  5. 18 Dec, 2020 2 commits
  6. 17 Dec, 2020 3 commits
    • Chiheb Amer Abid's avatar
      Add of description of a new parameter in README.md corresponding to new... · d4419bf7
      Chiheb Amer Abid authored
      Add of description of a new parameter in README.md corresponding to new technique for building the SOG during model checking
      d4419bf7
    • Chiheb Amer Abid's avatar
      5e2aecfa
    • Chiheb Amer Abid's avatar
      modifié : CMakeLists.txt · 280d9023
      Chiheb Amer Abid authored
      	Added managing versions : PMCSOGConfig.h.in
      	modifié :         src/CMakeLists.txt
      	modifié :         src/CommonSOG.cpp
      	modifié :         src/CommonSOG.h
      	modifié :         src/HybridKripke.cpp
      	modifié :         src/HybridKripke.h
      	modifié :         src/HybridKripkeIterator.cpp
      	modifié :         src/HybridKripkeIterator.h
      	modifié :         src/HybridKripkeState.cpp
      	modifié :         src/HybridKripkeState.h
      	modifié :         src/LDDGraph.cpp
      	modifié :         src/LDDGraph.h
      	modifié :         src/LDDState.cpp
      	modifié :         src/LDDState.h
      	modifié :         src/MCHybridSOG.cpp
      	modifié :         src/MCHybridSOG.h
      	modifié :         src/ModelCheckBaseMT.h
      	modifié :         src/ModelCheckThReq.cpp
      	modifié :         src/ModelCheckThReq.h
      	modifié :         src/ModelCheckerCPPThread.cpp
      	modifié :         src/ModelCheckerCPPThread.h
      	modifié :         src/NewNet.cpp
      	modifié :         src/SafeDequeue.cpp
      	modifié :         src/SafeDequeue.h
      	modifié :         src/SogKripkeIteratorTh.cpp
      	modifié :         src/SogKripkeIteratorTh.h
      	modifié :         src/SogKripkeTh.cpp
      	modifié :         src/SylvanCacheWrapper.h
      	modifié :         src/SylvanWrapper.cpp
      	modifié :         src/SylvanWrapper.h
      	modifié :         src/TransSylvan.cpp
      	modifié :         src/TransSylvan.h
      	modifié :         src/main.cpp
      	md5 safe thread implementation : src/md5_hash.h
      280d9023
  7. 22 Nov, 2020 1 commit
  8. 21 Nov, 2020 1 commit
    • Chiheb Amer Abid's avatar
      modifié : CMakeLists.txt · f9d7406b
      Chiheb Amer Abid authored
      	modifié :         src/HybridKripkeState.h
      	modifié :         src/MCHybridSOG.cpp
      	modifié :         src/MCHybridSOG.h
      	modifié :         src/ModelCheckerTh.cpp
      	modifié :         src/SogKripkeIteratorTh.cpp
      	modifié :         src/SylvanCacheWrapper.cpp
      	modifié :         src/SylvanCacheWrapper.h
      	modifié :         src/SylvanWrapper.cpp
      	modifié :         src/SylvanWrapper.h
      	modifié :         src/main.cpp
      f9d7406b
  9. 12 Nov, 2020 1 commit
    • Chiheb Amer Abid's avatar
      modified: CMakeLists.txt · 850507ff
      Chiheb Amer Abid authored
      	modified:   src/CMakeLists.txt
      	modified:   src/LDDGraph.cpp
      	modified:   src/LDDGraph.h
      	modified:   src/MCHybridSOG.cpp
      	new file:   src/ModelCheckThReq.cpp
      	new file:   src/ModelCheckThReq.h
      	modified:   src/ModelCheckerTh.cpp
      	modified:   src/ModelCheckerTh.h
      	modified:   src/SogKripkeTh.cpp
      	modified:   src/SylvanWrapper.h
      	modified:   src/main.cpp
      850507ff
  10. 29 Oct, 2020 1 commit
  11. 21 Oct, 2020 4 commits
  12. 08 Oct, 2020 1 commit
  13. 07 Oct, 2020 2 commits
    • Chiheb Amer Abid's avatar
      modifié : CMakeLists.txt · 2e7efb1e
      Chiheb Amer Abid authored
      2e7efb1e
    • Chiheb Amer Abid's avatar
      modifié : CMakeLists.txt · 7974fbaa
      Chiheb Amer Abid authored
      	modifié :         src/CMakeLists.txt
      	modifié :         src/CommonSOG.cpp
      	modifié :         src/CommonSOG.h
      	modifié :         src/HybridKripke.cpp
      	modifié :         src/HybridKripkeIterator.cpp
      	modifié :         src/HybridSOG.cpp
      	modifié :         src/HybridSOG.h
      	modifié :         src/LDDGraph.cpp
      	modifié :         src/LDDGraph.h
      	modifié :         src/LDDState.cpp
      	modifié :         src/LDDState.h
      	modifié :         src/MCHybridSOG.cpp
      	modifié :         src/MCHybridSOG.h
      	modifié :         src/ModelCheckBaseMT.cpp
      	nouveau fichier : src/ModelCheckerCPPThread.cpp
      	nouveau fichier : src/ModelCheckerCPPThread.h
      	modifié :         src/ModelCheckerTh.cpp
      	modifié :         src/ModelCheckerTh.h
      	modifié :         src/NewNet.cpp
      	modifié :         src/NewNet.h
      	modifié :         src/SogKripke.cpp
      	modifié :         src/SogKripkeIterator.cpp
      	modifié :         src/SogKripkeIteratorTh.cpp
      	modifié :         src/SogKripkeTh.c...
      7974fbaa
  14. 06 Oct, 2020 1 commit
  15. 13 Jun, 2020 1 commit
  16. 11 Jun, 2020 1 commit
    • Chiheb Amer Abid's avatar
      Added statistics · 139ae84f
      Chiheb Amer Abid authored
      	modified:   CMakeLists.txt
      	modified:   src/CMakeLists.txt
      	modified:   src/CommonSOG.cpp
      	modified:   src/CommonSOG.h
      	modified:   src/HybridKripke.cpp
      	modified:   src/HybridKripkeIterator.cpp
      	modified:   src/HybridKripkeState.h
      	modified:   src/MCHybridSOG.cpp
      	modified:   src/ModelCheckerTh.cpp
      	modified:   src/ModelCheckerTh.h
      	modified:   src/ModelCheckerThV2.cpp
      	modified:   src/ModelCheckerThV2.h
      	modified:   src/SogKripkeIteratorTh.cpp
      	modified:   src/SogKripkeTh.cpp
      	new file:   src/SylvanWrapper.cpp
      	new file:   src/SylvanWrapper.h
      	modified:   src/main.cpp
      	modified:   third-party/sylvan
      139ae84f
  17. 30 May, 2020 1 commit
    • Chiheb Amer Abid's avatar
      modified: CMakeLists.txt · 554b4bd4
      Chiheb Amer Abid authored
      	modified:   src/CommonSOG.h
      	modified:   src/LDDGraph.cpp
      	modified:   src/ModelCheckerTh.cpp
      	modified:   src/ModelCheckerThV2.cpp
      	modified:   src/SafeDequeue.cpp
      	modified:   src/SafeDequeue.h
      	modified:   src/stacksafe.cpp
      	modified:   src/stacksafe.h
      	modified:   third-party/sylvan
      554b4bd4
  18. 14 May, 2020 1 commit
  19. 08 May, 2020 1 commit
  20. 07 May, 2020 3 commits
    • Chiheb Amer Abid's avatar
      modifié : src/MCHybridSOG.cpp · 70e0a004
      Chiheb Amer Abid authored
      70e0a004
    • Chiheb Amer Abid's avatar
      modifié : cmake-build-debug/src/mc-sog · a994a774
      Chiheb Amer Abid authored
      	modifié :         src/HybridSOG.cpp
      	modifié :         src/MCHybridSOG.cpp
      	modifié :         src/ModelCheckerThV2.cpp
      	modifié :         src/sylvan_sog.c
      	modifié :         src/sylvan_sog.h
      	modifié :         third-party/sylvan
      a994a774
    • Chiheb Amer Abid's avatar
      modifié : src/CommonSOG.h · acec3bd0
      Chiheb Amer Abid authored
      	modifié :         src/DistributedSOG.cpp
      	modifié :         src/DistributedSOG.h
      	modifié :         src/HybridSOG.cpp
      	modifié :         src/HybridSOG.h
      	modifié :         src/LDDGraph.cpp
      	modifié :         src/LDDGraph.h
      	modifié :         src/MCHybridSOG.cpp
      	modifié :         src/MCHybridSOG.h
      	modifié :         src/ModelCheckBaseMT.h
      	modifié :         src/ModelCheckLace.cpp
      	modifié :         src/ModelCheckerTh.cpp
      	modifié :         src/ModelCheckerTh.h
      	modifié :         src/ModelCheckerThV2.cpp
      	modifié :         src/ModelCheckerThV2.h
      	modifié :         src/main.cpp
      	modifié :         src/sylvan_sog.c
      	modifié :         src/threadSOG.cpp
      	modifié :         src/threadSOG.h
      acec3bd0
  21. 30 Apr, 2020 1 commit
    • Chiheb Amer Abid's avatar
      modifié : CMakeLists.txt · f351bad0
      Chiheb Amer Abid authored
      	modifié :         src/MCHybridSOG.cpp
      	modifié :         src/MCHybridSOG.h
      	modifié :         src/ModelCheckBaseMT.cpp
      	modifié :         src/ModelCheckBaseMT.h
      	modifié :         src/ModelCheckLace.h
      	modifié :         src/ModelCheckerTh.cpp
      	modifié :         src/ModelCheckerTh.h
      	modifié :         src/ModelCheckerThV2.cpp
      	modifié :         src/ModelCheckerThV2.h
      	modifié :         src/sylvan_sog.c
      f351bad0
  22. 23 Apr, 2020 2 commits
    • Chiheb Amer Abid's avatar
      modifié : src/CommonSOG.h · 1a57edeb
      Chiheb Amer Abid authored
      	modifié :         src/ModelCheckerTh.cpp
      	modifié :         src/ModelCheckerTh.h
      1a57edeb
    • Chiheb Amer Abid's avatar
      modifié : src/CMakeLists.txt · a4a42569
      Chiheb Amer Abid authored
      	modifié :         src/LDDGraph.cpp
      	modifié :         src/LDDGraph.h
      	modifié :         src/LDDState.h
      	modifié :         src/ModelCheckerThV2.cpp
      	modifié :         src/ModelCheckerThV2.h
      	nouveau fichier : src/SafeDequeue.cpp
      	nouveau fichier : src/SafeDequeue.h
      	modifié :         src/stacksafe.cpp
      	modifié :         src/stacksafe.h
      	modifié :         src/sylvan_sog.c
      	modifié :         third-party/sylvan
      a4a42569
  23. 14 Apr, 2020 1 commit
  24. 12 Apr, 2020 1 commit
  25. 11 Apr, 2020 3 commits
  26. 09 Apr, 2020 3 commits