Commits

Branch selector

 main

User selector

wrwg

Datepicker

All time

Commit History

Commits on Jan 6, 2022

• [move][evm] Experiments for EVM Move Programming Model

  Show description for 5af341e
  

  wrwg

  authored and

  bors-libra

  committed
  5af341e

Commits on Jan 5, 2022

• [move-model] Represent Move attributes in the move-model.

  Show description for c2688f9
  

  wrwg

  authored and

  bors-libra

  committed
  c2688f9

Commits on Dec 14, 2021

• [move-prover] Fixing error with auto trace wrongly applied

  Show description for 33b3b4f
  

  wrwg

  authored and

  bors-libra

  committed
  33b3b4f

Commits on Dec 9, 2021

• [move-prover] Loop invariants for functional macros + fixes

  Show description for 0c66328
  

  wrwg

  authored and

  bors-libra

  committed
  0c66328

Commits on Nov 23, 2021

• [move-prover] Package integration and dependency cleanup

  Show description for 18d058a
  

  wrwg

  authored and

  bors-libra

  committed
  18d058a

Commits on Nov 19, 2021

• [move-prover] Refine error diagnosis

  Show description for 1b6fa50
  

  wrwg

  authored and

  bors-libra

  committed
  1b6fa50

Commits on Oct 16, 2021

• [move-prover][paper] Fixing reference to Move book

  Show description for ed67d96
  

  wrwg

  authored and

  bors-libra

  committed
  ed67d96

Commits on Oct 15, 2021

• [move-prover][paper] Submission version

  Show description for 5d0b15c
  

  wrwg

  authored and

  bors-libra

  committed
  5d0b15c

Commits on Oct 13, 2021

• [move-prover][paper] Refinements

  Show description for ca0d3f8
  

  wrwg

  authored and

  bors-libra

  committed
  ca0d3f8

Commits on Oct 12, 2021

• [move-prover][paper] Semi-final for submission

  Show description for ffc12bb
  

  wrwg

  authored and

  bors-libra

  committed
  ffc12bb

Commits on Oct 8, 2021

• [move-stdlib] Moving Capability module to stdlib and refining it

  Show description for d57df75
  

  wrwg

  authored and

  bors-libra

  committed
  d57df75

Commits on Oct 5, 2021

• [move-prover][paper] Adding missing source

  Show description for 33cee97
  

  wrwg

  authored and

  bors-libra

  committed
  33cee97

Commits on Oct 4, 2021

• Protects calling create and acquires by needing to pass a "witness" of actually owning the Feature type parameter. This goes back to a suggestion from Emma.

  Show description for 5a36a85
  

  wrwg

  authored and

  bors-libra

  committed
  5a36a85

• [move-stdlib] Standalone module for capabilities.

  Show description for ccd0136
  

  wrwg

  authored and

  bors-libra

  committed
  ccd0136

• [move-prover][paper] Getting ready for submission

  Show description for 6d38aaa
  

  wrwg

  authored and

  bors-libra

  committed
  6d38aaa

Commits on Sep 22, 2021

• [move-prover][paper] Extracting paper from tech report.

  Show description for 5f89c80
  

  wrwg

  authored and

  bors-libra

  committed
  5f89c80

Commits on Sep 20, 2021

• [move-prover] Move generation of well-formed assumptions into its own processor.

  Show description for c30944b
  

  wrwg

  authored and

  bors-libra

  committed
  c30944b

Commits on Sep 17, 2021

• [move-prover] Do not generate or use inline attr for uninterpreted functions.

  Show description for 3ba55ff
  

  wrwg

  authored and

  bors-libra

  committed
  3ba55ff

Commits on Sep 16, 2021

• [move-prover] Implement opaque spec var updates.

  Show description for 8d472a6
  

  wrwg

  authored and

  bors-libra

  committed
  8d472a6

Commits on Sep 14, 2021

• [move-prover] Implement spec (ghost) vars by mapping them to regular memory.

  Show description for 7bd3608
  

  wrwg

  authored and

  bors-libra

  committed
  7bd3608

Commits on Aug 27, 2021

• [move-prover][report] Completing monomorphization section

  Show description for 27bf1c8
  

  wrwg

  authored and

  bors-libra

  committed
  27bf1c8

Commits on Aug 25, 2021

• [move-prover][report] Global Invariant Section

  Show description for 5d97183
  

  wrwg

  authored and

  bors-libra

  committed
  5d97183

Commits on Aug 23, 2021

• [move-prover] Renables invariant disabling analysis.

  Show description for 5f263b1
  

  wrwg

  authored and

  bors-libra

  committed
  5f263b1

Commits on Aug 19, 2021

• [move-prover] Invariant refactoring: Eliminate TypeLocal.

  Show description for a3e8075
  

  wrwg

  authored and

  bors-libra

  committed
  a3e8075

Commits on Aug 12, 2021

• [move-prover] Fixes a bug with shadowing of let-bound names in schemas

  Show description for 3bbb237
  

  wrwg

  authored and

  bors-libra

  committed
  3bbb237

Commits on Aug 5, 2021

• [move-prover] Cleanup benchmarks and add a benchmark for opaque/ignore opaque

  Show description for ad95a22
  

  wrwg

  authored and

  bors-libra

  committed
  ad95a22

Commits on Aug 4, 2021

• [move-prover] Fixes a bug in the choose operator.

  Show description for 5f5326f
  

  wrwg

  authored and

  bors-libra

  committed
  5f5326f

Commits on Aug 2, 2021

• [move-prover] Report: updating introduction

  Show description for 763be41
  

  wrwg

  authored and

  bors-libra

  committed
  763be41

Commits on Jul 30, 2021

• [move-prover] Tech report: global invariants first take

  Show description for 0600a42
  

  wrwg

  authored and

  bors-libra

  committed
  0600a42

Commits on Jul 29, 2021

• [move-prover] Tech report: data invariants

  Show description for 4ff94c4
  

  wrwg

  authored and

  bors-libra

  committed
  4ff94c4

Commits on Jul 28, 2021

• [prover] Function specification injection

  Show description for c1fa2ba
  

  wrwg

  authored and

  bors-libra

  committed
  c1fa2ba

• [move-prover] Initial cut of tech report.

  Show description for c4dd8d8
  

  wrwg

  authored and

  bors-libra

  committed
  c4dd8d8

Commits on Jul 13, 2021

• [move-prover][prover-lab] Create a z3 vs cvc5 basic experiment, nuke Rust-Jupyter-Book dependency

  Show description for b48c633
  

  wrwg

  authored and

  bors-libra

  committed
  b48c633

Commits on Jun 18, 2021

• [move-prover] Qualify module names by address in Boogie output

  Show description for c73cfce
  

  wrwg

  authored and

  bors-libra

  committed
  c73cfce

• [dev-infra] Removing pre-command from install_pkg invocation

  Show description for 4d01454
  

  wrwg

  authored and

  bors-libra

  committed
  4d01454

Pagination

PreviousNext