Skip to content
Snippets Groups Projects
Select Git revision
  • acta_informatica_2024
  • bobot/abs
  • bobot/add_equality_callback
  • bobot/better-fixmodel-scheduling
  • bobot/cpp_version
  • bobot/dtnu
  • bobot/fix_interleave
  • bobot/here_monad
  • bobot/memo_type_with_choice_before_lasteffort_are_arbitrary
  • bobot/new_fp_propa
  • bobot/new_interval_dom-norm-congruence
  • bobot/old_dec_at_operators
  • bobot/rearchitecture_LRA_theory
  • bobot/rewrite_trivial_exists
  • bobot/synthetic_examples
  • bump-ord-is-ord
  • choice_before_lasteffort_are_arbitrary
  • ci
  • cj/ui_immediate_actions
  • debug-notice
  • 0.4
  • 0.3.3
  • 0.3.2
  • 0.3.1
  • 0.3
25 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.017Jan11109827Dec22212018171614118730Nov29282523212016141310926Oct252420191816131211105429Sep281584231Aug319Jul13Jun25May24Apr21191412115331Mar30151215Feb1376121Jan191219Dec14112Sep1115Jul1426Jun201918171615227May228Apr117Mar27Feb26251420Jan17141310987430Dec20161310824Nov2330Oct272524211312108529Sep2322181624Aug20161513121312543130Jul29282723222120191513129876530Jun2928272625242321181716151211932131May282726252120191712117629Apr28242120191817161317Mar1615127Feb21Jan1813987654[OPAM] Add some transitive deps used[FP] @marre advice use a non-representable value for testing[Model] non polymorphic functions supportedAdd option skip function during get-modelUse a real option for COLIBRI2_DOTGUI_ONLYMerge branch 'master' into 'bobot/abs'Merge branch 'expose-lra-builtins' into 'master'[LRA] expose builtins[Quantifier] no match and congruence closure on boolean operators[Quantifier] Simplify find event[Pattern] use Node matching for ground terms[CongruenceClosure] Add statistics on time spent[InvertedPath] Refactor a little[Definitions] Macro are directly added as equalities[Ground] add convertion without environement[Expr] Add test for simple ground term[Context] revert during pop for Ref[IArray] add map2_exn[FP] add domain propagatorsAdd mjrty examlpe in steplimitreachedAdd span when counting function execution time[Quant] Fix match only the new ground term not all the class[Quant] Allows to skip forall but not axiom shaped as def[Quant] Fix activating choice of wrong applications[Debug] print node instead of applicationAdd --quantifier-add-def-from-axiomAdd more information in choices for tracesAdd option --quantifier-skip-forall[LRA] inline definition of rem_t div_tMerge branch 'bobot/abs' into 'master'[LRA] Add propagator for absAdd regression tests for #9Merge branch 'bobot/abs' into 'master'Remove unused modulesWarnings use mnemonics nameReadd unused function warning[LRA] finish simplification converterReadd warning 32 in LRA[FP] Add documentation, and F as alias for Farith.FAdd of_ieee_bits for singleton