9 Commits

Author	SHA1	Message	Date
Tobias Gödderz	e1961ebb66	Avoid a race and a use-after-free bug in the RemoteExecutor (#10275)	2019-10-17 18:22:13 +02:00
Tobias Gödderz	6528c592c5	Bug fix/fix remote executor races (#10206) ... * Fix races in RemoteExecutor * Removed #ifdef	2019-10-10 12:36:53 +02:00
Simon	cb7bf0314b	Use fuerte in RemoteExecutor (#10077)	2019-09-27 16:20:38 +02:00
Dan Larkin-York	3d0246cb18	Decentralize includes (#9623)	2019-08-06 15:32:09 +02:00
Frank Celler	ac9f375fb5	big reformat	2018-12-26 00:54:03 +01:00
Simon	b16af5ac71	Fix superfluous QueryRegistry::close, cleanup (#6579)	2018-09-24 13:10:07 +02:00
Simon	912f109968	Add simple Future library (#6464)	2018-09-21 16:14:17 +02:00
Jan	29ab2fdbe3	Bug fix/3107 (#6046)	2018-08-01 12:50:55 +02:00
Jan	2a416f2e33	Bug fix/3007 (#6019)	2018-07-30 17:16:47 +02:00