Commits · 55a3bc0406183f781d9ed1308a2c46d47ebdad8d · IPDSnelting / mjtest-tests

14 Jan, 2019 2 commits
- Merge branch 'speedcenter-testcases' into 'master' · 55a3bc04
  uwdkn authored Jan 14, 2019
```
Add Speedcenter testcases.

See merge request !55
```
  55a3bc04
- Add Speedcenter testcases. · 67310848
  andreas.fried authored Jan 14, 2019
  
  67310848
12 Dec, 2018 2 commits
- Merge branch 'exec-testcases' into 'master' · 19948c3b
  uwdkn authored Dec 12, 2018
```
Add more tests to ensure correct FIRM construction

See merge request !54
```
  19948c3b
- Add more tests to ensure correct FIRM construction · 6b0a0d74
  ufebl authored Dec 12, 2018
  
  6b0a0d74
04 Dec, 2018 1 commit
- Remove invalid exec test because UB · 4d1f072e
  uwdkn authored Dec 04, 2018
  
  4d1f072e
03 Dec, 2018 1 commit
- Merge branch 'master' into 'master' · 228406c7
  uwdkn authored Dec 03, 2018
```
two more exec test cases

See merge request !53
```
  228406c7
01 Dec, 2018 5 commits
- add min heap and graph exec test cases · 03e21568
  Daniel Seemaier authored Dec 01, 2018
  
  03e21568
- Fix exec/array_index_access_order test · cd4b7618
  uwdkn authored Dec 01, 2018
  
  cd4b7618
- Fix exec/return.mj test case · eef2a525
  uwdkn authored Dec 01, 2018
  
  eef2a525
- Merge branch 'g6-compile-firm' into 'master' · 648f5714
  uwdkn authored Dec 01, 2018
```
group6 exec test cases.

See merge request !49
```
  648f5714
- Merge branch 'master' into 'master' · 4cbda3ec
  uwdkn authored Dec 01, 2018
```
Remove all .java.out files

See merge request !52
```
  4cbda3ec
30 Nov, 2018 13 commits
- Remove all .java.out files · 2790b556
  uiekn authored Nov 30, 2018
  
  2790b556
- Merge branch 'master' into 'master' · 34628abf
  uwdkn authored Nov 30, 2018
```
Remove incorrect echo output

See merge request IPDSnelting/mjtest-tests!51
```
  34628abf
- group6 exec test cases. · f4953a46
  Johannes Bucher authored Nov 29, 2018
```
Also includes a few semantic tests which were not already merged into the shared repo.
```
  f4953a46
- Merge branch 'group4' into 'master' · 0514a855
  uwdkn authored Nov 30, 2018
```
Exec test cases of Rust Team

See merge request IPDSnelting/mjtest-tests!50
```
  0514a855
- Update binary_ops.mj.out · b4075d82
  uwdkn authored Nov 30, 2018
  
  b4075d82
- Merge branch 'exec-testcases' into 'master' · 8cacd221
  uwdkn authored Nov 30, 2018
```
Exec Test Cases (Group 2)

See merge request IPDSnelting/mjtest-tests!47
```
  8cacd221
- Remove incorrect echo output · 126e46a6
  uiekn authored Nov 30, 2018
  
  126e46a6
- Merge branch 'master' into 'master' · 7159e82f
  uwdkn authored Nov 30, 2018
```
Add exec testcases group 5

See merge request IPDSnelting/mjtest-tests!44
```
  7159e82f
- Merge branch 'group1-compile-tests' into 'master' · 85326581
  uwdkn authored Nov 30, 2018
```
Add exec tests from group 1

See merge request IPDSnelting/mjtest-tests!43
```
  85326581
- Merge branch 'master' into 'master' · 2eb9e37b
  uwdkn authored Nov 30, 2018
```
Group 3 exec test cases

See merge request IPDSnelting/mjtest-tests!46
```
  2eb9e37b
- Group 3 test cases fixed · 167937cb
  uiekn authored Nov 30, 2018
  
  167937cb
- Test cases from group 3 · 550a374c
  uiekn authored Nov 13, 2018
  
  550a374c
- Fix array indices in exec/array_index_access_order.mj · e042915e
  uwgwb authored Nov 30, 2018
  
  e042915e
29 Nov, 2018 4 commits
- Apply review · 578766b8
  uwdkn authored Nov 29, 2018
  
  578766b8
- Exec test cases of Rust Team · b9d47d46
  uwdkn authored Nov 29, 2018
  
  b9d47d46
- Add a selection of firm execution test cases · ffe05302
  Maximilian Stemmer-Grabow authored Nov 29, 2018
  
  ffe05302
- Add exec testcases group 5 · 1f2b11d9
  uwgwb authored Nov 29, 2018
  
  1f2b11d9
28 Nov, 2018 1 commit
- Add exec tests from group 1 · 75dfdaa1
  ufebl authored Nov 28, 2018
  
  75dfdaa1
27 Nov, 2018 2 commits
- Merge branch 'group1-semantic-feedback' into 'master' · 48c9e4a7
  uwdkn authored Nov 27, 2018
```
Create more semantic testcases from the feedback

See merge request !42
```
  48c9e4a7
- Create more semantic testcases from the feedback · 558ec124
  ufebl authored Nov 25, 2018
  
  558ec124
19 Nov, 2018 2 commits
- Merge branch 'group1semanticTest' into 'master' · f43a4f46
  uwdkn authored Nov 19, 2018
```
adding checks for invalid and valid negative Integers

See merge request !41
```
  f43a4f46
- adding checks for invalid and valid negative Integers · c7eb88b7
  updjx authored Nov 19, 2018
  
  c7eb88b7
18 Nov, 2018 3 commits
- Merge branch 'even-more-semantic-tests' into 'master' · 3a18bd04
  uwdkn authored Nov 18, 2018
```
Even more semantic tests

See merge request !40
```
  3a18bd04
- Even more semantic tests · 420e2493
  ufebl authored Nov 18, 2018
  
  420e2493
- Delete invalid test case · d552f364
  uwdkn authored Nov 18, 2018
```
Closes #9
```
  d552f364
17 Nov, 2018 4 commits
- Merge branch 'semantic/edge_cases' into 'master' · cafb0d6b
  uwdkn authored Nov 17, 2018
```
Group 5: Additional semantic test cases

See merge request !39
```
  cafb0d6b
- Group 5: Additional semantic test cases · e338d07a
  uwgwb authored Nov 17, 2018
  
  e338d07a
- Merge branch 'master' into 'master' · cd1682c7
  uwdkn authored Nov 17, 2018
```
Test cases from group 3

See merge request !34
```
  cd1682c7
- Test cases from group 3 · 60323df0
  uiekn authored Nov 17, 2018
  
  60323df0