968 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Robin Mueller	b706dec643	Merge remote-tracking branch 'origin/main' into mode-tree-init	2024-02-26 12:09:16 +01:00
Robin Müller	cf9b115e1e	Merge pull request 'Refactored Verification Reporter Module' (#132) from refactor-verification-mod into main ... Reviewed-on: #132	2024-02-26 11:58:57 +01:00
Robin Mueller	eea9b11b39	refactored verification reporter ... - Use generics instead of trait objects where applicable.	2024-02-26 11:41:42 +01:00
Robin Müller	f21ab0017e	Merge pull request 'fixed for scheduler' (#133) from scheduler-fixes into main ... Reviewed-on: #133	2024-02-26 11:15:50 +01:00
Robin Mueller	a7ca00317f	cargo fmt	2024-02-26 11:00:48 +01:00
Robin Mueller	75fda42f4f	fixed for scheduler	2024-02-26 10:53:33 +01:00
Robin Mueller	07cd370667	cargo fmt	2024-02-23 17:45:32 +01:00
Robin Mueller	fdcf1146ec	fix CI	2024-02-23 14:38:22 +01:00
Robin Mueller	2949280c20	Merge remote-tracking branch 'origin/main' into mode-tree-init	2024-02-23 14:32:06 +01:00
Robin Müller	faf0f6f6c6	Merge pull request 'refactored event manager' (#131) from refactor-event-man into main ... Reviewed-on: #131	2024-02-23 14:31:48 +01:00
Robin Mueller	a690c7720d	Refactored event manager	2024-02-23 14:19:30 +01:00
Robin Mueller	f088807652	cargo fmt	2024-02-23 13:59:15 +01:00
Robin Mueller	0331b04619	this is okay for now	2024-02-22 17:45:49 +01:00
Robin Mueller	f285095488	move test code to dedicated integration test module	2024-02-22 17:37:18 +01:00
Robin Mueller	508561d791	sync channel now works as well	2024-02-22 17:31:10 +01:00
Robin Mueller	a354f8a76c	Merge branch 'mode-tree-init' of egit.irs.uni-stuttgart.de:rust/sat-rs into mode-tree-init	2024-02-22 17:20:39 +01:00
Robin Mueller	e7c0d33ccb	that was hard	2024-02-22 17:19:32 +01:00
Robin Mueller	7967b95553	this is not easy	2024-02-22 15:51:51 +01:00
Robin Mueller	69b441cd39	introducing more generics	2024-02-22 15:36:55 +01:00
Robin Müller	a3bae58ef3	Merge branch 'main' into mode-tree-init	2024-02-21 19:17:16 +01:00
Robin Mueller	28523e065f	slowly starting to understand this	2024-02-21 19:16:25 +01:00
Robin Mueller	0bd492038d	lets just push through with one concrete example ... and work from there	2024-02-21 17:47:15 +01:00
Robin Mueller	bfedd9572e	as expected, this is hard	2024-02-21 15:37:08 +01:00
Robin Müller	b48b5b8caa	Merge pull request 'bump example patch version' (#129) from prepare-example-release into main ... Reviewed-on: #129	2024-02-21 13:51:49 +01:00
Robin Mueller	238c3a8d43	bump example patch version	2024-02-21 11:34:35 +01:00
Robin Müller	de8c0bc13e	Merge pull request 'Use released package versions again' (#128) from bump-example into main ... Reviewed-on: #128	2024-02-21 11:34:07 +01:00
Robin Mueller	012eb82f42	bump example	2024-02-21 11:22:16 +01:00
Robin Müller	d26f6cbe27	Merge pull request 'sat-rs v0.2.0-rc.0' (#127) from prepare-satrs-release-candidate into main ... Reviewed-on: #127	2024-02-21 11:13:05 +01:00
Robin Mueller	82d3215761	changelog	2024-02-21 11:08:22 +01:00
Robin Mueller	2b80244636	prepare release candidate	2024-02-21 10:06:58 +01:00
Robin Müller	f1611cd5b8	Merge pull request 'Custom badges' (#125) from try-custom-badges into main ... Reviewed-on: #125	2024-02-20 14:57:10 +01:00
Robin Mueller	808126ee41	better green	2024-02-20 14:55:52 +01:00
Robin Mueller	05df24447b	let's try this	2024-02-20 14:54:58 +01:00
Robin Mueller	b229360233	try custom badges	2024-02-20 14:52:01 +01:00
Robin Müller	52be26829b	Merge pull request 'First PUS handler abstractions with request mapping' (#121) from move-some-requests into main ... Reviewed-on: #121	2024-02-20 14:42:02 +01:00
Robin Mueller	ca2c8aa359	update changelog	2024-02-20 14:36:34 +01:00
Robin Mueller	ba03150178	Added high-level abstraction for some PUS services ... Introduced high-level abstractions for targetable requests in general. - PUS Service 3 (HK) abstraction for targetable HK requests - PUS Service 8 (Action) abstraction for targetable action requests	2024-02-20 14:33:21 +01:00
Robin Müller	4e45bfa7e6	Merge pull request 'add mode tree graph' (#124) from add-mode-tree-graph into main ... Reviewed-on: #124	2024-02-16 19:21:54 +01:00
Robin Mueller	93c01c8c22	add mode tree graph	2024-02-16 17:42:44 +01:00
Robin Müller	2d062f3010	Merge pull request 'rename Python client' (#123) from rename-pyclient into main ... Reviewed-on: #123	2024-02-16 13:27:28 +01:00
Robin Mueller	01d9a85976	rename Python client	2024-02-16 13:24:16 +01:00
Robin Müller	fa7cd39f3e	Merge pull request 'added goal graph for example' (#122) from example-goal-graph into main ... Reviewed-on: #122	2024-02-16 13:10:53 +01:00
Robin Mueller	5bb37d8e87	added goal graph for example	2024-02-16 12:54:50 +01:00
Robin Müller	813e221030	Merge pull request 'prepare example release v0.1.0' (#120) from example-release into main ... Reviewed-on: #120	2024-02-13 11:22:22 +01:00
Robin Mueller	18cec8bcf0	prepare example release v0.1.0	2024-02-13 11:07:27 +01:00
Robin Müller	d4a122e462	Merge pull request 'of course, something is missing..' (#119) from of-course-forgot-a-link into main ... Reviewed-on: #119	2024-02-12 18:28:02 +01:00
Robin Mueller	7af327d077	of course, something is missing..	2024-02-12 18:17:50 +01:00
Robin Müller	3a6cd6712d	Merge pull request 'MIB docs update' (#118) from mib-docs-update into main ... Reviewed-on: #118	2024-02-12 18:11:54 +01:00
Robin Müller	c4eba03043	Merge branch 'main' into mib-docs-update	2024-02-12 18:11:05 +01:00
Robin Mueller	e9e5c999ec	better documentation	2024-02-12 18:10:33 +01:00