- Committer: Jean-Vincent Loddo
- Date: 2023-05-31 10:28:01 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20230531102801-0s31vc1xzpd2kjqu
Minor changes in the Makefile in order to allow root to execute dune with the user opam environment
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
compatibility
|
531 | 2 years ago | Jean-Vincent Loddo | Major change (#2): code restructured in order to c |
|
||
|
filesystems
|
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c |
|
||
|
gui
|
531 | 2 years ago | Jean-Vincent Loddo | Major change (#2): code restructured in order to c |
|
||
|
images
|
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c |
|
||
|
kernels
|
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c |
|
||
|
po
|
531 | 2 years ago | Jean-Vincent Loddo | Major change (#2): code restructured in order to c |
|
||
|
scripts
|
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c |
|
||
|
share
|
531 | 2 years ago | Jean-Vincent Loddo | Major change (#2): code restructured in order to c |
|
||
cable.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 34.5 KB |
|
|
|
cloud.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 10.7 KB |
|
|
|
configuration.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 3.1 KB |
|
|
|
configuration.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 1.3 KB |
|
|
|
cow_files.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 3.3 KB |
|
|
|
cow_files.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 1.6 KB |
|
|
|
daemon_client.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 4.6 KB |
|
|
|
daemon_language.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 11.3 KB |
|
|
|
daemon_parameters.ml |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 1.6 KB |
|
|
|
death_monitor.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 7.2 KB |
|
|
|
death_monitor.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 1.3 KB |
|
|
|
descendants_monitor.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 2.3 KB |
|
|
|
descendants_monitor.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 1.2 KB |
|
|
|
disk.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 25.1 KB |
|
|
|
disk.mli |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 5.6 KB |
|
|
|
dune |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 2.1 KB |
|
|
|
gettext.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 2.9 KB |
|
|
|
gettext.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 902 bytes |
|
|
|
global_options.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 3.9 KB |
|
|
|
graph.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 8.5 KB |
|
|
|
gui.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 21.4 KB |
|
|
|
hub.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 11.4 KB |
|
|
|
icon.ml |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 1 KB |
|
|
|
initialization.ml |
533 | 1 year ago | Jean-Vincent Loddo | Minor changes about GUI | 11.2 KB |
|
|
|
machine.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 36.6 KB |
|
|
|
machine.mli |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 11.5 KB |
|
|
|
main.ml |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 220 bytes |
|
|
|
marionnet.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 17.7 KB |
|
|
|
marionnet_daemon.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 23.6 KB |
|
|
|
marionnet_log.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 1.7 KB |
|
|
|
message_passing.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 2.6 KB |
|
|
meta.ml.maker.sh |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 2.9 KB |
|
|
|
motherboard_builder.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 6.7 KB |
|
|
|
motherboard_builder.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 139 bytes |
|
|
|
progress_bar.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 3.7 KB |
|
|
|
router.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 49.1 KB |
|
|
|
serial.ml |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 8.5 KB |
|
|
|
serial.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 980 bytes |
|
|
|
simulation_level.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 66.6 KB |
|
|
|
simulation_level.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 11.3 KB |
|
|
|
sketch.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 10.3 KB |
|
|
|
sketch.mli |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 3.1 KB |
|
|
|
splash.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 4.1 KB |
|
|
|
state.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 34.9 KB |
|
|
|
switch.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 22 KB |
|
|
|
task_runner.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 6.9 KB |
|
|
|
task_runner.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 1.4 KB |
|
|
|
treeview.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 61.8 KB |
|
|
|
treeview_defects.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 18.7 KB |
|
|
|
treeview_documents.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 13.4 KB |
|
|
|
treeview_history.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 24.2 KB |
|
|
|
treeview_ifconfig.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 20.9 KB |
|
|
|
user_level.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 63.6 KB |
|
|
|
user_level.mli |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 27.2 KB |
|
|
|
version.ml.maker.sh |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 1.4 KB |
|
|
|
version.mli |
530 | 2 years ago | Jean-Vincent Loddo | Major change (#1): code restructured in order to c | 45 bytes |
|
|
|
world_bridge.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 16.2 KB |
|
|
|
world_gateway.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 16.1 KB |
|
|
|
x.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 14.2 KB |
|
|
|
x.mli |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 1.4 KB |
|
|
|
xforest.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 4.3 KB |
|
|