about summary refs log tree commit diff homepage
path: root/utils/hacks
diff options
context:
space:
mode:
authorMarko Dimjašević <marko@cs.utah.edu>2016-02-23 23:09:28 -0700
committerMarko Dimjašević <marko@cs.utah.edu>2016-02-23 23:09:28 -0700
commit1aef38cd48413b8c1fa94ea42256d313cf6e58d8 (patch)
tree048d599c9fe1125d4e81057e58ec5203ee1c326c /utils/hacks
parentf76b6c5fe0ce8920ee6edb13802f857dae49e785 (diff)
downloadklee-1aef38cd48413b8c1fa94ea42256d313cf6e58d8.tar.gz
Added missing copyright headers per klee/issue #301
Diffstat (limited to 'utils/hacks')
-rwxr-xr-xutils/hacks/TreeGraphs/Animate.py9
-rw-r--r--utils/hacks/TreeGraphs/DumpTreeStream.py9
-rw-r--r--utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py10
-rw-r--r--utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py9
-rw-r--r--utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py9
-rw-r--r--utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py9
-rw-r--r--utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py11
-rw-r--r--utils/hacks/TreeGraphs/Graphics/Geometry/quat.py9
-rw-r--r--utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py9
-rw-r--r--utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py9
-rw-r--r--utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py9
-rwxr-xr-xutils/hacks/TreeGraphs/TreeGraph.py9
12 files changed, 110 insertions, 1 deletions
diff --git a/utils/hacks/TreeGraphs/Animate.py b/utils/hacks/TreeGraphs/Animate.py
index 07f43756..03be6643 100755
--- a/utils/hacks/TreeGraphs/Animate.py
+++ b/utils/hacks/TreeGraphs/Animate.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- Animate.py --------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import os
 import TreeGraph
 import Image
diff --git a/utils/hacks/TreeGraphs/DumpTreeStream.py b/utils/hacks/TreeGraphs/DumpTreeStream.py
index b3614c7c..0b3f0ee1 100644
--- a/utils/hacks/TreeGraphs/DumpTreeStream.py
+++ b/utils/hacks/TreeGraphs/DumpTreeStream.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- DumpTreeStream.py -------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 
 import sys, os, struct
diff --git a/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py b/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py
index 048540ab..664ac668 100644
--- a/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py
+++ b/utils/hacks/TreeGraphs/Graphics/Canvas/__init__.py
@@ -1,3 +1,13 @@
+# ===-- __init__.py -------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
+
 from __future__ import division
 
 ###
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py b/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py
index d310c20a..9e97a943 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py
@@ -1,3 +1,12 @@
+# ===-- Intersect2D.py ----------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import vec2, math
 
 def intersectLineCircle((p, no), (C, r)):
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py b/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py
index 5a09be62..fc101475 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/mat2.py
@@ -1,3 +1,12 @@
+# ===-- mat2.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import vec2
 
 def det(m):
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py b/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py
index c25d7e50..d2c23b1b 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/mat3.py
@@ -1,3 +1,12 @@
+# ===-- mat3.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import vec3,mat2
 
 def identity():
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py b/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py
index e927c936..3d161fe4 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/mat4.py
@@ -1,3 +1,12 @@
+# ===-- mat4.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import vec4,mat3
 
 def identity():
@@ -150,4 +159,4 @@ def inv(m):
 	
 def toGL(m):
 	m0,m1,m2,m3= m
-	return m0+m1+m2+m3
\ No newline at end of file
+	return m0+m1+m2+m3
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py b/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py
index 663d3d8c..c564a9f3 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/quat.py
@@ -1,3 +1,12 @@
+# ===-- quat.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 
 import math
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py b/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py
index 73bc5717..fa4c722c 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/vec2.py
@@ -1,3 +1,12 @@
+# ===-- vec2.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 from math import ceil,floor,sqrt,atan2,pi,cos,sin
 import random
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py b/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py
index 48ebf129..5235f844 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/vec3.py
@@ -1,3 +1,12 @@
+# ===-- vec3.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 from math import ceil,floor,sqrt
 from random import random as _random
diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py b/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py
index c0741bb3..398c5c51 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/vec4.py
@@ -1,3 +1,12 @@
+# ===-- vec4.py -----------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 from math import ceil,floor,sqrt
 import vec3
diff --git a/utils/hacks/TreeGraphs/TreeGraph.py b/utils/hacks/TreeGraphs/TreeGraph.py
index 28bd9fd6..3b4d3e96 100755
--- a/utils/hacks/TreeGraphs/TreeGraph.py
+++ b/utils/hacks/TreeGraphs/TreeGraph.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- TreeGraph.py ------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 import sys
 from types import GeneratorType