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.012Jun98231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914814Apr131254131Mar30292117228Feb1711Jan75410Dec9726Nov2322109825Oct14654129Sep3131Aug1330Jul232116930Jun2817May117629Apr1916131024Mar18121198Feb425Dec18171628Nov271631Oct[aimos] Do not log specification information for AIMOS.[tests] added support for future multiple logging categories[tests] removed unecessary exposed functions[tests] CLI for log categories (option 2 without custom formatter)[tests] CLI for log categories (option 1 with custom formatter)[tests] WIP adding custom log reporter that prints conditionally if there are specific tags involved[tests] Added test oracles to verify-json unit test.[tests] Added test oracles to interpretation unit tests.[tests] Rephrased logged message.[tests] Added log info level in documentation.[tests] Promote tests following rebase[tests] Relative model paths for AIMOS oracle[tests] Initial display of prepared tasks for provers[bin] Fix alpha-beta-CROWN autodetect: use complete_verifier as root instead.Merge branch 'fix/michele/better-wrapper-38' into 'master'[bin] Simplify python script about the dummy output.[bin] Better python code style.[bin] Better python script for faking --version option.[ci] Fix documentation generationMerge branch 'feature/michele/abcrown-config' into 'master'[config] Use %{config} also for driver locations in detection config file.[aimos][saver] Uniformize code style.[verification] Factor out code for building the prover command.[config] Add first support for abcrown config files.Merge branch 'feature/tristan/abcrown' into 'master'[trans] Better code style.[config] Fix result interpretation in abcrown driver.[trans] Add comments to and rename the native nn prover transformation.[trans] Add meta related to nn filename once, just when encountering its declaration.[interpretation][trans] Use caisar_x/caisar_y to refer to input/output variables.[trans] Declare all output variables for nn native transformation.[language] Use common function for building float64 type symbol.[language] Rework neural networks interface.[interpretation] Remove type alias for term lsymbol.[printers] Shorten code style for PyRAT printer.[printers] declare-const must have Real type in VNN-LIB printer.[trans] Make metas appear before actual corresponding input/output variable declarations.[verification] Add other cases which abcrown may be used for.[abcrown] Rework driver.[tests] Add abcrown to autodetection test, plus some fixes.