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.015Sep84231Aug319Jul13Jun25May24Apr21191412115331Mar30151215Feb1376121Jan191219Dec14112Sep1115Jul1426Jun201918171615227May228Apr117Mar27Feb26251420Jan17141310987430Dec20161310824Nov2330Oct272524211312108529Sep2322181624Aug20161513121312543130Jul29282723222120191513129876530Jun2928272625242321181716151211932131May282726252120191712117629Apr28242120191817161317Mar1615127Feb21Jan18139876543229Dec2826252418161523Nov16151211975433Jun22Nov8Jan17May322Apr1317Mar8Feb543131Jan1814131Jul30Jun2926252423[Equality] Move propagation to domain modification[Equality] Simplify equalities handling[Disequality] prepare propagate equality efficiently[Equality] use map for the tag instead of setMerge branch 'update_deps' into 'master'Restrict base version to < v0.16.0[DTNU] Fix inf loop: must create block when finding solution[DTNU] Adds examples[DTNU] shorten pretty print of bounds[DTNU] fix elimination of controllable event[DTNU] Fix tests at the end of a branchFirst new version with more generic learning[MCSAT] Add other testsFirst POC using mcsatRestrict core version to < v0.16.0Update dolmen to 0.9.0Merge branch 'feature/array_theory' into 'master'[Array] Make usage of Choice in ext optional[DTNU] start generating strategy[DTNU] Initial solving experiments with CP and mcsat[Array] Use Disequality.is_disequal, instead of Equality.is_disequal[Array] Split array_dom and array_maps_dom[Array] Add nomalization of the memoization data structures[Array] Added memoization of some RW rules[DTNU] intial parser and AST[Array] formattingMerge branch 'master' into feature/array_theoryMerge branch 'bobot/abs' into 'master'[Array] new cmdline options[Array] Support for value-eq-normalizationUpdate dune-project, colibri2.opamAdd general disequality hookAdd Hichem as authorMerge branch 'bobot/abs' into 'master'Fix bookkeeping for definition heuristics[Array] Improved converter, added some tests, cleaned some code[Array] Completed the usage of the KnownValues[Array] use Equality's API for eq/ineq functions[Array] added the KnownValues data structure[Array] update tests