From d5455380458cf0987429be6cb34ca959bf770c1e Mon Sep 17 00:00:00 2001 From: Maximilian Kratz Date: Tue, 15 Oct 2024 12:03:44 +0200 Subject: [PATCH 1/2] Updates GIPS acronym + updates sub headline --- config.yaml | 4 ++-- content/_index.md | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/config.yaml b/config.yaml index 6479f2b..f32db1b 100644 --- a/config.yaml +++ b/config.yaml @@ -17,8 +17,8 @@ permalinks: params: # Header text, can be markdown # project_name: "![](/img/emoflon_logo_with_tex_semitransparent_300px.png)" - project_name: "**GIPS** - **G**raph-Based **I**LP **P**roblem **S**pecification Tool" - project_tagline: "**GIPS** is a tool to built tools that automatically derive ILP problems from given graph specifications." + project_name: "**GIPS** - **G**raph-Based (M)**I**LP **P**roblem **S**pecification Tool" + project_tagline: "**GIPS** is a tool to built tools that automatically derive (M)ILP problems from given graph-based specifications." # Theme customizations by us frontpage_text: "" diff --git a/content/_index.md b/content/_index.md index 072a7d8..790861a 100644 --- a/content/_index.md +++ b/content/_index.md @@ -9,7 +9,7 @@ However, designing and specifying complex optimization problems from more abstra A designer must be an expert in the specific problem domain as well as the ILP optimization domain to translate the given problem into avalid ILP problem. Typically, domain-specific ILP problem generators are hand-crafted by experts, to avoid specifying a new ILP problem by hand for each new instance of a problem domain. Unfortunately, the task of writing ILP problem generators is an exercise, which has to be repeated for each new scenario, tool, and approach. -For this purpose, we introduce the **GIPS** (**G**raph-Based **I**LP **P**roblem **S**pecification Tool) framework that simplifies the development of ILP problem generators for graph-based optimization problems and a new Domain-Specific Language (DSL) called **GIPSL** (**G**raph-Based **I**LP **P**roblem **S**pecification **L**anguage) that integrates GT and ILP problems on an abstract level. +For this purpose, we introduce the **GIPS** (**G**raph-Based (M)**I**LP **P**roblem **S**pecification Tool) framework that simplifies the development of ILP problem generators for graph-based optimization problems and a new Domain-Specific Language (DSL) called **GIPSL** (**G**raph-Based (M)**I**LP **P**roblem **S**pecification **L**anguage) that integrates GT and ILP problems on an abstract level. Our approach uses GIPSL specifications as a starting point to derive ILP problem generators for a specific application domain automatically. First experiments show that the derived ILP problem generators can compete with hand-crafted programs developed by ILP experts. From 286789069f421cda936836be276e218028d8da25 Mon Sep 17 00:00:00 2001 From: Maximilian Kratz Date: Tue, 15 Oct 2024 12:12:19 +0200 Subject: [PATCH 2/2] Adds a missing dot --- content/dev/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/dev/index.md b/content/dev/index.md index b0086dc..4d4ff47 100644 --- a/content/dev/index.md +++ b/content/dev/index.md @@ -7,7 +7,7 @@ draft: false **GIPS** is developed at the [Real-Time Systems Lab, TU Darmstadt](https://www.es.tu-darmstadt.de/en/) (TUDa). You can find the list of contributors on the [GIPS developer page](../dev-team). -The source code of **GIPS** is available at our [GitHub repository](https://github.com/Echtzeitsysteme/gips) and it is based on [eMoflon::IBeX](https://emoflon.org/ibex/) +The source code of **GIPS** is available at our [GitHub repository](https://github.com/Echtzeitsysteme/gips) and it is based on [eMoflon::IBeX](https://emoflon.org/ibex/). **GIPS**-specific development workspace set-up steps are available in the [README.md file](https://github.com/Echtzeitsysteme/gips#installation-development) of the [GIPS repository](https://github.com/Echtzeitsysteme/gips).