diff --git a/ChangeLog.md b/ChangeLog.md index 9870d55..3d5d3e6 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -1,6 +1,7 @@ -# UNRELEASED +# v0.5.0 - 07/11/2024 - Resilient to multiple copies of the same event on the same file descriptor +- A system event is given enough rounds to complete if his priority is the lowest # v0.4.0 - 03/7/2023 diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..4ecc804 --- /dev/null +++ b/Makefile @@ -0,0 +1,13 @@ +all: + dune build + +install: + dune install + +test: + dune runtest + +release: + dune-release -p sel + +.PHONY: test