← Back to branch summary

~verifypn-cpn/verifypn/verifypn-games

From Revision 269 to 250

expand all expand all

Rev   Summary Authors Date Diff Files
269
skipping when undet found
Peter G. Jensen 3 years ago Diff Files
268
removing premature optimization
Peter G. Jensen 3 years ago Diff Files
267
reverted into a json map
Peter G. Jensen 3 years ago Diff Files
266
added strategy printing
Peter G. Jensen 3 years ago Diff Files
265
added flag for outputting strategy
Peter G. Jensen 3 years ago Diff Files
264
small fixes to validation
Peter G. Jensen 3 years ago Diff Files
263
should handle it correctly
Peter G. Jensen 3 years ago Diff Files
262
fixing safety game
Peter G. Jensen 3 years ago Diff Files
261
minor reformat
Peter G. Jensen 3 years ago Diff Files
260
fixed unitialized variable leading to non-det choice of succ...
Peter G. Jensen 3 years ago Diff Files
259
skipping cycle-addition, should be implied by other conditio...
Peter G. Jensen 3 years ago Diff Files
258
fixing measures
Peter G. Jensen 4 years ago Diff Files
257
removing debug-full-fixpoint computation
Peter G. Jensen 4 years ago Diff Files
256
fixed bug from refactoring
Peter G. Jensen 4 years ago Diff Files
255
readded static
Peter G. Jensen 4 years ago Diff Files
254
more errors in assignment
Peter G. Jensen 4 years ago Diff Files
253
more issues with DG assignments
Peter G. Jensen 4 years ago Diff Files
252
removed permissive flag
Peter G. Jensen 4 years ago Diff Files
251
fixed a few issues with permissiveness and fixpoint computat...
Peter G. Jensen 4 years ago Diff Files
250
added lower-bounds computation
Peter G. Jensen 4 years ago Diff Files