Commit Graph

Select branches

Hide Pull Requests

KPS2025

LSP-Interface

UnifyAllSolutions

UnifyDependentSubstitutions

addPackages

antlr

antlr2

aspGen

astRecordRefactoring

bcGenerics

bcel

bigCleanup

bigRefactoring

bigRefactoringUnifyComment

bytecode

bytecode2

bytecodeGenerics

bytecodeGenericsSecond

classfile

classloader

fixPlugin

generateTestConstraints

gradle

inferWildcards

intellij

issue363

martin

master

newConstraints

ohneMaven

parseSignature

parser

patternMatching

patternMatchingTmp

plugin

refactorToAPIs

refactoring

refactoring2020

refactoringConstraintSet

refactoringUnify

sat

sealedInterfacesFix

simplifyRes

strucTypes

strucTypesNew

strucTypesTemp

strucTypesVollmer

strucTypes_dev2

strucTypes_dev_PL

targetBytecode

tryCatch

typeErasure

unif23

unif23Full

unif23NoOptParallel

unif23NoOptParallel_Lehmann

unify

unify-PartialOrderSet

unify-test

unifyDev

unifyOptimierung

unifyStable

#357

#381

Mono Color

• edafbbc5a0 Fix #340 Daniel Holle 2024-07-23 15:33:09 +02:00
• ba8810e5df I don't know why isFunctionalInterface returns true on things that aren't even interfaces but here we go Daniel Holle 2024-07-19 18:04:33 +02:00
• 63493ed0f7 Make lambdas castable Daniel Holle 2024-07-19 17:26:39 +02:00
• 5f944e441c feat: working with Integer-Values but not Strings. Ruben 2024-07-17 16:41:38 +02:00
• 9c2c6a3ea9 Alter OL Test aspGen Andreas Stadelmeier 2024-07-01 12:36:22 +02:00
• a7ad4fa984 Add OrCOnsTest Andreas Stadelmeier 2024-06-28 11:32:32 +02:00
• 4dba867f9e Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-06-14 11:28:05 +02:00
• 06caf0ff66 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-06-14 11:27:14 +02:00
• ec92b5d5e1 Work on Bug #332 Daniel Holle 2024-06-13 17:23:19 +02:00
• fcda301b1e Hack in ASP-Constraint generation for WLP2024 paper Prototype Test Andreas Stadelmeier 2024-06-10 09:02:26 +02:00
• 2aa3997f17 Readme JanUlrich 2024-06-07 14:54:27 +02:00
• 7e37497740 Start ASP Gen after Constraint Generateion JanUlrich 2024-06-07 14:53:47 +02:00
• 091a6b8f1f Fix merge conflict Daniel Holle 2024-06-07 12:16:03 +02:00
• 60a1f3b220 Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode Daniel Holle 2024-06-07 12:04:01 +02:00
• 7e6aeaf728 Make Function Types implement others to allow Subtyping, fixes #337 Daniel Holle 2024-06-07 12:03:16 +02:00
• 0d572ed9b6 feat: changes in Grammar and Parser so typeless Recs get recognised Ruben 2024-06-06 12:16:28 +02:00
• ea217d16d5 Revert "feat: changes in Grammar and Parser so typeless Recs get recognised" Ruben 2024-06-06 12:07:32 +02:00
• 7650813bb7 feat: changes in Grammar and Parser so typeless Recs get recognised Ruben 2024-06-06 12:06:28 +02:00
• 5d03995f10 Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-05-27 17:44:29 +02:00
• 1bc58573c7 modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/test/java/AllgemeinTest.java pl@gohorb.ba-horb.de 2024-05-27 17:35:59 +02:00
• 4880527d4d Give an exception if a method has been duplicated Daniel Holle 2024-05-27 15:51:48 +02:00
• 50f2a29e1e Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode Daniel Holle 2024-05-27 12:17:24 +02:00
• 99f219de3b Work on #338, partially fixed Daniel Holle 2024-05-27 12:14:00 +02:00
• 12bb613eb0 Fix test cases Daniel Holle 2024-05-24 12:46:26 +02:00
• 141e1cbc94 Make wildcard imports work again #330 Daniel Holle 2024-05-23 11:39:56 +02:00
• 5b4ea5a0c5 fix #327 and add support for glob syntax in classpath input julian 2024-05-22 23:47:50 +02:00
• b824680508 Fix #335 Daniel Holle 2024-05-22 12:55:47 +02:00
• 295bf079b9 Add continue and do-while, close #331 Daniel Holle 2024-05-21 12:14:12 +02:00
• 974582f7e5 Fix #333 Daniel Holle 2024-05-17 10:49:45 +02:00
• 2ded0c9044 Add public Daniel Holle 2024-05-15 16:46:15 +02:00
• c3343959c5 modified: ../resources/AllgemeinTest/Box.jav modified: ../resources/bytecode/javFiles/Box.jav modified: ../src/test/java/AllgemeinTest.java modified: ../src/test/java/TestComplete.java pl@gohorb.ba-horb.de 2024-05-15 14:26:42 +02:00
• 39f04b1a1b Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-05-14 22:53:52 +02:00
• 3d2b935c60 Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode Pluemicke Martin 2024-05-14 22:53:08 +02:00
• db01b0c8dd new file: resources/AllgemeinTest/Box.jav Pluemicke Martin 2024-05-14 22:50:20 +02:00
• 662756ac18 Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode Daniel Holle 2024-05-10 16:51:10 +02:00
• b0bf41968e Bug325 Daniel Holle 2024-05-10 16:50:06 +02:00
• 2221b559ca Implementierungen von Interfaces eingefuegt und Overriding ersetzt durch implementierung modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java pl@gohorb.ba-horb.de 2024-05-10 14:16:23 +02:00
• 021b7ec9fe Fehler vom vorigen korriert Commit modified: ../resources/bytecode/javFiles/Matrix.jav modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java modified: ../src/test/java/TestComplete.java pl@gohorb.ba-horb.de 2024-05-08 09:07:22 +02:00
• 154d4823e4 isOverridden eingefuegt. Problem beim Konvertioeren modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/Method.java modified: ../src/main/java/de/dhbwstuttgart/syntaxtree/factory/ASTFactory.java modified: ../src/main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java modified: ../src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java modified: ../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java pl@gohorb.ba-horb.de 2024-05-08 00:14:21 +02:00
• 71dfe5d9e1 Bei diesem und vorigen Commit wurde der Bug #328 #328 geloest. pl@gohorb.ba-horb.de 2024-05-02 16:33:37 +02:00
• 58110c474a mathStrucInteger.jav funktioniert gerade nicht pl@gohorb.ba-horb.de 2024-05-02 00:13:45 +02:00
• df2ec4b1ba Fix #326, convert captures to correct types Daniel Holle 2024-04-30 16:55:40 +02:00
• 2c66a1d6e6 add class file Daniel Holle 2024-04-29 10:27:23 +02:00
• c76ee355d8 Add bug for #328 Daniel Holle 2024-04-29 10:25:01 +02:00
• a5c314c5c5 Fix #328 Daniel Holle 2024-04-28 19:25:20 +02:00
• cba35a4bec Don't load source files twice Daniel Holle 2024-04-27 23:08:15 +02:00
• b774281cbb Add Ternary, fix #324 Daniel Holle 2024-04-22 12:17:53 +02:00
• 9358130468 Fix package weirdness? See #322 Daniel Holle 2024-04-18 11:51:08 +02:00
• 708aa64283 Fix current directory not being added to path Daniel Holle 2024-04-18 10:31:12 +02:00
• c21e5202d6 Fix #323 Daniel Holle 2024-04-18 10:20:35 +02:00
• b3bd5cde10 Fix tests Daniel Holle 2024-04-15 16:44:34 +02:00
• df78937ef3 Fix test case a bit Daniel Holle 2024-04-15 16:18:25 +02:00
• 7fb4824f8d Add modulo, fix #319 Daniel Holle 2024-04-12 15:40:22 +02:00
• e0d71a6003 fix console Daniel Holle 2024-04-12 14:17:15 +02:00
• 49803385cf Fix optional parameters Daniel Holle 2024-04-12 13:58:11 +02:00
• 39d02f792c Deal with multiple source files properly, don't throw all the constraints together Daniel Holle 2024-04-12 10:48:13 +02:00
• 4fc78f494c More poking around Daniel Holle 2024-04-10 10:22:34 +02:00
• b752219d8c Throw exception if class doesn't exist Daniel Holle 2024-04-10 10:03:59 +02:00
• ec890356e4 Don't trim stack trace because some tests randomly fail and we need to know why Daniel Holle 2024-04-10 09:58:01 +02:00
• d405b0c3a2 Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode Daniel Holle 2024-04-10 09:42:47 +02:00
• 6c8657b7a8 Work on #308 Daniel Holle 2024-04-10 09:42:31 +02:00
• bcce4cee19 modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntacticSugar.java Im Visitor ReturnFinder wuder nicht beruecksichtigt, dass auch in einem Lambda-Ausdruck ein Reurn stehen kann, welchen die umgebenden Block nicht beendet. pl@gohorb.ba-horb.de 2024-04-09 18:25:26 +02:00
• e6cd4038e2 Fix bytecode error when calling interface functions Daniel Holle 2024-04-09 15:52:44 +02:00
• e50f941b79 Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode Daniel Holle 2024-04-09 14:59:16 +02:00
• cb7d0e22cc Fix #314 Daniel Holle 2024-04-09 14:58:43 +02:00
• 0d5be89310 modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/Match.java modified: ../src/test/java/TestComplete.java pl@gohorb.ba-horb.de 2024-04-09 01:50:42 +02:00
• 0b7f07108f Fix #313 Daniel Holle 2024-04-08 14:25:41 +02:00
• 6b0816c1c4 Add test for #309 Daniel Holle 2024-04-08 14:02:57 +02:00
• f66b9099f3 Fix #311 Daniel Holle 2024-04-08 13:51:49 +02:00
• da74898f9d Fix #312 Daniel Holle 2024-04-08 13:18:27 +02:00
• 46a7f61234 Fix #310 Daniel Holle 2024-04-08 11:52:52 +02:00
• e59accf7ee Fix #308 Daniel Holle 2024-04-08 11:40:46 +02:00
• 4b110244f2 new file: ../../AllgemeinTest/List.jav pl@gohorb.ba-horb.de 2024-04-07 17:31:05 +02:00
• e37040f367 Bug 307 gefixt pl@gohorb.ba-horb.de 2024-04-03 00:11:01 +02:00
• 6850a8fa21 Decouple unify from the rest of the code Daniel Holle 2024-03-28 10:35:34 +01:00
• 877e5ed38a Reversing alone would disturb the parameters (#298) Daniel Holle 2024-03-27 14:52:15 +01:00
• 82b4450857 Fix 298 for real this time? Daniel Holle 2024-03-27 14:39:43 +01:00
• b70e435120 Work on issue Daniel Holle 2024-03-27 12:21:57 +01:00
• 3b14cd609f Revert "Get rid of mutable state, hopefully fix #307" Daniel Holle 2024-03-27 09:57:21 +01:00
• 8fdfbf875b Fix #298 maybe? Daniel Holle 2024-03-26 17:31:48 +01:00
• bc61fc2e1d Get rid of mutable state, hopefully fix #307 Daniel Holle 2024-03-26 16:54:24 +01:00
• 62f2e05f35 Add test case for #307 Daniel Holle 2024-03-26 11:04:03 +01:00
• 606ce8b82d Implement AND/OR/XOR, fix #305 Daniel Holle 2024-03-26 10:54:32 +01:00
• c84befae51 Add Negation operator (fixes #304) Daniel Holle 2024-03-25 17:05:20 +01:00
• 7f3c1686ec Fix #303 Daniel Holle 2024-03-25 15:10:47 +01:00
• 43da2ffbdc Fix #302 Daniel Holle 2024-03-25 14:49:18 +01:00
• 9472b5c86f Types are weird in this one Daniel Holle 2024-03-25 13:51:56 +01:00
• 7cb0e9dbb7 Taking the super methods parameters should only happen for the types, fix #306 Daniel Holle 2024-03-25 13:43:30 +01:00
• e07521d9b6 Fix #298 Daniel Holle 2024-03-25 12:14:03 +01:00
• c2ee12397f Work on issue Daniel Holle 2024-03-22 14:54:23 +01:00
• e6321ff8bc Fix gtvs being strange, #301 Daniel Holle 2024-03-21 17:40:42 +01:00
• 786e0a7a23 Fix #300 and also call private methods correctly Daniel Holle 2024-03-21 11:49:16 +01:00
• 1c63321b30 Fix #294 Daniel Holle 2024-03-20 14:37:15 +01:00
• 1f74345324 Upload test for #298 Daniel Holle 2024-03-19 15:19:57 +01:00
• 518f58e08f Maybe null here was in fact right? Daniel Holle 2024-03-18 13:40:37 +01:00
• 0acfe6c0d4 Implement ThisCall (fix #295) Daniel Holle 2024-03-18 13:29:53 +01:00
• c07d4d36e9 Fix wrong type conversion, see #297 Daniel Holle 2024-03-18 12:14:03 +01:00
• 01e374eadd Fix #296 Daniel Holle 2024-03-18 10:14:40 +01:00
• a1b5c0541b Fix NPE in generics, probably because interface method don't have code Daniel Holle 2024-03-15 17:14:27 +01:00
• 66c8c307b0 Fix recursive packages Daniel Holle 2024-03-14 15:23:31 +01:00