Commits · 1b1bca9a889fe6b675f273bbc9abaabb9218b50c · Christoph Reichenbach / EDAP15-exercise-3

04 Dec, 2020 10 commits
- Print source location for ret IR instructions · 1b1bca9a
  Alexandru Dura authored Dec 04, 2020
  
  1b1bca9a
- Check that type members exist · 8ec98cef
  Alexandru Dura authored Dec 04, 2020
  
  8ec98cef
- Merge branch 'master' of git.cs.lth.se:al7330du/attol · e696498a
  Noric Couderc authored Dec 04, 2020
  
  e696498a
- Suppress unneeded return null · f95b6bb1
  Christoph Reichenbach authored Dec 04, 2020 and Noric Couderc committed Dec 04, 2020
  
  f95b6bb1
- Improve type analysis for MemberExpr · 3d49106d
  Alexandru Dura authored Dec 04, 2020
  
  3d49106d
- Issue #14: fix Type.isArray() to work on undeclared types · 304c8220
  Alexandru Dura authored Dec 04, 2020
  
  304c8220
- Desugar type declarations of TEAL-3 as classes in TEAL-3 · fd255d1c
  Alexandru Dura authored Dec 04, 2020
  
  fd255d1c
- Add tests for TEAL-2 · a98d37ad
  Alexandru Dura authored Dec 04, 2020
  
  a98d37ad
- Issue #62: disallow type variables for all types except array[T] · 99066392
  Alexandru Dura authored Dec 04, 2020
  
  99066392
- Issue #62: Remove type variables from IR · 14966696
  Alexandru Dura authored Dec 04, 2020
  
  14966696
03 Dec, 2020 5 commits
- Tests for nonnull qualified struct members · c67ada27
  Alexandru Dura authored Dec 03, 2020
  
  c67ada27
- Add a scope for member variables · 99d19ca8
  Alexandru Dura authored Dec 03, 2020
  
  99d19ca8
- IR and interpreter support for qualifiers · 888ce08a
  Alexandru Dura authored Dec 03, 2020
  
  888ce08a
- Port TEAL-1 semantic checks to TEAL-2 · bce08774
  Alexandru Dura authored Dec 03, 2020
  
  bce08774
- Rename the expected files to be used for TEAL-2 · 61578479
  Alexandru Dura authored Dec 03, 2020
  
  61578479
01 Dec, 2020 5 commits
- Add TEAL-2 IR instructions: load, store · dd24225b
  Alexandru Dura authored Dec 01, 2020
  
  dd24225b
- Create a TEAL-2 IR module (extending TEAL-0) · 082ad6da
  Alexandru Dura authored Dec 01, 2020
  
  082ad6da
- Parse the nonnull qualifier · adf2a7dc
  Alexandru Dura authored Dec 01, 2020
  
  adf2a7dc
- Remove unnecessary parts from TEAL-3 · f86c8f6e
  Alexandru Dura authored Dec 01, 2020
  
  f86c8f6e
- Issue #26: Add a teal-2 frontend module (copied from teal-3) · 6724c69e
  Alexandru Dura authored Dec 01, 2020
  
  6724c69e
27 Nov, 2020 7 commits
- Issue #57: disallow nonnull local variables without initializer · ec86d773
  Alexandru Dura authored Nov 27, 2020
```
The file
compiler/testfiles/semacheck/teal1/nonnull-local.teal3.expected
is intentionally empty.
```
  ec86d773
- Issue #56: check that global variables can't be nonnull qualified · 9b7d430b
  Alexandru Dura authored Nov 27, 2020
```
This check is TEAL-1 specific, as TEAL-0 does not have qualifiers
and TEAL-3 implements them in another way.

The file
compiler/testfiles/semacheck/teal1/nonnull-global.teal3.expected
is intentionally empty (since nonnull is a name error in TEAL-3).
```
  9b7d430b
- Issue #53: test for nested uses of nonnull · 00a727ec
  Alexandru Dura authored Nov 27, 2020
  
  00a727ec
- Issue #53: nonnull in the return type · 3404bf96
  Alexandru Dura authored Nov 27, 2020
  
  3404bf96
- Issue #53: test that nonnull is checked on function parameters · 244d5778
  Alexandru Dura authored Nov 27, 2020
  
  244d5778
- Issue #53: nonnull in type assertions · de094b6e
  Alexandru Dura authored Nov 27, 2020
  
  de094b6e
- Cleanup: Remove unused test file · 1335ab96
  Alexandru Dura authored Nov 27, 2020
  
  1335ab96
26 Nov, 2020 8 commits
- Issue #55: helper method for tagging IRType as nonnull · 00a0bd74
  Alexandru Dura authored Nov 26, 2020
  
  00a0bd74
- Issue #52: implement IRType.isNonNull() · 5fbdd1f9
  Alexandru Dura authored Nov 26, 2020
  
  5fbdd1f9
- Issue #50: Rename IRTypeInstanceRef to IRType · 524fd8f5
  Alexandru Dura authored Nov 26, 2020
  
  524fd8f5
- Issue #50: Rename IRBuiltinType to IRBuiltinTypeCon · b34016a7
  Alexandru Dura authored Nov 26, 2020
  
  b34016a7
- Issue #50: Rename IRType to IRTypeCon · 214b1c3f
  Alexandru Dura authored Nov 26, 2020
  
  214b1c3f
- Issue #47: teal-3-ir module reuses functionality from teal-0-ir · dbb14d09
  Alexandru Dura authored Nov 26, 2020
```
Remove code duplication between TEAL-0 and TEAL-3 IR implementations.
```
  dbb14d09
- Fix TestInterpreter to work with Java 8 · b4754baf
  Alexandru Dura authored Nov 26, 2020
  
  b4754baf
- Nonnull qualifiers for array elements · 7d3a5a18
  Alexandru Dura authored Nov 26, 2020
```
The qualifiers are attched to the array object and are checked
dynamically, each time an element is assigned.
```
  7d3a5a18
25 Nov, 2020 5 commits
- Support nonnull qualifiers for scalars · c7b80bb7
  Alexandru Dura authored Nov 25, 2020
  
  c7b80bb7
- Issue #49: remove the IRAssert instructrion from TEAL-0 · ecb08c34
  Alexandru Dura authored Nov 25, 2020
  
  ecb08c34
- Remove the self instruction from TEAL-0 IR · 31a92ca6
  Alexandru Dura authored Nov 25, 2020
  
  31a92ca6
- Issue #49: remove OO load, store and new from TEAL-0 IR · 249106e8
  Alexandru Dura authored Nov 25, 2020
  
  249106e8
- Fix the module spec for the TEAL-3 scanner · 940320a7
  Alexandru Dura authored Nov 25, 2020
  
  940320a7