aboutsummaryrefslogtreecommitdiff
path: root/lib/application
AgeCommit message (Collapse)Author
2023-04-16Applied ocamlformat on the codeSébastien Dailly
2022-02-07Added a motus solverSébastien Dailly
2022-02-07Renamed fonctions in application framework, updated docSébastien Dailly
2022-02-07Rename application functionsSébastien Dailly
2022-02-07Update application descriptionSébastien Dailly
2022-02-07Update depsSébastien Dailly
2022-02-07Update application workflowSébastien Dailly
2022-02-07Changed the organisation in the applicationsSébastien Dailly