Commit Graph

282 Commits

Author SHA1 Message Date
Gunnar Morling
6da83dc8c7 DBZ-646 Adding Maciej Bryński to COPYRIGHT.txt 2018-03-18 18:30:52 +01:00
Gunnar Morling
dd19b1b482 DBZ-602 Adding Stephen Powis to COPYRIGHT.txt 2018-03-06 16:00:32 +01:00
Gunnar Morling
e4f11eab69
Adding René Kerner to COPYRIGHT.txt 2018-02-27 11:38:09 +01:00
Gunnar Morling
5491b2775e DBZ-582 Adding Raf Liwoch to COPYRIGHT.txt 2018-02-13 10:19:18 +01:00
Gunnar Morling
80e82edb37 DBZ-409 Adding Sairam Polavarapu to COPYRIGHT.txt 2018-01-23 14:47:49 +01:00
Gunnar Morling
1bc9dec6f5 DBZ-555 Adding Denis Mikhaylov to COPYRIGHT.txt; formatting 2018-01-19 12:30:26 +01:00
Gunnar Morling
eee72ff94b DBZ-540 Adding Tom Bentley to COPYRIGHT.txt 2018-01-12 18:26:27 +01:00
Gunnar Morling
9710df5aaa DBZ-519 Adding Andrey Pustovetov to copyright.txt 2018-01-10 16:34:28 +01:00
Gunnar Morling
416b02c063 DBZ-349 Adding Andras Istvan Nagy to COPYRIGHT.txt 2017-12-13 12:34:30 +01:00
Gunnar Morling
fe9222a633 DBZ-474 Adding Attila Szucs to COPYRIGHT.txt 2017-11-20 17:39:51 +01:00
Gunnar Morling
be5060d985 DBZ-466 Adding David Szabo to COPYRIGHT.txt 2017-11-16 17:44:58 +01:00
Gunnar Morling
79a2e4a6c2 DBZ-396 Formatting and typo fix;
Also adding Peter to COPYRIGHT.txt
2017-11-14 11:37:28 +01:00
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