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.06Feb121Jan191219Dec14112Sep1115Jul1426Jun201918171615227May228Apr117Mar27Feb26251420Jan17141310987430Dec20161310824Nov2330Oct272524211312108529Sep2322181624Aug20161513121312543130Jul29282723222120191513129876530Jun2928272625242321181716151211932131May282726252120191712117629Apr28242120191817161317Mar1615127Feb21Jan18139876543229Dec2826252418161523Nov16151211975433Jun22Nov8Jan17May322Apr1317Mar8Feb543131Jan1814131Jul30Jun29262524232221191827May2624222019181218Feb13[Quant] Fix instantiantiation vs decision[Quantifier] still merge useless_application[Quantifier] Register the delayed substitution attached to quantifiers[Quantifier] Fix delayed instantiation for false existential[Quant] Move definition from Ground to Quantifiers theory[Array] DiffGraph use ints for edges[Tests] Added options to dune test generatorMerge remote-tracking branch 'origin/master' into feature/array_theory_to_merge[Array] Join the init and converter functionsFix Array's value[Array] better use of the DiffGraph[NSeq] fix types of builtins [Interp] Fix heuristic for wto[Array] iterate on all the values of arrays[Array] DiffGraph and foreign_dom inetroperation[Array] Attempt at solving sat problems[Array] Split the array theories:[Array] Added the diff graph[NSeq] Added the nseq_content builtinReadd registering decision not linked to ground termsFix some warnings and remove some deadcode[NSeq] updated builtins[Array] added the blast ruleUpdate Dolmen state creation[Array] Added Array_dom and used it for map rules[Array] Changes to the map rules[Seq] Added builtins[Array] Added "colibri2_" as a prefix to the names of the builtins[Array] Fixed res-ext soundness error[Array] Attempt to fix and improve res-extFix build[equality] Add an hook for new disequalitiesAdded map inference rulesCorrect check of application argument typeUse of polymorphic arrays instead of int arrays[Array] fix a couple of bugs[Array] Added headers to dom files[Array] Partial support for the array combinator extension[Array] added restricted ext, aup rules[Array] Added builtin op