~tapaal-ltl/verifypn/random-fix : changes

~tapaal-ltl/verifypn/random-fix » Changes from revision 247

From Revision 247 to 228

Rev	Summary	Authors	Date
247	fixed long int for windows compilation fixed long int for windows compilation	srba.jiri at gmail	3 years ago
246	increased version number to 4.1.0 (new unfolding approach an... increased version number to 4.1.0 (new unfolding approach and added heuristic search for LTL)	srba.jiri at gmail	3 years ago
245	added info on LTL to --help output added info on LTL to --help output	srba.jiri at gmail	3 years ago
244	fixing typo in script fixing typo in script	Peter G. Jensen	3 years ago
243	Improved Partitioning Improved Partitioning	Peter G. Jensen	3 years ago
242	Merge Merge	Peter G. Jensen	3 years ago
241	fixes for forward-approximation fixes for forward-approximation	Peter G. Jensen	3 years ago
240	checking if environment is set before using standard-values checking if environment is set before using standard-values	Peter G. Jensen	3 years ago
239	new script from Jiri new script from Jiri	Peter G. Jensen	3 years ago
238	fixing help output fixing help output	Peter G. Jensen	3 years ago
237	ltl competition ltl competition	Peter G. Jensen	3 years ago
236	merged mcc scripts merged mcc scripts	Peter G. Jensen	3 years ago
235	removed debug removed debug	Peter G. Jensen	3 years ago
234	adding propper random instantiation for search strategies adding propper random instantiation for search strategies	Peter G. Jensen	3 years ago
233	random fix random fix	Peter G. Jensen	3 years ago
232	Merged in improvements on LTL (including heuristics) and mig... Merged in improvements on LTL (including heuristics) and migration to c++17	Peter G. Jensen	3 years ago
231	merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colore... merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements	srba.jiri at gmail	3 years ago
230	merged in lp:~tapaal-contributor/verifypn/show-reduced-net a... merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -q 0	Jiri Srba	3 years ago
229	increased version number to 3.1.1 increased version number to 3.1.1	Jiri Srba	3 years ago
228	merged in lp:~tapaal-contributor/verifypn/show-reduced-net a... merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y coordinates when eexporting reduced net	Jiri Srba	3 years ago

Older »