Commits · acec3bd0ee1399f2f3ebca178a3d8b52c0ee9459 · PMC-SOG / mc-sog

May 07, 2020

	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

Apr 30, 2020

modifié : CMakeLists.txt · f351bad0

Chiheb Amer Abid authored 4 years ago

	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

Apr 23, 2020

modifié : src/CommonSOG.h · 1a57edeb
Chiheb Amer Abid authored 5 years ago
```
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h
```
1a57edeb

modifié : src/CMakeLists.txt · a4a42569

Chiheb Amer Abid authored 5 years ago

	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

Apr 14, 2020
- fix: add #include <functional> · 983340be
  Jaime Arias authored 5 years ago
  
  983340be
Apr 12, 2020
- modifié : README.md · ee8ce8d9
  Chiheb Amer Abid authored 5 years ago
  
  ee8ce8d9
Apr 11, 2020

modifié : src/ModelCheckerThV2.cpp · 3232b6bc
Chiheb Amer Abid authored 5 years ago
```
	modifié :         src/ModelCheckerThV2.h
```
3232b6bc
modifié : CMakeLists.txt · 3b98c550
Chiheb Amer Abid authored 5 years ago

3b98c550

modifié : CMakeLists.txt · e1d55c7b

Chiheb Amer Abid authored 5 years ago

	modifié :         src/CMakeLists.txt
	modifié :         src/ModelCheckerTh.h
	nouveau fichier : src/ModelCheckerThV2.cpp
	nouveau fichier : src/ModelCheckerThV2.h
	modifié :         src/main.cpp
	nouveau fichier : src/stacksafe.cpp
	nouveau fichier : src/stacksafe.h

e1d55c7b

Apr 09, 2020

modifié : src/ModelCheckerTh.cpp · 60bf156f
Chiheb Amer Abid authored 5 years ago

60bf156f
modifié : third-party/sylvan · 98d5ba41
Chiheb Amer Abid authored 5 years ago

98d5ba41
modifié : src/ModelCheckerTh.cpp · cf40a63a
Chiheb Amer Abid authored 5 years ago
```
	modifié :         third-party/sylvan (contenu modifié)
```
cf40a63a

modifié : src/CommonSOG.cpp · 4a35e98d

Chiheb Amer Abid authored 5 years ago

	modifié :         src/HybridKripke.cpp
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MDGraph.cpp
	modifié :         src/ModelCheckLace.cpp
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h
	modifié :         src/SogKripke.h
	modifié :         src/SogKripkeIteratorTh.cpp
	modifié :         src/sylvan_sog.c
	modifié :         third-party/sylvan (contenu modifié)

4a35e98d

Apr 06, 2020
- modifié : src/ModelCheckLace.cpp · 55166a5d
  Chiheb Amer Abid authored 5 years ago
  
  modifié : src/ModelCheckerTh.cpp
  55166a5d
Mar 31, 2020

modifié : src/CommonSOG.cpp · c9915e41

Chiheb Amer Abid authored 5 years ago

	modifié :         src/CommonSOG.h
	modifié :         src/LDDGraph.cpp
	modifié :         src/ModelCheckBaseMT.cpp
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/SogKripkeTh.cpp

c9915e41

Mar 30, 2020
- modifié : CMakeLists.txt · 6456d16b
  Chiheb Amer Abid authored 5 years ago
  
  modifié : src/SogKripkeTh.cpp
  6456d16b
Mar 23, 2020

modifié : src/CommonSOG.h · b1d45e9d

Chiheb Amer Abid authored 5 years ago

	modifié :         src/DistributedSOG.cpp
	modifié :         src/HybridKripkeState.h
	modifié :         src/HybridSOG.cpp
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/ModelCheckBaseMT.cpp
	modifié :         src/ModelCheckLace.cpp
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/main.cpp
	modifié :         src/threadSOG.cpp

b1d45e9d

modifié : src/HybridKripkeState.h · 69546a1d
Chiheb Amer Abid authored 5 years ago
```
	modifié :         src/main.cpp
```
69546a1d
modifié : README.md · 98857390
Chiheb Amer Abid authored 5 years ago
```
	modifié :         src/main.cpp
```
98857390

Mar 22, 2020
- modifié : README.md · 60ce3c22
  Chiheb Amer Abid authored 5 years ago
  
  modifié : src/main.cpp
  60ce3c22
Mar 21, 2020

modifié : src/LDDGraph.h · 728a6456

Chiheb Amer Abid authored 5 years ago

	modifié :         src/LDDState.cpp
	modifié :         src/LDDState.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/ModelCheckLace.cpp
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/main.cpp

728a6456

Feb 17, 2020
- modifié : src/main.cpp · 49dc6de5
  Chiheb Amer Abid authored 5 years ago
  
  49dc6de5
- modifié : src/CMakeLists.txt · 2c06fda2
  Chiheb Amer Abid authored 5 years ago
  
  2c06fda2
- modifié : src/main.cpp · a1af49d4
  Chiheb Amer Abid authored 5 years ago
  
  a1af49d4
- modifié : src/ModelCheckLace.cpp · 2fef92e0
  Chiheb Amer Abid authored 5 years ago
  
  2fef92e0
- modifié : src/ModelCheckLace.cpp · a1f05875
  Chiheb Amer Abid authored 5 years ago
  
  modifié : src/main.cpp
  a1f05875
Feb 15, 2020

modifié : src/main.cpp · 231f8b42
Chiheb Amer Abid authored 5 years ago

231f8b42

modifié : src/DistributedSOG.cpp · 3584e7b5

Chiheb Amer Abid authored 5 years ago

	modifié :         src/DistributedSOG.h
	modifié :         src/HybridSOG.cpp
	modifié :         src/HybridSOG.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MCHybridSOG.h
	modifié :         src/ModelCheckBaseMT.cpp
	modifié :         src/ModelCheckBaseMT.h
	modifié :         src/ModelCheckLace.cpp
	modifié :         src/ModelCheckLace.h
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h
	modifié :         src/main.cpp
	modifié :         src/threadSOG.cpp
	modifié :         src/threadSOG.h

3584e7b5

Feb 13, 2020
- Add 'include' folder of spot · e8cca976
  Jaime Arias authored 5 years ago
  
  e8cca976
- Download spot from URL instead of compiling from git · f5a668d8
  Jaime Arias authored 5 years ago
  
  f5a668d8
Feb 12, 2020
- Merge branch 'feature/fix_cmake' into 'master' · 30bbc07d
  Jaime Arias authored 5 years ago
  
  Fix CMake to find spot library See merge request !2
  30bbc07d
- Fix CMake to find spot library · cf184c6f
  Jaime Arias authored 5 years ago
  
  cf184c6f
Feb 11, 2020

modifié : src/CMakeLists.txt · ac81aad5

Chiheb Amer Abid authored 5 years ago

	modifié :         src/MCHybridSOG.cpp
	modifié :         src/ModelCheckLace.cpp
	modifié :         src/main.cpp
	modifié :         src/sylvan_sog.c

ac81aad5

Jan 17, 2020
- Add static spot libraries · da7ba2ea
  Jaime Arias authored 5 years ago
  
  da7ba2ea
- Merge · 965fea88
  Jaime Arias authored 5 years ago
  
  965fea88
Dec 23, 2019
- Fix: autoconfigure spot library · 4031b231
  Jaime Arias authored 5 years ago
  
  4031b231
Dec 22, 2019
- Add compilation of spot in the CMake · 2a374947
  Jaime Arias authored 5 years ago
  
  2a374947
Nov 28, 2019
- Update README.md · 3d0bb53a
  Hiba Ouni authored 5 years ago
  
  3d0bb53a
Nov 20, 2019
- Update README.md · 1f543adb
  Hiba Ouni authored 5 years ago
  
  1f543adb
Aug 18, 2019
- modifié : src/ModelCheckLace.cpp · e7718fae
  Chiheb Amer Abid authored 5 years ago
  
  modifié : src/ModelCheckLace.h modifié : src/sylvan_sog.c
  e7718fae