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.08Dec730Nov29282523212016141310926Oct252420191816131211105429Sep281584231Aug319Jul13Jun25May24Apr21191412115331Mar30151215Feb1376121Jan191219Dec14112Sep1115Jul1426Jun201918171615227May228Apr117Mar27Feb26251420Jan17141310987430Dec20161310824Nov2330Oct272524211312108529Sep2322181624Aug20161513121312543130Jul29282723222120191513129876530Jun2928272625242321181716151211932131May282726252120191712117629Apr28242120191817161317Mar1615127Feb21Jan18139876543229Dec2826252418161523Nov16151211975433Jun22Nov8Jan17May322Apr13Change copy_files to copy_files# to keep track of the source fileDune: pair flags with their valuesMerge branch 'bobot/abs' into 'master'Add simplified test for #12[Ground] Print substitution in ground quantifiers[Trace] Add decision levelsMerge branch 'bobot/abs' into 'master'[Sign] Fix the sign of the absolute value[Sign] Use P intead of NZ to avoid confusionSimplify strategy using contextbobot/dtnubobot/dtnuPretty print terms in strategyAdd STNU_0322learnt from the search for new action can be uncontextualAdd term simplifierMerge branch 'bobot/abs' into 'master'remove time and simpler unsat caseAllows propagation in [choice]Allows to detect contradiction when looking for choicesMerge branch 'bobot/abs' into 'master'new printer for strategySimplify to only guard semanticAdd prefix conditions in leanrt constraintintroduce different strategy semanticAdd negative number to parserAccept disjunction in link on the same variablesFix bug assertionsTry to use random generation[Core] Simplify contradiction so that environement is not needed[LRA] fix zero propagated to known non-zero[SignProduct] Renaming for clarityCleanupMerge branch 'bobot/abs' into 'master'Regression 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'