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/synthetic_examples
  • bump-ord-is-ord
  • choice_before_lasteffort_are_arbitrary
  • ci
  • cj/scopes
  • 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.06Feb130Jan27221711109827Dec22212018171614118730Nov29282523212016141310926Oct252420191816131211105429Sep281584231Aug319Jul13Jun25May24Apr21191412115331Mar30151215Feb1376121Jan191219Dec14112Sep1115Jul1426Jun201918171615227May228Apr117Mar27Feb26251420Jan17141310987430Dec20161310824Nov2330Oct272524211312108529Sep2322181624Aug20161513121312543130Jul29282723222120191513129876530Jun29282726252423211817161512119321[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[NSeq] better propagations between Array and NSeq with `nseq.content`[NSeq] update tests[Array] fix model gen[NSeq] add equality detection for NSC[NSeq] fix NSC update issue[Array] remove WEGraph[NSeq] update tests[NSeq] split NSeq components to seperate modules[NSeq] added a shared slices equality detection in Th1.relations[NSeq] better decisions for nseq-update in Th1[NSeq] fixes to the Seq hteory support[NSeq] Ise Ids insead of sets of Ids for kneighbour indices[NSeq] use `node_of_polynome` to create theory terms from polyomes[NSeq] support read-over-write and write-over-read[NSeq] merge NSeqSets and NSeqGets back again[NSeq] better support for relocation in NSeq_dom[NSeq] support repr change hooks in Relocate[NSeq] merge NSeq_dom and Known_values[NSeq] move relations to separate file[NSeq] add get_other function to Nseq_dom[NSeq] propagation from nseqs to nseqs that depend on themremove duplicate helper functions[NSeq] fixes to subst_v_comp in NSVGetDom[NSeq] post rebase fixes[NSeq] fixes to `nseq.update` equality normalization[NSeq] better `nseq.update` to `nseq.slice` inference