Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 7, 2017

• 1 var mutex example

  septract

  committed
  e4ead25

• aspirational 2var mutex example

  septract

  committed
  181b6b2

Commits on Mar 31, 2017

• More work on ST syntax grammar.

  MattWindsor91

  committed
  e1bab28

• remove alternative facts in gh shell script

  MattWindsor91

  committed
  349e2a6

• temporarily include syntax highlighting

  MattWindsor91

  committed
  c4cb92c

• Merge CLHlocks; add failing examples.

  MattWindsor91

  committed
  92b35be

• add temporary talk code

  MattWindsor91

  committed
  d034938

Commits on Mar 13, 2017

• Merge pull request #142 from septract/mw-atomic-conditionals

  Show description for 8d854aa
  septract

  authored
  8d854aa

Commits on Mar 9, 2017

• Minor comment typo.

  MattWindsor91

  committed
  40eda22

• Remove invalid comment.

  MattWindsor91

  committed
  25984d3

Commits on Mar 7, 2017

• Tidy up PrintAtomic'.

  Show description for edb7470
  MattWindsor91

  committed
  edb7470

Commits on Feb 16, 2017

• Revert accidentally changed GH spinlock.

  MattWindsor91

  committed
  2222a02

• Add some more atomic-branch examples.

  MattWindsor91

  committed
  8be8082

• Make modeller more flexible with ambiguous symbols.

  MattWindsor91

  committed
  0c923ad

• Add syntax for atomic branches.

  MattWindsor91

  committed
  1ffc35d

• Add test for branch equalising.

  MattWindsor91

  committed
  f586091

• Fix breakages in semantics.

  MattWindsor91

  committed
  d196c69

Commits on Feb 15, 2017

• Try and fail to fix _another_ test

  MattWindsor91

  committed
  08ca5d6

• Try, and fail, to fix broken tests

  MattWindsor91

  committed
  80500cf

• Remove broken writemap stuff.

  MattWindsor91

  committed
  3f6590a

Commits on Feb 14, 2017

• clean up (but not fix) broken after assigner

  MattWindsor91

  committed
  e7c0ac6

• Fix invalid context bug.

  MattWindsor91

  committed
  f5f3726

• Get new microcode processor compiling.

  Show description for 2bf6909
  MattWindsor91

  committed
  2bf6909

Commits on Feb 13, 2017

• Lay groundwork for atomic conditionals.

  Show description for 3bd499a
  MattWindsor91

  committed
  3bd499a

• Remove now-redundant backtrack.

  MattWindsor91

  committed
  0ff6959

• Simplify atomic syntax.

  Show description for 6f99ae3
  MattWindsor91

  committed
  6f99ae3

• Rearrange CLHlock predicate for legibility.

  MattWindsor91

  committed
  cc137e1

Commits on Feb 6, 2017

• Merge pull request #139 from septract/bjs-cav

  Show description for f05640e
  MattWindsor91

  authored
  f05640e

• Enhance pretty-printing

  MattWindsor91

  committed
  c449a92

• Fix #96 using new environment code.

  Show description for 381238a
  MattWindsor91

  committed
  381238a

• start pile of error exercising cvf files

  MattWindsor91

  committed
  c86354e

Commits on Feb 3, 2017

• Refactor and fix environments in modelling.

  MattWindsor91

  committed
  ca05b5b

Commits on Feb 2, 2017

• Do the same thing with bools

  

  bensimner

  authored and

  MattWindsor91

  committed
  dfeb2c0

• Allow thread and shared vars as params to symbolics in assigns

  

  bensimner

  authored and

  MattWindsor91

  committed
  b0150c3

• Allow Symbolics in RHS of Integer Loads

  Show description for 315f92a
  

  bensimner

  authored and

  MattWindsor91

  committed
  315f92a

Pagination

PreviousNext