Commits

Branch selector

 master

User selector

vitorenesduarte

Datepicker

All time

Commit History

Commits on Mar 25, 2021

• Fix compilation in Rust 1.51 (informalsystems#768)

  vitorenesduarte

  authored
  c788d20

  Copy full SHA for c788d20

Commits on Mar 23, 2021

• MBT: Use modelator crate (informalsystems#724)

  Show description for c2ba84b
  vitorenesduarte

  authored
  c2ba84b

  Copy full SHA for c2ba84b

Commits on Mar 11, 2021

• MBT: check that clients and connections match those in the model (informalsystems#721)

  Show description for 280e03a
  vitorenesduarte

  authored
  280e03a

  Copy full SHA for 280e03a

Commits on Mar 2, 2021

• MBT for ICS03 (informalsystems#701)

  vitorenesduarte

  authored
  51386f9

  Copy full SHA for 51386f9

Commits on Feb 23, 2021

• Allow a conn open ack to succeed in the happy case (informalsystems#700)

  Show description for 08db234
  vitorenesduarte

  authored
  08db234

  Copy full SHA for 08db234

Commits on Feb 22, 2021

• Fix overflow when ctx.host_current_height().revision_height < ctx.host_chain_history_size() (informalsystems#686)

  Show description for 02aef9c
  

  vitorenesduarte

  and

  adizere

  authored
  02aef9c

  Copy full SHA for 02aef9c

Commits on Feb 12, 2021

• Disable MBT tests if the "mocks" feature is not enabled (informalsystems#643)

  Show description for 1b80bc7
  vitorenesduarte

  authored
  1b80bc7

  Copy full SHA for 1b80bc7

• Model-based tests for ICS02 (informalsystems#601)

  Show description for 214681c
  vitorenesduarte

  authored
  214681c

  Copy full SHA for 214681c

Commits on Feb 9, 2021

• Update CHANGELOG.md (informalsystems#627)

  vitorenesduarte

  authored
  cf433ca

  Copy full SHA for cf433ca

• Fix panic in conn open try when no connection id is provided (informalsystems#615)

  vitorenesduarte

  authored
  2bf5ce0

  Copy full SHA for 2bf5ce0

Commits on Feb 8, 2021

• Explicit assumptions in packet_from_tx_search_response (informalsystems#617)

  Show description for 277426e
  vitorenesduarte

  authored
  277426e

  Copy full SHA for 277426e

Commits on Feb 6, 2021

• Unambiguous packet query (informalsystems#613)

  Show description for d3d8a69
  vitorenesduarte

  authored
  d3d8a69

  Copy full SHA for d3d8a69

Commits on Jan 15, 2021

• Make denomination configurable (informalsystems#524)

  Show description for 5d18db0
  vitorenesduarte

  authored
  5d18db0

  Copy full SHA for 5d18db0

Commits on Jan 13, 2021

• Replace ChannelConfig in Channel::new (informalsystems#511)

  Show description for b324dc0
  vitorenesduarte

  authored
  b324dc0

  Copy full SHA for b324dc0

Commits on Jan 12, 2021

• Fix initial staking in one-chain script (informalsystems#512)

  Show description for 4a45567
  vitorenesduarte

  authored
  4a45567

  Copy full SHA for 4a45567

Commits on Jan 9, 2021

• Add Config::find_chain and Config::find_chain_mut (informalsystems#510)

  vitorenesduarte

  authored
  9c5d4f6

  Copy full SHA for 9c5d4f6

Commits on Jan 7, 2021

• Prevent early exit on killall error in dev-env script (informalsystems#504)

  Show description for d3d832f
  

  vitorenesduarte

  and

  adizere

  authored
  d3d832f

  Copy full SHA for d3d832f

Commits on Jan 5, 2021

• Reduce number of cloned() calls. (informalsystems#499)

  vitorenesduarte

  authored
  76134e2

  Copy full SHA for 76134e2