← Back to branch summary

~tapaal-ltl/verifypn/scc-optimise

« back to all changes in this revision

Viewing changes to PetriParse/rapidxml/license.txt

  • Committer: srba.jiri at gmail
  • Date: 2020-09-11 14:23:39 UTC
  • mfrom: (213.1.151 interval_tar)
  • Revision ID: srba.jiri@gmail.com-20200911142339-bq9328s1gppw24uj
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.

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriParse/rapidxml/license.txt
1
 
Use of this software is granted under one of the following two licenses,
2
 
to be chosen freely by the user.
3
 
 
4
 
1. Boost Software License - Version 1.0 - August 17th, 2003
5
 
===============================================================================
6
 
 
7
 
Copyright (c) 2006, 2007 Marcin Kalicinski
8
 
 
9
 
Permission is hereby granted, free of charge, to any person or organization
10
 
obtaining a copy of the software and accompanying documentation covered by
11
 
this license (the "Software") to use, reproduce, display, distribute,
12
 
execute, and transmit the Software, and to prepare derivative works of the
13
 
Software, and to permit third-parties to whom the Software is furnished to
14
 
do so, all subject to the following:
15
 
 
16
 
The copyright notices in the Software and this entire statement, including
17
 
the above license grant, this restriction and the following disclaimer,
18
 
must be included in all copies of the Software, in whole or in part, and
19
 
all derivative works of the Software, unless such copies or derivative
20
 
works are solely in the form of machine-executable object code generated by
21
 
a source language processor.
22
 
 
23
 
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
24
 
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
25
 
FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT
26
 
SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE
27
 
FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE,
28
 
ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
29
 
DEALINGS IN THE SOFTWARE.
30
 
 
31
 
2. The MIT License
32
 
===============================================================================
33
 
 
34
 
Copyright (c) 2006, 2007 Marcin Kalicinski
35
 
 
36
 
Permission is hereby granted, free of charge, to any person obtaining a copy 
37
 
of this software and associated documentation files (the "Software"), to deal 
38
 
in the Software without restriction, including without limitation the rights 
39
 
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
40
 
of the Software, and to permit persons to whom the Software is furnished to do so, 
41
 
subject to the following conditions:
42
 
 
43
 
The above copyright notice and this permission notice shall be included in all 
44
 
copies or substantial portions of the Software.
45
 
 
46
 
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 
47
 
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
48
 
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 
49
 
THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 
50
 
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
51
 
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS 
52
 
IN THE SOFTWARE.