1. 03 Mar, 2022 5 commits
  2. 02 Mar, 2022 4 commits
  3. 01 Mar, 2022 2 commits
  4. 18 Feb, 2022 1 commit
  5. 07 Feb, 2022 2 commits
  6. 06 Feb, 2022 1 commit
  7. 01 Feb, 2022 1 commit
  8. 29 Jan, 2022 1 commit
  9. 28 Jan, 2022 1 commit
  10. 27 Jan, 2022 1 commit
  11. 26 Jan, 2022 1 commit
  12. 25 Jan, 2022 1 commit
  13. 22 Jan, 2022 3 commits
  14. 20 Jan, 2022 1 commit
  15. 18 Jan, 2022 3 commits
  16. 10 Mar, 2021 1 commit
  17. 19 Feb, 2021 1 commit
  18. 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
  19. 31 Dec, 2020 1 commit
  20. 18 Dec, 2020 2 commits
  21. 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
  22. 22 Nov, 2020 1 commit
  23. 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
  24. 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