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.030Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914added attributes in for ReduceSum and RandomNormalseed is a float (was int)added parameters for RandomNormal and ReduceSum insyntax correctedbug correctionadded new operators in nier_cfgcommented out additional operators'axes' option is not subject to f in functionprogressively add Log and Absnew operators: input ok and functions pred and maptypo fixadd list or description in nier_simple.ml*add list or description in nier_simple.ml*added the list of operators in onnnx.mlNew simpler IR format[interpretation] Add some checking on vector get operation over model applications.[interpretation] Add some checking on model applications.Added constant instancitation in command line inside MNIST example documentation[doc] Add a hint to make the output more verbose in the ACAS tutorialMerge branch 'feature/michele/interpret-svm' into 'master'[trans] Factor out common modules for Float64 and Real theories.[trans] Stricter matching of terms.[trans] Typo in doc.Use logging facilities when possible.[saver] Add basic test w/o using stdlib facilities for robustness.[interpretation][saver] Support reading model with particular abstraction.[proof_strategy] Allow SVM proof strategy on tasks w/o defined dataset.[interpretation] Update after rebase.[interpretation][saver] Support interpretation of specs involving svm models.[proof_strategy] Rename functions and rework/update implementation.[trans] Add split transformation like split_goal_full but stops on quantifiers.[interpretation] Rename reduction engine.[language] Rework API for creating neural networks.[interpretation] Remove utils module.[interpretation] Revise interpreter type nn.[interpretation] Rework interpreter types interface.[interpretation] Move builtin interpretation into separate module.[interpretation] Function of eval term.[interpretation] Some renaming.[interpretation] Move types into a separate module.