johnyf's Repositories

johnyf / astutils

91%

Build #18: REL: add copyright notices to package files on branch v0.0.4 over 5 years ago

v0.0.4: 91%

johnyf / openpromela

92%

Build #57: REL: bump version to 0.1.1 on branch master over 9 years ago

master: 92%

johnyf / promela

68%

Build #43: Merge e22101041c2bb02530fcea734e01df14572ba9c3 into 95c2358d43deeb7aea81910170868454212... on branch master over 4 years ago

master: 68%

johnyf / omega

79%

Build #109: API: use `dd.cudd.restrict` only when available to allow running with a pure Python in... on branch master over 7 years ago

master: 79%

johnyf / dd

88%

Build #237: REL: bump version to 0.5.5 on branch master over 7 years ago

master: 88%