*.bpr
*.bpf
### Documentation
-docs/source/java
docs/source/_ext/__pycache__/
doc/allclasses-frame.html
doc/allclasses-noframe.html
examples/smpi/mc/smpi_bugged1_liveness
examples/smpi/mc/smpi_bugged2
examples/smpi/mc/smpi_mutual_exclusion
+examples/smpi/mc/smpi_sendsend
examples/smpi/NAS/dt
examples/smpi/NAS/ep
examples/smpi/NAS/is