Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 22, 2020

• evaluate the pass with more small tests and real life code from embench-iot

  hj424

  committedDec 22, 2020
  a00df97

Commits on Dec 20, 2020

• Update README.md

  hj424

  authoredDec 20, 2020
  5229e6b

Commits on Dec 19, 2020

• wrapper up the code

  hj424

  committedDec 19, 2020
  bb82be0

• add script for profiling

  hj424

  committedDec 19, 2020
  f2721aa

Commits on Dec 18, 2020

• add code for project

  hj424

  committedDec 18, 2020
  75ffd3a

Commits on Dec 14, 2020

• Update README.md

  hj424

  authoredDec 14, 2020
  83e7338

• finish t8

  hj424

  committedDec 14, 2020
  5d587aa

Commits on Dec 7, 2020

• finish t7

  hj424

  committedDec 7, 2020
  ec0ebb4

• Merge remote-tracking branch 'upstream/master'

  hj424

  committedDec 7, 2020
  28f5541

• Merge pull request sampsyo#93 from tedbauer/master

  sampsyo

  authoredDec 7, 2020
  8042ac1

• Slightly shorter state mutation stanza

  sampsyo

  committedDec 7, 2020
  108d39d

• Whitespace fix

  sampsyo

  committedDec 7, 2020
  0e1b4f5

• Merge pull request sampsyo#94 from kq-li/master

  sampsyo

  authoredDec 7, 2020
  b68bf6f

• Update OCaml library with speculative execution

  kq-li

  committedDec 7, 2020
  3e86412

Commits on Dec 6, 2020

• Mutate original object instead of creating a new one

  tedbauer

  committedDec 6, 2020
  5bc4d60

Commits on Dec 5, 2020

• Merge branch 'master' of github.com:sampsyo/bril

  kq-li

  committedDec 5, 2020
  52a3981

• Make sure state ref gets mutated in evalFunc

  tedbauer

  committedDec 5, 2020
  0f52a2f

Commits on Dec 4, 2020

• Merge pull request sampsyo#92 from mdmoeller/master

  sampsyo

  authoredDec 4, 2020
  b9b6b25

• update bril-vim/syntax/bril.vim for speculate

  

  Mark Moeller

  committedDec 4, 2020
  28cf949

Commits on Nov 27, 2020

• Docs improvements for sampsyo#89

  sampsyo

  committedNov 27, 2020
  f8160bf

• Merge pull request sampsyo#89 from Pat-Lafon/bril-rust-extension

  sampsyo

  committedNov 27, 2020
  3d501ea

• Merge pull request sampsyo#90 from Pat-Lafon/master

  sampsyo

  authoredNov 27, 2020
  e8d7004

• book -> bool

  Pat-Lafon

  committedNov 27, 2020
  b57f16a

• Move documentation to the book, wonder if code fmting is a thing

  Pat-Lafon

  committedNov 27, 2020
  fe716c0

• A bril-rust interface

  Pat-Lafon

  committedNov 27, 2020
  b23d7c1

Commits on Nov 23, 2020

• Update README.md

  hj424

  authoredNov 23, 2020
  e7d128f

Commits on Nov 21, 2020

• Cleanup

  sampsyo

  committedNov 21, 2020
  e89cb07

Commits on Nov 15, 2020

• Merge pull request sampsyo#88 from sampsyo/spec

  sampsyo

  authoredNov 15, 2020
  353e52b

• Add speculation examples

  sampsyo

  committedNov 15, 2020
  8027d54

• Start speculation docs

  sampsyo

  committedNov 15, 2020
  62db209

• Test non-speculative errors

  sampsyo

  committedNov 15, 2020
  84764d0

• Test speculation errors

  sampsyo

  committedNov 15, 2020
  0501fb5

• Enforce no speculative call & ret

  sampsyo

  committedNov 15, 2020
  f72397f

• Refactor: proper ADT for interpreter actions

  sampsyo

  committedNov 15, 2020
  3088e24

• More speculation tests

  sampsyo

  committedNov 15, 2020
  2dd9399

Pagination

PreviousNext