Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • 3.0
  • 2.1
  • 2.0
  • 1.0
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.05Aug3231Jul292322151210428Jun2120191176528May2417161514134Apr230Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110[tests] Slightly verbose tests for SVM[chore] FormattingTesting ovo (linear) automatically.Fixing the calculation of scores in ovo.Improving method call.Adding comments + typoExtracting shape of ArgMax.Comments.TypoFixing a typo.Using better operators.Adding the intercept. (Oops)Correction to the OVO format + first translation to ONNX (only support Linear kernel).Update the input language according to a more reliable source.Parser for ovo files.[release] Prefer using a more general configuration module.[release] Expose CAISAR version to ONNX library for correct generator version[docker] Update docker generation to match new prover releases[release] Description correctly parsed with the help of shell shenanigans[dependencies] Add dependencies of ppx inline test for classical build2.12.1[release] Update automated release scriptMerge branch 'stable/2.1' into 'master'[release] Prepare for release 2.1Merge branch 'ci/jgirard/automated-version-update' into 'master'Apply 1 suggestion(s) to 1 file(s)[config] Add header to configurator.ml file.[ci] Guarding update date headers[ci] Revive script for updating headers.[tests] Force finding python in env.[tests] Rename help into version test.[config] Remove bash script for updating version.[ci] Use VERSION to build the ci variables.[tests] Compare running version with VERSION.[makefile] Use TAG instead, also as tag and version for dune-release distrib.[doc] Use VERSION for setting up release and version variables.[dune] Use configurator to setup project version.[wip] A bit cleaner version update script[wip] Tentatively add a sanity check for ensuring VERSION and TAG are the same[release] Automate the update of tests during release[test] Actually update tests