homebrew-cask/Casks/tapaal.rb

cask 'tapaal' do
  version '3.1.0'
  sha256 '62314055445808d5ae2074623625c9ac38174aa294abd0d43590fe886c16fc46'

  url "http://www.tapaal.net/fileadmin/download/tapaal-3.1/tapaal-#{version}-mac64.dmg"
  name 'TAPAAL'
  homepage 'http://www.tapaal.net'
  license :oss

  app 'Tapaal.app'
end
Remove DSL versions from all casks 2015-12-18 09:15:28 +08:00			`cask 'tapaal' do`
Update tapaal.rb Updated the URL for TAPAAL project into the most recent version. 2014-06-23 05:28:13 +08:00			`version '3.1.0'`
			`sha256 '62314055445808d5ae2074623625c9ac38174aa294abd0d43590fe886c16fc46'`
Reformat tapaal.rb according to readability conventions 2014-06-27 08:01:47 +08:00
re-use version in tapaal 2014-09-26 20:09:14 +08:00			`url "http://www.tapaal.net/fileadmin/download/tapaal-3.1/tapaal-#{version}-mac64.dmg"`
tapaal.rb: add name 2015-05-03 04:41:51 +08:00			`name 'TAPAAL'`
Reformat tapaal.rb according to readability conventions 2014-06-27 08:01:47 +08:00			`homepage 'http://www.tapaal.net'`
Update tapaal license from unknown to oss Licensed under multiple OSS licenses, including BSD https://launchpad.net/tapaal 2015-03-17 05:24:55 +08:00			`license :oss`
Reformat tapaal.rb according to readability conventions 2014-06-27 08:01:47 +08:00
app stanza in tapaal.rb 2014-09-16 00:06:27 +08:00			`app 'Tapaal.app'`
Tapaal 2.4 - a timed Petri net modeler/verifier TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets, developed at Department of Computer Science at AALborg University in Denmark. Timed-Arc Petri Net (TAPN) is a time extension of the classical Petri net model (a commonly used graphical model of distributed computations introduced by Carl Adam Petri in his disseration in 1962). The time extension we consider allows for explicit treatment of real-time, which is associated with the tokens in the net (each tokens has its own age) and arcs from places to transitions are labelled by time intervals that restrict the age of tokens that can be used in order to fire the respective transition. In TAPAAL tool a furter extension of this model with age invariants with transport arcs (which are more expressive than for example previously considered read-arcs) and with inhibitor arcs is implemented. 2013-09-16 20:37:11 +08:00			`end`