← Back to branch summary

~tapaal-contributor/verifypn/update-parser

From Revision 296 to 277

expand all expand all

Rev   Summary Authors Date Diff Files
296
updated text in help
Peter G. Jensen 2 years ago Diff Files
295
Reset both sides in inequality after equality fails
tpede16 at aau 2 years ago Diff Files
294
fixing loop guard
Peter G. Jensen 2 years ago Diff Files
293
fixing type
Peter G. Jensen 2 years ago Diff Files
292
remove unused variable
Peter G. Jensen 2 years ago Diff Files
291
fixing simplify again
Peter G. Jensen 2 years ago Diff Files
290
removing unused code, initializing variable
Peter G. Jensen 2 years ago Diff Files
289
fixing off-by-one when reducing, leading to segfault
Peter G. Jensen 2 years ago Diff Files
288
making destructor virtual
Peter G. Jensen 2 years ago Diff Files
287
Fix inequality implementation to not just invert the varmap
tpede16 at aau 2 years ago Diff Files
286
Re-add relevant comment
tpede16 at aau 2 years ago Diff Files
285
Remove unused loop and old comment
tpede16 at aau 2 years ago Diff Files
284
fixed deallocation
Peter G. Jensen 2 years ago Diff Files
283
unused field removed
Peter G. Jensen 2 years ago Diff Files
282
remember to deallocate
Peter G. Jensen 2 years ago Diff Files
281
no need for casting
Peter G. Jensen 2 years ago Diff Files
280
removing unused method
Peter G. Jensen 2 years ago Diff Files
279
removing funky static, fixing types, more const
Peter G. Jensen 2 years ago Diff Files
278
Attempt to fix dot constant colortype assignment
tpede16 at aau 2 years ago Diff Files
277
Disable stable places check when fixpoint has not been compu...
tpede16 at aau 2 years ago Diff Files