Mentions légales du service

Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • vendor
  • 20220407
  • 20220101
  • 20211224
  • 20201231
6 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.018May7Apr29Mar1Jan31Dec25242Jan131Dec14Feb1320Jan28Nov2719181622Feb20121076TODO.mastermasterUpdate [make versions].CHANGES.2022040720220407Remove incorrect use of [Random.get_state], causing the random number generator to always produce the same number.Add 4.14 to [make versions].CHANGES.2022010120220101README.Fix URL in README.Improved documentation and simplified README.Remove the postprocessing of the .css file.Documentation comments.Add license: fields.Synchronize the packages.Update requirement on Dune.Update requirement on Fix.README.2021122420211224Fix [make doc].Typos.Split into three packages feat-core, feat, feat-num.Fix public archive URL.TODO.Rename feat to vendored_feat and let it depend on vendored_fix.vendorvendorRemove demo/.Add [make vendor].Add Makefile.vendor.Make the Makefile more silent.Add [make doc].Makefile fixes.2020123120201231Fix [make install].Fix links in README.Define [make test].Flags.Fix the demo.README.Headers.TODO.Add [make versions].Typo.Add [seq] as a dependency.Mark dune as a full dependency.
Loading