lp:~yrke/tapaal/build-scripts

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

691. By Kenneth Yrke Jørgensen on 2012-03-12

Added some test release/build scripts

690. By Kenneth Yrke Jørgensen on 2012-03-12

Updated Makefile clean directive to remove eclipse build fails

689. By Kenneth Yrke Jørgensen on 2012-03-12

Extended Makefile with releasejar directive

Use this to build a relase where tapaal is packed as a jar

688. By Kenneth Yrke Jørgensen on 2012-03-12

Changed About to display version number

687. By Jiri Srba on 2012-03-12

added jiris launch4j-conf-file

686. By Kenneth Yrke Jørgensen on 2012-03-12

Removed gtkjfilechooser as it does not work on newer version of ubuntu

685. By Jiri Srba on 2012-03-12

Fixed the problem with premature end of file by removing a query and creating it again. Now it works fine.

684. By Jiri Srba on 2012-03-12

added release resources and removed other folder

683. By Jiri Srba on 2012-03-12

Fixes Bug #948502 but answering "Inconclusive verification result" for the cases where discrete inclusion is used for
unbounded nets on queries that do not have any trace. by TAPAAL Contributors review by Jiri Srba approved by Kenneth Yrke Jørgensen, Jiri Srba

682. By Jiri Srba on 2012-03-11

added icon tapaal 2.1 and replaced the old one 2.0 in the resource manager