Home Explore Help
Sign In
sam
/
TranslatingSCCDtoDEVS
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 5a842e14a3
Branches Tags

Commit History

Author SHA1 Message Date
  sampieters 5a842e14a3 Cleanup of tests (renaming, indexing, adding tests) 1 year ago
  sampieters 610ead5606 Provided much more options for trace verifier 1 year ago