9014 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Miroslav Stampar	3f1a8e81b4	Adding support for #3870	2019-08-13 15:22:02 +02:00
Miroslav Stampar	0e14647573	Minor refactoring	2019-08-13 14:59:10 +02:00
Miroslav Stampar	bfe8785ed5	Minor regrouping	2019-08-13 14:55:26 +02:00
Miroslav Stampar	412301bb18	Another trivial patch related to the last commit	2019-08-13 12:29:18 +02:00
Miroslav Stampar	fd4becf389	Minor deprecation patch (drei)	2019-08-13 12:27:28 +02:00
Miroslav Stampar	aa2682ec16	Fixes #3873	2019-08-13 12:23:45 +02:00
Miroslav Stampar	94ef433a37	Minor update for #3874	2019-08-13 11:58:33 +02:00
Miroslav Stampar	15f6796b04	Fixes #3871	2019-08-11 01:32:20 +02:00
Miroslav Stampar	de63238897	Minor patch for --threads and multi Ctrl-C	2019-08-06 02:54:18 +02:00
Miroslav Stampar	1824e5b094	Trivial removal of leftover	2019-08-04 01:05:28 +02:00
Miroslav Stampar	a42a7c88bd	Fixes #3841	2019-08-04 01:05:13 +02:00
Miroslav Stampar	b5063fc25a	Implementation for #3859	2019-08-02 20:29:52 +02:00
Miroslav Stampar	093b36f12d	Minor patch	2019-08-02 19:33:16 +02:00
Miroslav Stampar	a9de51380b	Implementation for #3845	2019-07-31 20:00:51 +02:00
Miroslav Stampar	ec0be6519f	Minor update	2019-07-31 19:53:20 +02:00
Miroslav Stampar	9e8aec37c8	Minor patch	2019-07-30 20:31:22 +02:00
Miroslav Stampar	1f644bd3ae	Fixes #3854	2019-07-30 20:28:56 +02:00
Miroslav Stampar	86abf179f2	Fixes #3850	2019-07-30 20:12:45 +02:00
Miroslav Stampar	4a6ff82273	Patch for #3851	2019-07-24 23:43:08 +02:00
Miroslav Stampar	198ceb8ba1	Minor update regarding the #3834	2019-07-19 12:24:34 +02:00
Miroslav Stampar	0bc5069042	Implements #3834	2019-07-19 12:17:07 +02:00
Miroslav Stampar	bd1ea4fd73	Fixes #3837	2019-07-18 20:32:02 +02:00
Miroslav Stampar	db90ff9c3f	Fixing mess with --common-files --threads>1 (threads in threads - '.shared.' hell)	2019-07-18 14:59:42 +02:00
Miroslav Stampar	b62680b4bc	Minor update (--technique=E --common-files)	2019-07-18 13:26:58 +02:00
Miroslav Stampar	819bf47a11	Minor update (storing force-partial)	2019-07-18 12:16:03 +02:00
Miroslav Stampar	f06e9ecb58	Minor update for #3833	2019-07-18 11:58:40 +02:00
Miroslav Stampar	8fda828bc9	Minor refactoring	2019-07-18 11:27:00 +02:00
Miroslav Stampar	453a6fbc6f	Update for #3831	2019-07-17 13:20:24 +02:00
Miroslav Stampar	9d0f446c24	Dummy patch for #3830	2019-07-17 13:03:48 +02:00
Miroslav Stampar	e6173d7eaa	Minor update	2019-07-17 10:30:14 +02:00
Miroslav Stampar	1b0488160e	Minor update	2019-07-16 15:07:20 +02:00
Miroslav Stampar	86392179c3	Minor patch related to the #3822	2019-07-16 14:02:16 +02:00
Miroslav Stampar	823119a247	Update regarding #3826	2019-07-16 13:37:41 +02:00
Miroslav Stampar	6b88fa3a30	Minor patch	2019-07-16 09:40:59 +02:00
Miroslav Stampar	3c4aadf995	Fixes #3823	2019-07-15 13:08:22 +02:00
Miroslav Stampar	34ed2c51ac	Minor style update	2019-07-12 14:19:25 +02:00
Miroslav Stampar	eb14f296f6	Fixes #3820	2019-07-12 13:41:07 +02:00
Miroslav Stampar	7d43429379	Fixes #3819	2019-07-12 12:18:56 +02:00
Miroslav Stampar	c3a95e81f5	Fixes #3797	2019-07-11 12:40:56 +02:00
Miroslav Stampar	c1ae1b432e	Update regarding #3813	2019-07-11 11:30:21 +02:00
Miroslav Stampar	84d0b346e7	Patch for #3816	2019-07-11 11:13:49 +02:00
Miroslav Stampar	4c8d348e2f	Fixes #3812	2019-07-11 10:56:38 +02:00
Miroslav Stampar	752aed2986	Patch for #3815	2019-07-10 13:49:41 +02:00
Miroslav Stampar	e10a96610d	Minor update	2019-07-10 10:49:05 +02:00
Miroslav Stampar	090cbf75f1	Minor update for #3808	2019-07-08 13:48:13 +02:00
Miroslav Stampar	71b63c9262	Update regarding 3804	2019-07-08 12:25:16 +02:00
Miroslav Stampar	f85abafd79	Patch for #3805	2019-07-08 11:55:04 +02:00
Miroslav Stampar	40bc53537c	Fixes #3806	2019-07-08 11:53:19 +02:00
Miroslav Stampar	b4c00f4172	Update regarding #3802	2019-07-07 16:17:24 +02:00
Miroslav Stampar	d0c48df62c	Fixes #3801	2019-07-07 15:56:54 +02:00