JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 94 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 7811ecce63 Fix non chainable parts in dotted expression patternMatching Daniel Holle 2024-10-04 16:41:05 +0200
  • 44754e73ac Remove left over example code Daniel Holle 2024-10-04 15:05:46 +0200
  • 6ee308a712 feat: add Constraints for Records in Parameterlist Ruben 2024-10-02 17:06:30 +0200
  • 85d70378ca Merge branch 'patternMatching' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into patternMatching Daniel Holle 2024-10-02 15:09:25 +0200
  • 89bbbdacd8 Work on pattern matching in function headers Daniel Holle 2024-10-02 15:09:19 +0200
  • fbde5afb1b feat: changes on Grammar for literals in Records Ruben 2024-10-02 15:02:08 +0200
  • 6ccf2a3df6 Add overloading for switches, see #348 Daniel Holle 2024-10-01 17:28:20 +0200
  • b7979ac7e7 Fix tests Daniel Holle 2024-09-26 11:31:24 +0200
  • 9ede47c2d6 feat: add Constraint for Default-Case Ruben 2024-09-20 18:02:53 +0200
  • 406f98e55d feat: add Constraint for Default-Case Ruben 2024-09-20 18:02:13 +0200
  • a9d836ce25 modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java pl@gohorb.ba-horb.de 2024-09-19 17:43:23 +0200
  • fd8a66dd59 Variance und wildcardable in die Syntaxtree-Generierung verschoben modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: src/main/java/de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: src/test/java/TestComplete.java pl@gohorb.ba-horb.de 2024-09-19 17:22:51 +0200
  • 929392b7d4 refactor: enhanced Constraint-Genereation Ruben 2024-09-18 14:06:52 +0200
  • f57c8aa5a9 feat: add Constraints Ruben 2024-09-18 14:03:36 +0200
  • daa38183fa feat: adding Covariance for Switch Ruben 2024-09-18 13:54:01 +0200
  • eb454aa5b2 Add check for sealed interfaces Daniel Holle 2024-09-13 14:23:03 +0200
  • 72035c48f2 Update dependencies Daniel Holle 2024-09-12 14:42:09 +0200
  • 54f258e333 Default throws Daniel Holle 2024-09-12 14:36:26 +0200
  • 114de0b236 refactor + test: removed comments and fixed Test-Assertion Ruben 2024-09-04 11:03:11 +0200
  • 8f094eb025 refactor: refactoring Ruben 2024-09-04 10:42:11 +0200
  • 3ac3af2327 test: add Test for Switch-Case with generic Records. Ruben 2024-09-02 19:15:53 +0200
  • fbc9f1e755 Fix bugs and add new example dholle 2024-08-22 15:13:25 +0200
  • 94c359f7a1 test & feat: recursive Method-Call for nested Constraint-Generation Patterns in Records and added Linked-List Testcase. Ruben 2024-08-20 19:52:55 +0200
  • 4085c62231 Remove --enable-preview from pom.xml newConstraints Andreas Stadelmeier 2024-08-15 15:25:59 +0200
  • 8421023ea8 Set to Java 21 Andreas Stadelmeier 2024-08-15 15:23:06 +0200
  • 3be557a32b Merge branch 'targetBytecode' into patternMatching Ruben 2024-08-11 19:57:07 +0200
  • 852659dce6 Set Java Version to 21 JanUlrich 2024-08-08 12:32:07 +0200
  • 7012eb1d86 Remove jav-files Daniel Holle 2024-08-07 17:07:53 +0200
  • 7f1578a5b7 Fix build Daniel Holle 2024-08-07 17:02:27 +0200
  • d176dfb1e3 Remove tests Daniel Holle 2024-08-07 16:51:46 +0200
  • 494ce63838 Remove everything that doesn't touch constraints Daniel Holle 2024-08-07 16:40:06 +0200
  • 9801f8a5ae Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2221/JavaTX/JavaCompilerCore into targetBytecode targetBytecode Daniel Holle 2024-08-07 13:34:03 +0200
  • f0b9bea23e Fix #343 (le null check) Daniel Holle 2024-08-07 13:33:40 +0200
  • 96eb504174 test & fix: add Testcase for Heritage-detection and removed unnecessary creation of Constraints. Ruben 2024-08-06 18:44:52 +0200
  • ce4347dd96 Fix Y Test #341 Daniel Holle 2024-08-06 12:42:09 +0200
  • 4f0162ba64 Merge branch 'targetBytecode' into patternMatching Ruben 2024-08-05 15:42:48 +0200
  • 6e1198ab3d test: reverted TestCodegen Ruben 2024-08-05 15:40:05 +0200
  • 7785c2d0aa Fix equals method of ClassOrInterface Daniel Holle 2024-08-05 11:54:13 +0200
  • cc8f36d3ec feat: further implementation Ruben 2024-08-02 18:02:35 +0200
  • 139325e78f feat: fixed Commends Ruben 2024-07-31 17:42:23 +0200
  • b18b0a38cf feat: adding Constraints. Ruben 2024-07-31 17:41:58 +0200
  • a654f55deb Fix yTest Daniel Holle 2024-07-25 17:05:27 +0200
  • be60261795 feat: further fixes. Ruben 2024-07-25 08:30:52 +0200
  • c7f4a2d4c1 feat: further fixes. Ruben 2024-07-25 08:27:43 +0200
  • 7037bdf9ef modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java pl@gohorb.ba-horb.de 2024-07-24 23:31:13 +0200
  • d9860497df Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-07-24 23:25:07 +0200
  • fdffc11580 modified: resources/AllgemeinTest/Box.jav deleted: resources/bytecode/javFiles/Box.java modified: src/test/java/AllgemeinTest.java pl@gohorb.ba-horb.de 2024-07-24 23:23:39 +0200
  • c10de35ca2 new file: resources/AllgemeinTest/Bar.java pl@gohorb.ba-horb.de 2024-07-24 18:28:07 +0200
  • 56b73332c0 modified: pom.xml new file: resources/AllgemeinTest/Foo.jav modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java pl@gohorb.ba-horb.de 2024-07-24 18:27:32 +0200
  • bdcd5ea3cf Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-07-24 12:35:43 +0200
  • edafbbc5a0 Fix #340 Daniel Holle 2024-07-23 15:33:09 +0200
  • 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 +0200
  • 63493ed0f7 Make lambdas castable Daniel Holle 2024-07-19 17:26:39 +0200
  • 5f944e441c feat: working with Integer-Values but not Strings. Ruben 2024-07-17 16:41:38 +0200
  • 9c2c6a3ea9 Alter OL Test aspGen Andreas Stadelmeier 2024-07-01 12:36:22 +0200
  • a7ad4fa984 Add OrCOnsTest Andreas Stadelmeier 2024-06-28 11:32:32 +0200
  • 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 +0200
  • 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 +0200
  • ec92b5d5e1 Work on Bug #332 Daniel Holle 2024-06-13 17:23:19 +0200
  • fcda301b1e Hack in ASP-Constraint generation for WLP2024 paper Prototype Test Andreas Stadelmeier 2024-06-10 09:02:26 +0200
  • 2aa3997f17 Readme JanUlrich 2024-06-07 14:54:27 +0200
  • 7e37497740 Start ASP Gen after Constraint Generateion JanUlrich 2024-06-07 14:53:47 +0200
  • 091a6b8f1f Fix merge conflict Daniel Holle 2024-06-07 12:16:03 +0200
  • 60a1f3b220 Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode Daniel Holle 2024-06-07 12:04:01 +0200
  • 7e6aeaf728 Make Function Types implement others to allow Subtyping, fixes #337 Daniel Holle 2024-06-07 12:03:16 +0200
  • 0d572ed9b6 feat: changes in Grammar and Parser so typeless Recs get recognised Ruben 2024-06-06 12:16:28 +0200
  • ea217d16d5 Revert "feat: changes in Grammar and Parser so typeless Recs get recognised" Ruben 2024-06-06 12:07:32 +0200
  • 7650813bb7 feat: changes in Grammar and Parser so typeless Recs get recognised Ruben 2024-06-06 12:06:28 +0200
  • 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 +0200
  • 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 +0200
  • 4880527d4d Give an exception if a method has been duplicated Daniel Holle 2024-05-27 15:51:48 +0200
  • 50f2a29e1e Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode Daniel Holle 2024-05-27 12:17:24 +0200
  • 99f219de3b Work on #338, partially fixed Daniel Holle 2024-05-27 12:14:00 +0200
  • 12bb613eb0 Fix test cases Daniel Holle 2024-05-24 12:46:26 +0200
  • 141e1cbc94 Make wildcard imports work again #330 Daniel Holle 2024-05-23 11:39:56 +0200
  • 5b4ea5a0c5 fix #327 and add support for glob syntax in classpath input julian 2024-05-22 23:47:50 +0200
  • b824680508 Fix #335 Daniel Holle 2024-05-22 12:55:47 +0200
  • 295bf079b9 Add continue and do-while, close #331 Daniel Holle 2024-05-21 12:14:12 +0200
  • 974582f7e5 Fix #333 Daniel Holle 2024-05-17 10:49:45 +0200
  • 2ded0c9044 Add public Daniel Holle 2024-05-15 16:46:15 +0200
  • 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 +0200
  • 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 +0200
  • 3d2b935c60 Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode Pluemicke Martin 2024-05-14 22:53:08 +0200
  • db01b0c8dd new file: resources/AllgemeinTest/Box.jav Pluemicke Martin 2024-05-14 22:50:20 +0200
  • 662756ac18 Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode Daniel Holle 2024-05-10 16:51:10 +0200
  • b0bf41968e Bug325 Daniel Holle 2024-05-10 16:50:06 +0200
  • 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 +0200
  • 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 +0200
  • 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 +0200
  • 71dfe5d9e1 Bei diesem und vorigen Commit wurde der Bug #328 #328 geloest. pl@gohorb.ba-horb.de 2024-05-02 16:33:37 +0200
  • 58110c474a mathStrucInteger.jav funktioniert gerade nicht pl@gohorb.ba-horb.de 2024-05-02 00:13:45 +0200
  • df2ec4b1ba Fix #326, convert captures to correct types Daniel Holle 2024-04-30 16:55:40 +0200
  • 2c66a1d6e6 add class file Daniel Holle 2024-04-29 10:27:23 +0200
  • c76ee355d8 Add bug for #328 Daniel Holle 2024-04-29 10:25:01 +0200
  • a5c314c5c5 Fix #328 Daniel Holle 2024-04-28 19:25:20 +0200
  • cba35a4bec Don't load source files twice Daniel Holle 2024-04-27 23:08:15 +0200
  • b774281cbb Add Ternary, fix #324 Daniel Holle 2024-04-22 12:17:53 +0200
  • 9358130468 Fix package weirdness? See #322 Daniel Holle 2024-04-18 11:51:08 +0200
  • 708aa64283 Fix current directory not being added to path Daniel Holle 2024-04-18 10:31:12 +0200
  • c21e5202d6 Fix #323 Daniel Holle 2024-04-18 10:20:35 +0200