← Back to branch summary

~verifypn-maintainers/verifypn/interval_tar

From Revision 364 to 345

expand all expand all

Rev   Summary Authors Date Diff Files
364
updated README with compilation instructions for mac
srba.jiri at gmail 3 years ago Diff Files
363
Updated readme
Kenneth Yrke Jørgens... 3 years ago Diff Files
362
Updated readme with info for cross-compile
Kenneth Yrke Jørgens... 3 years ago Diff Files
361
Updated argeument for cross compile glpk for windows
Kenneth Yrke Jørgens... 3 years ago Diff Files
360
updated readme as TAR is now possible for all platforms
srba.jiri at gmail 3 years ago Diff Files
359
allowed compilation for Mac
srba.jiri at gmail 3 years ago Diff Files
358
another missing inhib check
Peter G. Jensen 3 years ago Diff Files
357
removing unused glpk import from STSolver
Peter G. Jensen 3 years ago Diff Files
356
fixed handling of inhibitor
Peter G. Jensen 3 years ago Diff Files
355
inhibitor arcs are not yet handled by TAR solver, so return ...
Peter G. Jensen 3 years ago Diff Files
354
added simple test-script and test models
Peter G. Jensen 3 years ago Diff Files
353
Merged in trunk
Peter G. Jensen 3 years ago Diff Files
352
cleanup
Peter G. Jensen 3 years ago Diff Files
351
cleaning up in visitor
Peter G. Jensen 3 years ago Diff Files
350
insert first, we change the set
Peter G. Jensen 4 years ago Diff Files
349
maximizing in trace
Peter G. Jensen 4 years ago Diff Files
348
fixing bug in TAR
Peter G. Jensen 4 years ago Diff Files
347
saving some cycles
Peter G. Jensen 4 years ago Diff Files
346
fixing trap guess
Peter G. Jensen 4 years ago Diff Files
345
random minimization of traps
Peter G. Jensen 4 years ago Diff Files