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/scopes
  • cj/ui_immediate_actions
  • 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.020Oct191816131211105429Sep281584231Aug319Jul13Jun25May24Apr21191412115331Mar30151215Feb1376121Jan191219Dec14112Sep1115Jul1426Jun201918171615227May228Apr117Mar27Feb26251420Jan17141310987430Dec20161310824Nov2330Oct272524211312108529Sep2322181624Aug20161513121312543130Jul29282723222120191513129876530Jun2928272625242321181716151211932131May282726252120191712117629Apr28242120191817161317Mar1615127Feb21Jan18139876543229Dec2826252418161523Nov16151211975433Jun22Nov8Jan17May322Apr1317Mar8Feb543131Jan1814131Jul30Jun29Regression tests from #3Fix #3 sign product[Scheduler] Simplify LastEffort scheduling[LRA] refactor domain propagationAdd LICENCE header to DTNU[Model] Propagate domain also during model fixing[Union] Fix assertion failuresMerge branch 'bobot/abs' into 'master'[Simplex] readd the accelerator when looking for equalitiesMerge branch 'bobot/abs' into 'master'[Interp] spy_sequence in specific debug flag[Uninterp] use difference information for filtering valuesMerge branch 'bobot/abs' into 'master'Merge branch 'minor_changes' into 'master'Minor cosmetic changes[Interp] Remove SeqLim, keep Seq for (let+)[Interp] deactivate SeqLim[Interp] Check the entierty of the terms[LRA] Events when the representative node change[Boolean] fix top-bottom propagationMerge branch 'regression' into 'master'Add tools to run regression tests on factory-iaMerge branch 'bobot/abs' into 'master'Add timeout and steps limit[DTNU] Add computation of top results[DTNU] accept input file without last empty line[Union] improve inter with integers[Polynomial] Fix missing value propagation[Dotgui] Add custom infoMerge branch 'bobot/abs' into 'master'Merge branch 'bobot/fix_ci' into 'master'[CI] update docker and bump ocaml version[Pivot] factorize the work for term equal module the addition to a constant[Tests] Print stack trace[Core] Remove not necessary module rec[Egraph] Add attach_{before,after}_merge[Equality] keep old ordering when merging[Equality] Strengthen propagation disequalities[Equality] Move propagation to domain modification[Equality] Simplify equalities handling