diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-21 09:16:16 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-21 09:16:16 (GMT) |
commit | d876f1b16c7cfbec53ccee1d89a2fa146569fd94 (patch) | |
tree | ea2381c269c66b37fa00b342c217b7f1e43213f1 /.gitignore | |
parent | ef4eb9b94078f11a566865741a76f056ae5804c3 (diff) | |
download | uscxml-d876f1b16c7cfbec53ccee1d89a2fa146569fd94.zip uscxml-d876f1b16c7cfbec53ccee1d89a2fa146569fd94.tar.gz uscxml-d876f1b16c7cfbec53ccee1d89a2fa146569fd94.tar.bz2 |
optimized queue length calculations for promela transformation
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -25,3 +25,5 @@ contrib/prebuilt/include/* /embedding/csharp/uSCXMLEmbedding/bin/ /embedding/csharp/uSCXMLEmbedding/obj/ + +/test/w3c/graphs/ |