← Back to branch summary

~verifypn-cpn/verifypn/cpn-rule-i

From Revision 261 to 242

expand all expand all

Rev   Summary Authors Date Diff Files
261
Bug fix for fireability queries.
Andreas Klostergaard 6 years ago Diff Files
260
First draft of a finished rule I reducer.
Andreas Klostergaard 6 years ago Diff Files
259
Done for tonight. finished ruleI. Missing reduce function.
Andreas Klostergaard 6 years ago Diff Files
258
Added the forgotten files
Andreas Klostergaard 6 years ago Diff Files
257
Begun rule I for colored nets
Andreas Klostergaard 6 years ago Diff Files
256
fixed segfault
Peter G. Jensen 6 years ago Diff Files
255
fixed issue with negated fireability
Peter G. Jensen 6 years ago Diff Files
254
added check for negated fireability for cpn overapproximatio...
Peter G. Jensen 6 years ago Diff Files
253
fixed issue with upper bounds
Peter G. Jensen 6 years ago Diff Files
252
fixed issue with fireability and CPN approxc
Peter G. Jensen 6 years ago Diff Files
251
removed unused variable
Peter G. Jensen 6 years ago Diff Files
250
fixed issue with wrong answer for approximation
Peter G. Jensen 6 years ago Diff Files
249
fixed compiler flag
Peter G. Jensen 6 years ago Diff Files
248
fixed some warnings
Peter G. Jensen 6 years ago Diff Files
247
fixed missing check for reachability
Peter G. Jensen 6 years ago Diff Files
246
added check for upperbounds when using cpn approximation
Peter G. Jensen 6 years ago Diff Files
245
fixed error-codes
Peter G. Jensen 6 years ago Diff Files
244
fixed outputting
Peter G. Jensen 6 years ago Diff Files
243
pushing negation even for regular verification of colored ne...
Peter G. Jensen 6 years ago Diff Files
242
using negation-push to attempt to convert propositions into
Peter G. Jensen 6 years ago Diff Files