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.026Mar17151198762111Feb976130Jan27221711109827Dec22212018171614118730Nov29282523212016141310926Oct252420191816131211105429Sep281584231Aug319Jul13Jun25May24Apr21191412115331Mar30151215Feb1376121Jan191219Dec14112Sep1115Jul1426Jun201918171615227May228Apr117Mar27Feb26251420Jan17141310987430Dec20161310824Nov2330Oct272524211312108529Sep2322181624Aug20161513121312543130Jul29282723222120191513129876530Jun292827262524232118171615Merge branch 'hra687261/nseq_and_diff_logic' into 'master'[Interp] Seq, less sequence filtering but more computation[Interp] Store the value given to node in subcalls[NSeq] fix eq propagation on NSC variables in RelocateSeparate sequence for Intepr.ty and Interp.nodeFixModel is limited to registered terms[NSeq] simplifications in `add_kv`[DL] split DL graph functor[NSeq] fix subst in Th2[NSeq] better NSC printing[DL] parametrize DL graph functor by distance[DL] start the functorization of the DL graph[NSeq] Th2: make sure no component has sub-components when adding new onesijcar2024ijcar2024[NSeq] do less relocations + better debug messages[NSeq] remove intermediary nodes in NSCsRevert missing change in rebaseFix bug pivot and less tys empty[NSeq] add a `--no-nseq` command line optionFix exception for quantification with term letpost rebase fixes[NSeq] correctly update bounds in nseq.slice[NSeq] better support for relocate in Th2[NSeq] refactor the split_cc functions[NSeq] fix the case of multiple k-neighbour indices[NSeq] update bounds of slices[NSeq] subst NSCs after `eq_indices_norm`[NSeq] make sure `rm_cloc` is applied[NSeq] set var id loc in upd_dom not in `fresh_var_id`[NSeq] simplify splits in Th2[NSeq] add `relocate_cc`[NSeq] content, fix propagations[NSeq] better decision in Th1[NSeq] make sure terms are not k-neighbours to themselves[Seq] Add the nseq_is_seq operator which restricts Seqs to have a first bound of 0[NSeq] fix nseq-ext rules and "nested substs"[NSeq] safer split function[NSeqs] keep only info on nodes in NSVLocs/concloc[Seq] simplify seq frontend[ThTerm] Give a type to each theory term[NSeq] more propagation on set-value