Skip to content
Snippets Groups Projects
Select Git revision
  • master
  • hai/coq9.0rc1
  • robbert/iframe
  • ci/ike/frame_exist
  • ci/compass protected
  • vm
  • ci/examples protected
  • graphs_multi protected
  • ralf/persistently-forall
  • jaemin/treiber
  • hai/try_loop
  • history
  • jaehwang/history-lat
  • jaehwang/exchange_graph_lin
  • jaehwang/graph_lin
  • jaehwang/eventHistoryR
  • jaehwang/graph2hist
  • ci/robbert/merge_sbi_new
  • janno/texan-telescopes
  • ci/janno/canonical-vprop
  • artifact
  • lin-spec-pre-removal
22 results

algebra

  • Clone with SSH
  • Clone with HTTPS
    • Ralf Jung's avatar
    Merge branch 'robbert/issue_571' into 'master'
    Ralf Jung authored 
    Bump timeout to hopefully solve #571.

Closes #571

See merge request iris/iris!1051
    84ed8993
    History
    Ralf Jung's avatar 84ed8993
    History
    Name Last commit Last update
    ..