Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 14, 2021

• Update NuScr again

  Tooni

  committed
  6f92174

  Copy full SHA for 6f92174

• Update NuScr

  Tooni

  committed
  1dbc70a

  Copy full SHA for 1dbc70a

• Update readme

  Show description for e9fea55
  Tooni

  authored
  e9fea55

  Copy full SHA for e9fea55

• Update readme

  Show description for 9901e15
  Tooni

  authored
  9901e15

  Copy full SHA for 9901e15

Commits on Jun 13, 2021

• Update readme and --help output

  Tooni

  committed
  5fdc917

  Copy full SHA for 5fdc917

• Cleanup

  Tooni

  committed
  81bbba3

  Copy full SHA for 81bbba3

Commits on Jun 2, 2021

• In Codenames case-study, strike-through picked codenames

  Tooni

  committed
  6ea2bcf

  Copy full SHA for 6ea2bcf

Commits on Jun 1, 2021

• Small UI changes to Codenames

  Tooni

  committed
  94766cc

  Copy full SHA for 94766cc

• Update Codenames implementation for forgotten refinement. Add case study protocols

  Tooni

  committed
  f58069e

  Copy full SHA for f58069e

Commits on May 31, 2021

• Remove an unused type from Node runtime. Limit inputs properly in OnlineWallet

  Tooni

  committed
  adc6cdd

  Copy full SHA for adc6cdd

• Simplify OnlineWallet's index.ts

  Tooni

  committed
  6902543

  Copy full SHA for 6902543

Commits on May 30, 2021

• Add OnlineWallet case-study

  Tooni

  committed
  2bb95d5

  Copy full SHA for 2bb95d5

• Fix iteration and role-to-socket mapping bugs in runtime

  Tooni

  committed
  d4dfbf5

  Copy full SHA for d4dfbf5

Commits on May 28, 2021

• Remove some comments and debug prints from server runtime

  Tooni

  committed
  eba8284

  Copy full SHA for eba8284

• Remove word 'twitterpated' from Codenames

  Tooni

  committed
  4752bfc

  Copy full SHA for 4752bfc

• Combine late attendance runtime with refinements runtime. Update NuScr

  Tooni

  committed
  097cbf6

  Copy full SHA for 097cbf6

• Add role presence check

  Tooni

  committed
  4e805f9

  Copy full SHA for 4e805f9

Commits on May 24, 2021

• Add test for refinements and directed choice

  Tooni

  committed
  61e6b51

  Copy full SHA for 61e6b51

• Update workflow to install z3

  Tooni

  committed
  bb0d739

  Copy full SHA for bb0d739

• Update pragmas in test files

  Tooni

  committed
  54af08e

  Copy full SHA for 54af08e

• Update NuScr

  Tooni

  committed
  59eeefd

  Copy full SHA for 59eeefd

• Add Codenames case-study. Need to change runtime

  Tooni

  committed
  74c35f0

  Copy full SHA for 74c35f0

Commits on May 19, 2021

• Update pragmas for refinement satisfiability/progress

  Tooni

  committed
  25752e8

  Copy full SHA for 25752e8

Commits on May 10, 2021

• Update NuScr

  Tooni

  committed
  58ad789

  Copy full SHA for 58ad789

• Add generation for resetting rec exprs if they go out of scope. Fix obscure receive component bug

  Tooni

  committed
  5bc8928

  Copy full SHA for 5bc8928

Commits on May 9, 2021

• Add check for pragmas

  Tooni

  committed
  2e36b69

  Copy full SHA for 2e36b69

Commits on May 8, 2021

• Fix bug where routed message wouldn't have fromState

  Tooni

  committed
  1b67160

  Copy full SHA for 1b67160

• Refer to server properly when finding refinements

  Tooni

  committed
  321d5fe

  Copy full SHA for 321d5fe

Commits on May 7, 2021

• Remove input() from test function

  Tooni

  committed
  e46f8f7

  Copy full SHA for e46f8f7

• Fix bug to do with State to string conversions

  Tooni

  committed
  8bfff36

  Copy full SHA for 8bfff36

• Remove a debug print

  Tooni

  committed
  b6e978c

  Copy full SHA for b6e978c

• Use more detailed IDs for refinement map in server. Update NuScr

  Tooni

  committed
  08c979e

  Copy full SHA for 08c979e

Commits on May 4, 2021

• Rewrite function that finds variables from expression

  Tooni

  committed
  27ff63f

  Copy full SHA for 27ff63f

• Move functions into more appropriate files

  Tooni

  committed
  79269c7

  Copy full SHA for 79269c7

• Update NuScr

  Tooni

  committed
  4fe5e3d

  Copy full SHA for 4fe5e3d

Pagination

Previous

Next