07d9950 | Hannes Mehnert | 12 August 2024, 09:14:21 UTC | Merge pull request #1558 from hannesm/allow-mirage-qubes-011 allow mirage-qubes 0.11 series | 12 August 2024, 09:14:21 UTC |
6d41a0f | Hannes Mehnert | 12 August 2024, 07:01:06 UTC | allow mirage-qubes 0.11 series | 12 August 2024, 07:01:06 UTC |
d8f48d1 | Hannes Mehnert | 08 August 2024, 14:03:02 UTC | changes for 4.6.1 | 08 August 2024, 14:03:02 UTC |
740c174 | Hannes Mehnert | 08 August 2024, 10:55:28 UTC | Merge pull request #1557 from hannesm/allow-tar-3 allow tar 3.0.0 release series (no API change in tar-mirage) | 08 August 2024, 10:55:28 UTC |
46a819a | Hannes Mehnert | 06 August 2024, 07:02:00 UTC | allow tar 3.0.0 release series (no API change in tar-mirage) | 06 August 2024, 07:02:00 UTC |
27df807 | Calascibetta Romain | 15 July 2024, 14:01:29 UTC | Merge pull request #1555 from mirage/reintroduce-deps Re-introduce deps which can be useful to track dependencies which need to be built but not used to apply a functor | 15 July 2024, 14:01:29 UTC |
c7c3305 | Calascibetta Romain | 15 July 2024, 07:29:30 UTC | Add a changelog entry | 15 July 2024, 07:30:28 UTC |
a3ae2e2 | Calascibetta Romain | 12 July 2024, 08:49:29 UTC | Re-introduce deps which can be useful to track dependencies which need to be built but not used to apply a functor | 15 July 2024, 07:30:24 UTC |
481a2e7 | Hannes Mehnert | 26 June 2024, 15:23:57 UTC | changes and bump version | 26 June 2024, 15:23:57 UTC |
e426d67 | Calascibetta Romain | 25 June 2024, 07:40:35 UTC | Reverse the dependency between happy-eyeballs and dns-client (#1543) * Reverse the dependency between happy-eyeballs and dns-client * it's connect, not with_happy_eyeballs * Re-update happy-eyeballs and dns devices according to happy-eyeballs.1.1.0 * Re-introduce few arguments on our happy-eyeballs device * Refix devices according to dns.8.0.0 and the last release of happy-eyeballs * fix doc example * further updates for mimic_happy_eyeballs API change * mimic: adapt to 0.0.9 * update mimic * use ocaml.ci.dev instead of ocamllabs.io * once more, flip args * revert runtime_args_opt change in happy_eyeballs --------- Co-authored-by: Hannes Mehnert <hannes@mehnert.org> | 25 June 2024, 07:40:35 UTC |
28e0011 | Hannes Mehnert | 12 June 2024, 16:01:40 UTC | Merge pull request #1544 from hannesm/no-args-check job with no arguments, check a bit more thoroughly | 12 June 2024, 16:01:40 UTC |
c684270 | Hannes Mehnert | 12 June 2024, 15:53:45 UTC | Merge pull request #1549 from hannesm/more-version-to-release add some more documentation to RELEASE.md | 12 June 2024, 15:53:45 UTC |
8d85c78 | Calascibetta Romain | 11 June 2024, 08:05:56 UTC | Upgrade the tool to use tcpip.8.1.0 and mirage-qubes.0.10.0 (#1548) * Upgrade the tool to use tcpip.8.1.0 and mirage-qubes.0.10.0 * address review comments --------- Co-authored-by: Hannes Mehnert <hannes@mehnert.org> | 11 June 2024, 08:05:56 UTC |
0b47790 | Hannes Mehnert | 09 June 2024, 15:51:43 UTC | add some more documentation to RELEASE.md | 09 June 2024, 15:51:43 UTC |
5673c43 | Hannes Mehnert | 27 May 2024, 11:30:13 UTC | app_has_no_arguments: if the device has runtime arguments, that's fine Earlier such a job was rejected. Now, it is considered fine since the runtime argument(s) will be passed to the start function (and thus execution will be delayed). | 09 June 2024, 15:30:23 UTC |
ee4bef0 | Hannes Mehnert | 27 May 2024, 11:29:06 UTC | A job without a device but with runtime argument should not fail configure | 09 June 2024, 15:30:23 UTC |
8eb8745 | Hannes Mehnert | 29 May 2024, 17:37:26 UTC | Merge pull request #1546 from mirage/rename-etif-to-ethif Provide Mirage.ethif as an alias for Mirage.etif | 29 May 2024, 17:37:26 UTC |
48d920d | Hannes Mehnert | 29 May 2024, 09:29:47 UTC | update line numbers | 29 May 2024, 09:29:47 UTC |
d2aca57 | Robur | 29 May 2024, 09:10:28 UTC | Provide Mirage.ethif as an alias for Mirage.etif Mark Mirage.etif as deprecated Co-Authored-By: Reynir Björnsson <reynir@reynir.dk> Co-Authored-By: Hannes Mehnert <hannes@mehnert.org> | 29 May 2024, 09:12:58 UTC |
95110c9 | Hannes Mehnert | 27 May 2024, 13:16:23 UTC | Merge pull request #1545 from hannesm/cmdliner-1.3.0 update test output to cmdliner 1.3.0 | 27 May 2024, 13:16:23 UTC |
c4e4b73 | Hannes Mehnert | 27 May 2024, 12:06:21 UTC | update test output to cmdliner 1.3.0 | 27 May 2024, 12:06:21 UTC |
b4dc844 | Hannes Mehnert | 20 May 2024, 09:17:46 UTC | Merge pull request #1542 from hannesm/allow-paf allow paf 0.6.0 | 20 May 2024, 09:17:46 UTC |
d57eb52 | Hannes Mehnert | 18 May 2024, 11:55:32 UTC | allow paf 0.6.0 | 18 May 2024, 11:55:32 UTC |
4fb4a31 | Hannes Mehnert | 17 May 2024, 15:26:17 UTC | bump tests for required mirage=runtime version | 17 May 2024, 15:26:17 UTC |
fddc1b6 | Hannes Mehnert | 17 May 2024, 15:25:26 UTC | bump required mirage=runtime version | 17 May 2024, 15:25:26 UTC |
61bf79d | Hannes Mehnert | 17 May 2024, 15:23:19 UTC | changes for 4.5.1. | 17 May 2024, 15:23:57 UTC |
8c99c85 | Thomas Gazagnaire | 17 May 2024, 15:23:00 UTC | internal: Fix off-by-one locations in mirage/main.ml (#1540) * internal: Fix off-by-one locations in mirage/main.ml Fix #1528 * Promote tests * fix, use 2 offset, add comment * promote tests --------- Co-authored-by: Hannes Mehnert <hannes@mehnert.org> | 17 May 2024, 15:23:00 UTC |
d8c9390 | Thomas Gazagnaire | 17 May 2024, 15:11:22 UTC | internal: reset the lexer location before applying functors in the ge… (#1539) * internal: reset the lexer location before applying functors in the generated code Fix #1520 * Functoria: retrieve main on each device iteration * update tests --------- Co-authored-by: Hannes Mehnert <hannes@mehnert.org> | 17 May 2024, 15:11:22 UTC |
cbf5d44 | Hannes Mehnert | 17 May 2024, 14:37:02 UTC | Merge pull request #1533 from hannesm/consolidate-mirage-bootvar Consolidate mirage bootvar | 17 May 2024, 14:37:02 UTC |
b49fc1a | Hannes Mehnert | 17 May 2024, 14:17:48 UTC | Merge pull request #1541 from samoht/simplify-runtime-args-create Simplify Runtime_args.create | 17 May 2024, 14:17:48 UTC |
2026b03 | Hannes Mehnert | 09 May 2024, 18:25:49 UTC | argv: use the single mirage-bootvar package that uses dune variants this reduces the dependency cone and complexity for figuring out how the argument vector is retrieved and parsed by MirageOS unikernels | 17 May 2024, 13:58:38 UTC |
015764a | Thomas Gazagnaire | 17 May 2024, 13:40:49 UTC | Simplify Runtime_args.create Fix #1532 | 17 May 2024, 13:43:59 UTC |
1006ca5 | Hannes Mehnert | 17 May 2024, 12:46:02 UTC | Merge pull request #1527 from hannesm/makefile fix generated opam file - the build rule is now `make "-Csubdir" "build" | 17 May 2024, 12:46:02 UTC |
42f927a | Hannes Mehnert | 17 May 2024, 12:45:52 UTC | Merge pull request #1522 from Julow/runtimearg-call-quote functoria: Quote Runtime_arg.call | 17 May 2024, 12:45:52 UTC |
d64cecd | Jules Aguillon | 23 April 2024, 21:58:15 UTC | functoria: Quote Runtime_arg.call Fixes codes that use an arg call as an argument to a function: code ~pos:__POS__ "f ~arg:%a" Runtime_arg.call my_arg | 17 May 2024, 10:59:49 UTC |
aff5e9f | Hannes Mehnert | 17 May 2024, 10:37:41 UTC | test: use the subdirectory as well | 17 May 2024, 10:37:41 UTC |
85c3a5a | Thomas Gazagnaire | 17 May 2024, 10:29:50 UTC | Merge pull request #1519 from samoht/release Add a new draft to help with the release | 17 May 2024, 10:29:50 UTC |
00374a0 | Hannes Mehnert | 17 May 2024, 10:24:27 UTC | On a `Term error from Cmdliner, print a Hint about how to pass a space (#1535) * On a `Term error from Cmdliner, print a Hint about how to pass a space See #1248 @samoht @patricoferris @pitag-ha * update hint string, provide both options | 17 May 2024, 10:24:27 UTC |
fb08454 | Thomas Gazagnaire | 17 May 2024, 10:23:25 UTC | Merge pull request #1531 from hannesm/manpage revise manpage sections | 17 May 2024, 10:23:25 UTC |
6997fe6 | Thomas Gazagnaire | 17 May 2024, 10:19:04 UTC | Merge pull request #1538 from hannesm/bump-git allow git 3.16 | 17 May 2024, 10:19:04 UTC |
7610d6c | Thomas Gazagnaire | 17 May 2024, 10:18:25 UTC | Merge pull request #1537 from hannesm/fix-docs add more documentation | 17 May 2024, 10:18:25 UTC |
34cadd1 | Hannes Mehnert | 17 May 2024, 08:08:12 UTC | allow git 3.16 | 17 May 2024, 08:08:12 UTC |
c45aa2b | Hannes Mehnert | 16 May 2024, 12:37:36 UTC | add more documentation fixes #1512 | 16 May 2024, 12:37:40 UTC |
b972cf2 | Hannes Mehnert | 09 May 2024, 14:36:03 UTC | autoformat | 09 May 2024, 19:02:46 UTC |
9d0810a | Reynir Björnsson | 09 May 2024, 14:28:02 UTC | Also add Manpage.s_options to the list | 09 May 2024, 19:02:46 UTC |
2670b52 | Reynir Björnsson | 09 May 2024, 14:24:26 UTC | Apply suggestions from code review Co-authored-by: Hannes Mehnert <hannes@mehnert.org> | 09 May 2024, 19:02:46 UTC |
d985375 | Reynir Björnsson | 09 May 2024, 14:20:55 UTC | Functoria_runtime.with_argv: sections is optional | 09 May 2024, 19:02:46 UTC |
0d48673 | Reynir Björnsson | 09 May 2024, 13:51:55 UTC | Force cmdliner manpage section order The order of manpage sections can be enforced by passing a Cmdliner.Manpage.t with the sections in order. | 09 May 2024, 19:02:46 UTC |
fda764c | Hannes Mehnert | 09 May 2024, 13:07:29 UTC | Update lib_runtime/mirage_runtime.ml | 09 May 2024, 19:02:46 UTC |
16d5575 | Hannes Mehnert | 09 May 2024, 13:06:27 UTC | Update lib_runtime/mirage_runtime.ml Co-authored-by: Reynir Björnsson <reynir@reynir.dk> | 09 May 2024, 19:02:46 UTC |
fb52317 | Hannes Mehnert | 09 May 2024, 11:43:14 UTC | revise manpage sections | 09 May 2024, 19:02:46 UTC |
6175e46 | Hannes Mehnert | 06 May 2024, 18:13:55 UTC | fix generated opam file - the build rule is now `make "-Csubdir" "build"` Previously, `sh -exc 'cd subdir && mirage build'` was used in the generated opam file as build command. Since #1404 got merged and released, the mirage build subcommand does no longer exist. In the opam file, now "make build" is used instead. | 09 May 2024, 19:01:59 UTC |
bfa69f1 | Hannes Mehnert | 09 May 2024, 19:00:50 UTC | Merge pull request #1534 from hannesm/ocamlformat update ocamlformat to 0.26.2 | 09 May 2024, 19:00:50 UTC |
acc5515 | Hannes Mehnert | 09 May 2024, 18:36:33 UTC | update ocamlformat to 0.26.2 | 09 May 2024, 18:36:33 UTC |
dceedf1 | Hannes Mehnert | 05 May 2024, 14:35:32 UTC | Merge pull request #1524 from Julow/functoria-constr-main-start functoria: Constraint the start function to 'unit Lwt.t' | 05 May 2024, 14:35:32 UTC |
dcb0462 | Hannes Mehnert | 03 May 2024, 13:05:24 UTC | Merge pull request #1525 from hannesm/rename-direct-socket add the options to specify "host" (and "socket") for the host system network stack | 03 May 2024, 13:05:24 UTC |
2f9ed65 | Jules Aguillon | 26 April 2024, 11:52:45 UTC | functoria: Better type-error for the start function With this change, the error message is no longer about the pattern and looks clearer. Unfortunately, the location is still within generated code. This also requires adding the `'a io` type in the prelude. File "bin/mirage/mirage/main.ml", lines 300-305, characters 3-12: Error: This expression has type (unit, 'a) result Lwt.t but an expression was expected of type unit start = unit Lwt.t Type (unit, 'a) result is not compatible with type unit | 01 May 2024, 14:37:05 UTC |
7da68bf | Jules Aguillon | 26 April 2024, 09:51:32 UTC | functoria: Constraint the start function to 'unit Lwt.t' This allows to catch subtle bugs caused by partial applications or by returning 'unit Lwt.t Lwt.t' using the type-system. | 01 May 2024, 14:37:05 UTC |
481ceff | Jules Aguillon | 30 April 2024, 14:34:52 UTC | doc: Update inline examples to Runtime_arg (#1523) * doc: Update inline examples to Runtime_arg | 30 April 2024, 14:34:52 UTC |
ed3b4c4 | Hannes Mehnert | 26 April 2024, 15:21:15 UTC | add the options to specify "host" (and "socket") for the host system network stack. the native ocaml stack can be used by passing "OCaml" or "direct". over time, the confusion of "direct" has escalated. it is kept for backwards compatibility | 26 April 2024, 15:39:47 UTC |
3d60dde | Thomas Gazagnaire | 10 April 2024, 18:11:38 UTC | Add a new draft to help with the release | 10 April 2024, 18:11:38 UTC |
88faf8f | Thomas Gazagnaire | 10 April 2024, 13:17:43 UTC | Merge pull request #1518 from samoht/fix-release Bump mirage-runtime versions in the generated opam files | 10 April 2024, 13:17:43 UTC |
5a9db89 | Thomas Gazagnaire | 10 April 2024, 12:17:41 UTC | Add missing dependency constraints | 10 April 2024, 12:28:50 UTC |
5037209 | Thomas Gazagnaire | 10 April 2024, 10:46:35 UTC | Bump mirage-runtime versions in the generated opam files | 10 April 2024, 12:28:50 UTC |
8d80e4d | Thomas Gazagnaire | 09 April 2024, 09:09:27 UTC | Merge pull request #1517 from samoht/release-4.5.0 Prepare the 4.5.0 release | 09 April 2024, 09:09:27 UTC |
090d822 | Thomas Gazagnaire | 09 April 2024, 07:51:17 UTC | Prepare the 4.5.0 release | 09 April 2024, 07:51:17 UTC |
29ee9dc | Thomas Gazagnaire | 09 April 2024, 07:50:17 UTC | Merge pull request #1516 from samoht/revert-1515 Revert https://github.com/mirage/mirage/pull/1515 | 09 April 2024, 07:50:17 UTC |
7ca3a80 | Thomas Gazagnaire | 09 April 2024, 07:40:58 UTC | Revert https://github.com/mirage/mirage/pull/1515 | 09 April 2024, 07:40:58 UTC |
5bae42f | Thomas Gazagnaire | 09 April 2024, 07:30:25 UTC | Merge pull request #1507 from palainp/bump-minimal-ocaml-solo5 bump min ocaml-solo5 to avoid fast memory usage error | 09 April 2024, 07:30:25 UTC |
38f92c8 | Thomas Gazagnaire | 08 April 2024, 17:51:48 UTC | Add a CHANGE entry | 08 April 2024, 17:53:48 UTC |
978ae54 | Pierre Alain | 08 April 2024, 16:45:17 UTC | bump min ocaml-solo5 to avoid fast memory usage error | 08 April 2024, 17:50:08 UTC |
e78d19b | Thomas Gazagnaire | 08 April 2024, 16:43:46 UTC | Merge pull request #1515 from samoht/build-config-and-app Make config.ml and unikernel.ml co-buildable | 08 April 2024, 16:43:46 UTC |
41321bc | Thomas Gazagnaire | 08 April 2024, 14:16:03 UTC | Add an entry in CHANGES | 08 April 2024, 14:16:03 UTC |
dc60fae | Thomas Gazagnaire | 08 April 2024, 13:01:41 UTC | Make config.ml and unikernel.ml co-buildable This helps in dev mode when to get merlin working on all files. This makes `mirage` installed in the monorepo. | 08 April 2024, 13:01:41 UTC |
32faa7f | Thomas Gazagnaire | 14 March 2024, 15:56:03 UTC | Merge pull request #1511 from samoht/mimic Simplify the mimic devices | 14 March 2024, 15:56:03 UTC |
860c46a | Thomas Gazagnaire | 14 March 2024, 15:47:03 UTC | Simplify the mimic devices | 14 March 2024, 15:47:51 UTC |
c471700 | Thomas Gazagnaire | 14 March 2024, 15:47:38 UTC | Merge pull request #1510 from samoht/fix-deps Updates after functoria / functoria-runtime removal | 14 March 2024, 15:47:38 UTC |
384b6c3 | Thomas Gazagnaire | 14 March 2024, 15:14:56 UTC | Add CHANGES | 14 March 2024, 15:14:56 UTC |
9481978 | Thomas Gazagnaire | 14 March 2024, 15:12:51 UTC | Add missing deps in mirage-runtime | 14 March 2024, 15:12:51 UTC |
aab0242 | Thomas Gazagnaire | 14 March 2024, 14:44:50 UTC | Merge pull request #1509 from samoht/one-package Remove functoria and functoria-runtime packages | 14 March 2024, 14:44:50 UTC |
8d4b049 | Thomas Gazagnaire | 12 March 2024, 13:17:36 UTC | Remove functoria and functoria-runtime packages They are now sub-packages of mirage and mirage-runtime. Also: - simplify the e2e tests to always use the e2e framework - simplify the mirage libraries to remove extra mirage prefix in module names | 14 March 2024, 14:05:14 UTC |
3407501 | Thomas Gazagnaire | 11 March 2024, 15:24:09 UTC | Merge pull request #1508 from samoht/runtime-deps Remove dependencies between mirage and mirage-runtime | 11 March 2024, 15:24:09 UTC |
6b29005 | Thomas Gazagnaire | 11 March 2024, 14:50:40 UTC | Remove dependencies between mirage and mirage-runtime | 11 March 2024, 14:50:40 UTC |
cc20443 | Thomas Gazagnaire | 11 March 2024, 14:37:20 UTC | Merge pull request #1493 from samoht/runtime-keys Better API for application runtime keys | 11 March 2024, 14:37:20 UTC |
1254e02 | Thomas Gazagnaire | 07 March 2024, 19:07:26 UTC | Pass runtime arguments as parameters to device connect functions | 07 March 2024, 19:51:41 UTC |
37a8955 | Thomas Gazagnaire | 07 March 2024, 18:45:54 UTC | Merge pull request #1506 from samoht/keys-runtime_args Rename DSL.keys to DSL.runtime_args | 07 March 2024, 18:45:54 UTC |
ab193bf | Thomas Gazagnaire | 07 March 2024, 18:40:03 UTC | Update CHANGES | 07 March 2024, 18:40:03 UTC |
bd50fc1 | Thomas Gazagnaire | 07 March 2024, 15:14:30 UTC | Rename DSL.keys to DSL.runtime_args | 07 March 2024, 15:15:06 UTC |
77e38d0 | Thomas Gazagnaire | 07 March 2024, 15:05:52 UTC | Merge pull request #1505 from samoht/no-foreign Remove DSL.foreign | 07 March 2024, 15:05:52 UTC |
bc171d8 | Thomas Gazagnaire | 07 March 2024, 14:40:51 UTC | Remove DSL.foreign | 07 March 2024, 14:41:40 UTC |
03d6e3c | Thomas Gazagnaire | 07 March 2024, 14:34:47 UTC | Merge pull request #1504 from samoht/code Add line locations to device connect functions | 07 March 2024, 14:34:47 UTC |
2589842 | Thomas Gazagnaire | 06 March 2024, 15:41:37 UTC | Add line locations to device connect functions This is kept optional for the main function at the moment, not to break every unikernel out there. We can make this mandatory if needed in the future. | 07 March 2024, 14:19:49 UTC |
9ecb7b9 | Thomas Gazagnaire | 06 March 2024, 13:28:58 UTC | Merge pull request #1503 from samoht/impl-cleanups cleanups: small internal cleanups in mirage/impl | 06 March 2024, 13:28:58 UTC |
b78fbd5 | Thomas Gazagnaire | 06 March 2024, 10:00:26 UTC | cleanups: use consistent errors in mirage/impl | 06 March 2024, 11:58:23 UTC |
43dedbf | Thomas Gazagnaire | 06 March 2024, 09:39:07 UTC | cleanups: Use a consistent way of defining list of optional runtime arguments in mirage/impl | 06 March 2024, 11:58:23 UTC |
dc55ed3 | Thomas Gazagnaire | 06 March 2024, 08:46:05 UTC | Merge pull request #1501 from samoht/runtime_args Rename Runtime_key to Runtime_arg | 06 March 2024, 08:46:05 UTC |
d00ca12 | Thomas Gazagnaire | 05 March 2024, 13:41:07 UTC | Rename Runtime_key to Runtime_arg These are very different from the other configuration-time keys. They should have a different name. | 05 March 2024, 14:35:13 UTC |
9d58ab4 | Thomas Gazagnaire | 05 March 2024, 14:34:36 UTC | Merge pull request #1502 from hannesm/4.4-for-main 4.4 for main | 05 March 2024, 14:34:36 UTC |
ef43321 | Hannes Mehnert | 05 March 2024, 14:25:34 UTC | remove changes entry for already released things | 05 March 2024, 14:25:34 UTC |
308e127 | Hannes Mehnert | 05 March 2024, 14:22:55 UTC | changes for 4.4.1 and 4.4.2 | 05 March 2024, 14:22:55 UTC |