remove IDE related files
Showing
- .gitignore 28 additions, 0 deletions.gitignore
- .idea/.gitignore 0 additions, 8 deletions.idea/.gitignore
- .idea/.name 0 additions, 1 deletion.idea/.name
- .idea/mc-sog.iml 0 additions, 2 deletions.idea/mc-sog.iml
- .idea/misc.xml 0 additions, 7 deletions.idea/misc.xml
- .idea/modules.xml 0 additions, 8 deletions.idea/modules.xml
- .idea/vcs.xml 0 additions, 8 deletions.idea/vcs.xml
- cmake-build-debug/libraries/parser/pn-parser.cbp 0 additions, 159 deletionscmake-build-debug/libraries/parser/pn-parser.cbp
- cmake-build-debug/libraries/parser/src/RdPMonteur.lex.cpp 0 additions, 1912 deletionscmake-build-debug/libraries/parser/src/RdPMonteur.lex.cpp
- cmake-build-debug/libraries/parser/src/RdPMonteur.tab.cpp 0 additions, 1854 deletionscmake-build-debug/libraries/parser/src/RdPMonteur.tab.cpp
- cmake-build-debug/libraries/parser/src/RdPMonteur.tab.hpp 0 additions, 91 deletionscmake-build-debug/libraries/parser/src/RdPMonteur.tab.hpp
- cmake-build-debug/libraries/parser/src/pn-parser-src.cbp 0 additions, 110 deletionscmake-build-debug/libraries/parser/src/pn-parser-src.cbp
- cmake-build-debug/libraries/parser/tests/RdPtest 0 additions, 0 deletionscmake-build-debug/libraries/parser/tests/RdPtest
- cmake-build-debug/libraries/parser/tests/pn-parser-test.cbp 0 additions, 89 deletionscmake-build-debug/libraries/parser/tests/pn-parser-test.cbp
- cmake-build-debug/pmc-sog.cbp 0 additions, 562 deletionscmake-build-debug/pmc-sog.cbp
- cmake-build-debug/src/mc-sog 0 additions, 0 deletionscmake-build-debug/src/mc-sog
- cmake-build-debug/src/spool2-6.ltl.reduced 0 additions, 1 deletioncmake-build-debug/src/spool2-6.ltl.reduced
- cmake-build-debug/src/spool2.net 0 additions, 37 deletionscmake-build-debug/src/spool2.net
- cmake-build-debug/src/tring10-1.ltl.reduced 0 additions, 1 deletioncmake-build-debug/src/tring10-1.ltl.reduced
- cmake-build-debug/src/tring10-2.ltl.reduced 0 additions, 1 deletioncmake-build-debug/src/tring10-2.ltl.reduced
Loading
Please register or sign in to comment