Echtzeitsysteme/gips
1
0
Fork 0
mirror of https://github.com/Echtzeitsysteme/gips.git synced 2024-05-21 20:00:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
637 commits 12 branches 1 tag 34 MiB
Commit graph

637 commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Maximilian Kratz ea53311dca
Merge pull request #151 from Echtzeitsysteme/feature/extend-documentation 
Extend documentation: ENVs + Windows-related installation instructions for GLPK
 2024-05-19 15:56:42 +02:00
Maximilian Kratz 52c736c990 README.md: adds section on how to set the correct values for ENVs 
(Linux, macOS, and Windows)
 2024-05-19 15:48:33 +02:00
Maximilian Kratz d9835d5799 Adds installation instructions for GLPK on Windows-based systems 2024-05-19 15:37:39 +02:00
Maximilian Kratz 9ffe85a372
Merge pull request #150 from Echtzeitsysteme/feature/update-logicng-250 
Updates LogicNG to v2.5.0
 2024-05-19 15:11:21 +02:00
Maximilian Kratz 90dcc0d885 Switches LogicNG parser to j8 2024-05-19 13:37:21 +02:00
Maximilian Kratz b742bed6a6 Updates LogicNG to v2.5.0 
Their release included breaking changes which are reflected in this commit.
 2024-05-19 13:27:34 +02:00
Maximilian Kratz 03e690571b
Merge pull request #149 from Echtzeitsysteme/feature/update-gurobi-v1102 
Updates Gurobi dependency to v11.0.2
 2024-05-19 13:01:54 +02:00
Maximilian Kratz ba24dd17d6 Updates Gurobi dependency to v11.0.2 2024-05-19 12:43:38 +02:00
Maximilian Kratz 13e882471a
Merge pull request #144 from Echtzeitsysteme/hotfix/reset_validationLog 
Fixed the validation log issue
 2024-04-19 13:05:50 +02:00
SebastianE 4d1241ab8a + Fixed the validation log issue, by resetting the validation log before each Problem is built. 2024-04-19 13:00:49 +02:00
Maximilian Kratz 953beea22e Enforces the Eclipse code style + organize imports on all projects 2024-04-12 15:32:39 +02:00
Maximilian Kratz f02acc15c8
Merge pull request #143 from Echtzeitsysteme/hotfix/mapping_feature_values 
Hotfix/mapping feature values
 2024-04-12 15:31:28 +02:00
SebastianE 08392e830a Merge remote-tracking branch 'origin/master' into hotfix/mapping_feature_values 2024-04-12 14:58:32 +02:00
Maximilian Kratz da4da110a4
Merge pull request #142 from Echtzeitsysteme/hotfix/gips-api-emoflon-termination 
Adds the missing eMoflon API termination call to the `GipsEngineAPI`
 2024-04-05 15:15:29 +02:00
Maximilian Kratz 20f8c58cda Adds the missing emoflon api termination call to the GipsEngineAPI 2024-04-02 14:10:57 +02:00
Maximilian Kratz 09295a2447
Merge pull request #140 from Echtzeitsysteme/hotfix/gurobi-termination 
Fixes the broken Gurobi termination
 2024-03-29 08:24:39 +01:00
Maximilian Kratz f830209234 Fixes the broken Gurobi termination 2024-03-29 07:37:28 +01:00
Maximilian Kratz 616b99072d
Merge pull request #139 from Echtzeitsysteme/feature/update-gurobi-v1101 
Updates Gurobi dependency to v11.0.1
 2024-03-13 10:20:09 +01:00
Maximilian Kratz 1dc24fda3c Updates Gurobi dependency to v11.0.1 2024-03-13 10:01:00 +01:00
Maximilian Kratz 182c46e1e4
Merge pull request #135 from Echtzeitsysteme/feature/update-gurobi-v1100 
Updates Gurobi dependency to v11.0.0
 2024-03-13 09:44:37 +01:00
Maximilian Kratz 74b218ee71
Merge pull request #137 from Echtzeitsysteme/hotfix/validator-package-name-equals-project-name 
Fixes a false positive validation case if package name == project name
 2024-03-07 08:02:01 +01:00
Maximilian Kratz 839dd902d8 Fixes a false positive validation case if package name == project name 
Related to #136.
 2024-03-07 07:56:51 +01:00
Maximilian Kratz ad9adf1b32 Updates Gurobi dependency to v11.0.0 2024-02-23 11:48:27 +01:00
Maximilian Kratz f6e7410a3c
Merge pull request #130 from Echtzeitsysteme/hotfix/xtext-2330-mwe2-2160-compatibility 
Incompatibility with `Xtext v2.33.0` and `MWE2 v2.16.0`: Fixes broken dependencies
 2023-12-05 14:18:01 +01:00
Maximilian Kratz 9056f22c7d Fixes broken dependencies 2023-12-05 14:13:58 +01:00
Maximilian Kratz 0de8318b20
Merge pull request #127 from Echtzeitsysteme/hotfix/adds-missing-patternsumexpr-to-branching 
Adds missing `PatternSumExpression` to the branching in `generateBuilder` (Objective template)
 2023-11-15 15:16:49 +01:00
Maximilian Kratz 2dd6b09566 Adds missing PatternSumExpression to the branching in generateBuilder 2023-11-15 14:21:02 +01:00
Maximilian Kratz e7b4486dc9 Bugfix: Fixes a typo in the GIPSL project template provider 2023-11-13 10:43:44 +01:00
Maximilian Kratz ee3bd74ef0 Renames the master MWE2 file for naming consistency 2023-11-10 09:55:17 +01:00
Maximilian Kratz 4de8b54654
Merge pull request #125 from Echtzeitsysteme/feature/build-model-code-via-mwe2 
Include configs to build GIPSL and the intermediate model with one launch + bugfixes for newer intermediate model
 2023-11-06 11:33:51 +01:00
Maximilian Kratz 189c29f8ef Adapts .gitignore of the intermediate model project 2023-11-06 08:53:36 +01:00
Maximilian Kratz fbf132ea63 Adapts the README to include the new steps 2023-11-06 08:52:08 +01:00
Maximilian Kratz 754c28b802 Adds launch configs + genmodel comment changes 2023-11-06 08:42:55 +01:00
Maximilian Kratz 02d5b8fe7b Removes all left-overs of the BoolStreamExpr 2023-11-06 08:40:29 +01:00
Maximilian Kratz b5183822f0 Adds MWE2 file for the intermediate model 2023-11-06 08:33:51 +01:00
Maximilian Kratz 22debd1ad5 Removes generated code of the intermediate model 2023-11-06 08:29:13 +01:00
Maximilian Kratz 1c3710b760 Hotfix: Removes old Gurobi lib references in classpath file 2023-09-22 17:17:38 +02:00
Maximilian Kratz e30e8ee4d6
Merge pull request #123 from Echtzeitsysteme/feature/update-gurobi-1003 
Updates Gurobi from 10.0.2 to 10.0.3
 2023-09-22 10:08:36 +02:00
Maximilian Kratz 1dfd63649f Updates Gurobi from 10.0.2 to 10.0.3 2023-09-22 09:20:33 +02:00
Maximilian Kratz 389ee76dfe
Merge pull request #121 from Echtzeitsysteme/feature/dep-clean-up 
Dependency clean up
 2023-09-06 10:55:15 +02:00
Maximilian Kratz b97a1848d6 Moves all external libraries to the lib folder 2023-09-06 10:44:54 +02:00
Maximilian Kratz 00d3f16b66 Adds version to logicng exports 2023-09-06 10:42:28 +02:00
Maximilian Kratz b9719c2879
Merge pull request #120 from Echtzeitsysteme/feature/update-gurobi-1002 
Updates Gurobi from 10.0.1 to 10.0.2
 2023-09-06 10:39:42 +02:00
Maximilian Kratz b9dceaed31 Updates Gurobi from 10.0.1 to 10.0.2 2023-09-06 10:38:37 +02:00
SebastianE a2216094c6 + (Generator): enabled the access of node feature values that are associated with a mapping in constant expressions 2023-07-05 14:26:14 +02:00
SebastianE 432de3f6c9 Merge branch 'master' into hotfix/mapping_feature_values 2023-06-22 19:47:59 +02:00
SebastianE 07f3e18ba9 + (Generator): enabled the access of node feature values that are associated with a mapping 
+ (Transformer): fixed the wrong transformation of type iterator feature value access
 2023-06-22 19:47:03 +02:00
Maximilian Kratz c92dac88f5 Change git protocol from SSH to HTTPS in PSF file 2023-03-27 13:18:18 +02:00
Maximilian Kratz da03c9d6b6
Merge pull request #112 from Echtzeitsysteme/feature/update-cplex-2211 
Updates CPLEX from 22.1.0 to 22.1.1
 2023-02-23 12:19:13 +01:00
Maximilian Kratz 8545913b2d Adjustments in merge 2023-02-23 12:14:31 +01:00