Commit Graph

220 Commits

Author SHA1 Message Date
Gunnar Morling
39577b091c DBZ Adding Henryk to COPYRIGHT.txt 2017-11-13 16:36:56 +01:00
Gunnar Morling
2f3481b5fc DBZ-285 Adding Ewen Cheslack-Postava to COPYRIGHT.txt 2017-11-10 17:11:59 +01:00
Gunnar Morling
c29c5c933e DBZ-424 Adding Scofield Xu to COPYRIGHT.txt 2017-11-03 15:07:26 +01:00
Gunnar Morling
7729cfe4fe Adding MaoXiang Pan to COPYRIGHT.txt 2017-11-02 12:24:05 +01:00
Gunnar Morling
6a8e08db5d DBZ-363 Indentation fix; adding Ben Williams to copyright.txt 2017-10-18 10:31:00 +02:00
Gunnar Morling
4e06c7e8e7 Adding Liu Hanlin to COPYRIGHT.txt 2017-09-19 09:13:14 +02:00
Gunnar Morling
73d33ecc55 Adding Steven Siahetiong to COPYRIGHT.txt 2017-08-17 09:56:26 +02:00
Gunnar Morling
0a83dc6219 Adding Satyajit Vegesna to COPYRIGHT.txt 2017-08-17 08:56:23 +02:00
Mario Mueller
2a2f911e74 DBZ-327 Fix broken SMT validation and add some tests for the
configuration combinations
2017-08-16 11:57:48 +02:00
Gunnar Morling
c319168871 Adding Emrul to COPYRIGHT.txt 2017-07-27 10:06:54 +02:00
Gunnar Morling
03d3160bb0 Adding Matteo to COPYRIGHT.txt 2017-07-25 14:37:46 +02:00
Gunnar Morling
a1e68d413f Adding Eric to COPYRIGHT.txt 2017-07-25 09:52:38 +02:00
Gunnar Morling
4eda7b9651 Adding Aaron Rosenberg to copyright.txt 2017-06-08 22:18:21 +02:00
Gunnar Morling
b0f3c0994b Adding Jiri to COPYRIGHT.txt 2017-06-01 16:21:21 +02:00
Gunnar Morling
110bfbe9e0 DBZ-250 Adding Duncan Sands to COPYRIGHT.txt 2017-06-01 16:20:29 +02:00
Gunnar Morling
480ba9f507 Adding Brendan Maguire to COPYRIGHT.txt 2017-05-05 21:59:38 +02:00
Gunnar Morling
0f58709481 Sorting COPYRIGHT.txt alphabetically 2017-05-04 09:33:19 +02:00
Gunnar Morling
0b0523243b Adding Omar and myself to COPYRIGHT.txt 2017-05-04 09:32:12 +02:00
Randall Hauch
333cf8e010 Updated list of contributors 2017-02-10 15:37:23 -06:00
Randall Hauch
d617f7c02b Readded copyright file with correct case. 2016-01-27 09:09:30 -06:00