~tapaal-ltl/verifypn/rule-D-fix

From Revision 233 to 214

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
233		updated README file updated README file	srba.jiri at gmail	3 years ago
232		merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heur... merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling	srba.jiri at gmail	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
227		fixed compilation with static libraries for mac fixed compilation with static libraries for mac	srba.jiri at gmail	3 years ago
226		updated version number to 3.1.0 updated version number to 3.1.0	srba.jiri at gmail	3 years ago
225		merged in lp:~verifypn-maintainers/verifypn/interval_tar doi... merged in lp:~verifypn-maintainers/verifypn/interval_tar doing  - Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.  - Replaces LP-Solve with GLPK, reduces computation-time and memory overhead  - Implements new global properties, translated into CTL formulae.	srba.jiri at gmail	3 years ago
224		updated MCC 2020 competition script updated MCC 2020 competition script	Jiri Srba	4 years ago
223		fixed a bug in MCC20 script BC should be BK fixed a bug in MCC20 script BC should be BK	Jiri Srba	4 years ago
222		updated MCC20 scripts and added README file for installing t... updated MCC20 scripts and added README file for installing the VM	srba.jiri at gmail	4 years ago
221		small update in scripts small update in scripts	srba.jiri at gmail	4 years ago
220		added MCC 2020 competition scripts added MCC 2020 competition scripts	srba.jiri at gmail	4 years ago
219		merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing... merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing a problem with equality check in NIM model	srba.jiri at gmail	5 years ago
218		merged in lp:~verifypn-maintainers/verifypn/emptyTracePrint ... merged in lp:~verifypn-maintainers/verifypn/emptyTracePrint fixing the printing of empty trace	Jiri Srba	5 years ago
217		increased version number to 3.0.2 increased version number to 3.0.2	Jiri Srba	5 years ago
216		merged in lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an... merged in lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation when reduction rule H is enabled	Jiri Srba	5 years ago
215		added consistency tests added consistency tests	srba.jiri at gmail	5 years ago
214		added MCC competition scripts added MCC competition scripts	Jiri Srba	5 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1