repositories / mc1516pa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a8c26f) | patch
some repairs for transition vars
authorAlexander Fedotov <soyaxhoya@gmail.com>
Wed, 13 Apr 2016 17:00:10 +0000 (19:00 +0200)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Wed, 13 Apr 2016 17:00:10 +0000 (19:00 +0200)
commitf20ca673d7c57ebab62deaaa5819e24b941349da
tree07ed0758dec90d70f75f3a260bd3da9e724d8fa4tree | snapshot
parent6a8c26fdf4e143d9009c3288659ed00bc7d88043commit | diff
some repairs for transition vars
modelchecker/coord.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.