Code

Exn#71

Code

Open

dz333 wants to merge 44 commits intomainapl-cornell/PDL:mainfrom exnapl-cornell/PDL:exnCopy head branch name to clipboard

+5,572-425

Commits

Commits on Mar 13, 2022

• basics

  

  Charles Sherk

  committed
  c31c456

Commits on Mar 14, 2022

• commit

  

  Charles Sherk

  committed
  263fed8

Commits on Mar 17, 2022

• tmp

  

  Charles Sherk

  committed
  c11d649

• add exceptions task description

  

  Charles Sherk

  committed
  5269a3e

• Update exceptions.md

  dz333

  authored
  28f0c60

Commits on Mar 28, 2022

• start exn typechecking. currently working on typeinference

  

  Charles Sherk

  committed
  30953ef

Commits on Apr 4, 2022

• type inference

  

  Charles Sherk

  committed
  86409a8

• type inference

  

  Charles Sherk

  committed
  b0ca5cd

Commits on Apr 19, 2022

• add typechecking based on the rules we discussed

  yy665

  committed
  d3d7bfc

• fix some ast

  yy665

  committed
  7840a73

Commits on May 2, 2022

• type checking working for exceptions? only positively

  

  Charles Sherk

  committed
  4f5a9a5

Commits on May 5, 2022

• untested, but done?

  

  Charles Sherk

  committed
  8c8f56b

• added useful code for generating abort calls

  dz333

  committed
  c60610e

• added a simple abort-able lock

  dz333

  committed
  2431f4d

Commits on May 9, 2022

• testing for exceptions

  

  Charles Sherk

  committed
  64a4d86

• Merge branch 'exn' of github.com:apl-cornell/PDL into exn

  

  Charles Sherk

  committed
  efe940a

• yeet old code

  

  Charles Sherk

  committed
  f13e86a

Commits on Jun 22, 2022

• exn_translation

  yy665

  committed
  1a1f94c

• add testcase

  yy665

  committed
  9fcf978

• updated this example to reflect a bug - BaseTypeChecker should check that every memory used in an excepting pipeline is Locked

  Show description for bd4d886
  dz333

  committed
  bd4d886

• updated example to do a write

  dz333

  committed
  16c8893

Commits on Jun 23, 2022

• fixed some bugs in pretty printer, and made port checker pass run on commit and exception blocks

  dz333

  committed
  6f1b359

Commits on Jul 7, 2022

• partially resolved comments, enables exn_args and kill_rules

  yy665

  committed
  f465d0d

Commits on Jul 12, 2022

• debugs and change kill rule impl

  yy665

  committed
  730997e

• added a spectable.clear() function that resets it to initial state

  dz333

  committed
  96a465b

• added a clear method for our async mems that clears their request queues

  dz333

  committed
  dc84843

• finish problem with old ModLock instantiations

  dz333

  committed
  68245bf

Commits on Jul 30, 2022

• tests passed

  yy665

  committed
  7626eeb

Commits on Nov 29, 2022

• tests and fixes

  yy665

  committed
  60c58bb

• Merge pull request #72 from yy665/exn

  Show description for 7ac58af
  yy665

  authored
  7ac58af

Commits on Mar 1, 2023

• resolve all comments and fix bugs, add ehr

  yy665

  committed
  7fdfe43

• Merge pull request #74 from yy665/exn

  Show description for d562687
  yy665

  authored
  d562687

• fix tests

  yy665

  committed
  d9e204c

• Merge pull request #75 from yy665/exn

  Show description for 3ea3e34
  yy665

  authored
  3ea3e34

Commits on Apr 6, 2023

• rewrite impl with stgclear

  yy665

  committed
  b386fb4

• fix sq

  yy665

  committed
  635d92d

• fix

  yy665

  committed
  24e6edd

• Merge pull request #77 from yy665/exn

  Show description for 15231cd
  yy665

  authored
  15231cd

Commits on Apr 7, 2023

• Update scala.yml

  Show description for 7935064
  dz333

  authored
  7935064

Commits on Aug 8, 2023

• further exn change

  yy665

  committed
  737bc6d

Commits on Oct 11, 2023

• fix problem wrt iverilog version

  yy665

  committed
  ef2f70f

Commits on Oct 16, 2023

• some fixes and testcases

  yy665

  committed
  5176c08

Commits on Oct 25, 2023

• fix chkp + some ad hoc stuff

  yy665

  committed
  6cc3a76

• Merge pull request #78 from yy665/exn

  Show description for 1b0f426
  yy665

  authored
  1b0f426