From ce3b6703c153ba5c827996bfa8fd9bfa85fe2adb Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Thu, 8 Oct 2015 16:02:17 +0200 Subject: Remove unneeded id field from {en,sl}.py files --- prolog/problems/denotational_semantics/algol_3/en.py | 1 - prolog/problems/denotational_semantics/algol_for_3/en.py | 1 - prolog/problems/denotational_semantics/algol_if_3/en.py | 1 - prolog/problems/denotational_semantics/prog_8puzzle_2/en.py | 1 - prolog/problems/denotational_semantics/prog_8puzzle_3/en.py | 1 - prolog/problems/denotational_semantics/prog_listswap_2/en.py | 1 - prolog/problems/denotational_semantics/prog_listswap_3/en.py | 1 - 7 files changed, 7 deletions(-) (limited to 'prolog/problems/denotational_semantics') diff --git a/prolog/problems/denotational_semantics/algol_3/en.py b/prolog/problems/denotational_semantics/algol_3/en.py index 5c79c41..c5da13e 100644 --- a/prolog/problems/denotational_semantics/algol_3/en.py +++ b/prolog/problems/denotational_semantics/algol_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 176 name = 'algol/3' slug = 'interpreter for mini-algol' diff --git a/prolog/problems/denotational_semantics/algol_for_3/en.py b/prolog/problems/denotational_semantics/algol_for_3/en.py index 53e5e2b..d4b8144 100644 --- a/prolog/problems/denotational_semantics/algol_for_3/en.py +++ b/prolog/problems/denotational_semantics/algol_for_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 178 name = 'algol_for/3' slug = 'interpreter for mini-algol with for-statement' diff --git a/prolog/problems/denotational_semantics/algol_if_3/en.py b/prolog/problems/denotational_semantics/algol_if_3/en.py index f4ae00a..fae6c45 100644 --- a/prolog/problems/denotational_semantics/algol_if_3/en.py +++ b/prolog/problems/denotational_semantics/algol_if_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 177 name = 'algol_if/3' slug = 'interpreter for mini-algol with if-statement' diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py index d43a837..fc49742 100644 --- a/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py +++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 172 name = 'prog_8puzzle/2' slug = '8-puzzle-solving language' diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py index 346d579..1c23b18 100644 --- a/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py +++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 173 name = 'prog_8puzzle/3' slug = '8-puzzle-solving language with semantics' diff --git a/prolog/problems/denotational_semantics/prog_listswap_2/en.py b/prolog/problems/denotational_semantics/prog_listswap_2/en.py index 2cf8fff..0f8e038 100644 --- a/prolog/problems/denotational_semantics/prog_listswap_2/en.py +++ b/prolog/problems/denotational_semantics/prog_listswap_2/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 175 name = 'prog_listswap/2' slug = 'list-manipulation language' diff --git a/prolog/problems/denotational_semantics/prog_listswap_3/en.py b/prolog/problems/denotational_semantics/prog_listswap_3/en.py index 88a927a..5e85ce6 100644 --- a/prolog/problems/denotational_semantics/prog_listswap_3/en.py +++ b/prolog/problems/denotational_semantics/prog_listswap_3/en.py @@ -1,6 +1,5 @@ # coding=utf-8 -id = 174 name = 'prog_listswap/3' slug = 'list-manipulation language with semantics' -- cgit v1.2.1 From 3d0fde9ac8bc568845cfef8391ea0f9b0fe2f4e6 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Thu, 8 Oct 2015 16:13:35 +0200 Subject: Add language/group IDs and group numbers for Prolog --- prolog/problems/denotational_semantics/common.py | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 prolog/problems/denotational_semantics/common.py (limited to 'prolog/problems/denotational_semantics') diff --git a/prolog/problems/denotational_semantics/common.py b/prolog/problems/denotational_semantics/common.py new file mode 100644 index 0000000..e2c420e --- /dev/null +++ b/prolog/problems/denotational_semantics/common.py @@ -0,0 +1,2 @@ +id = 11 +number = 10 -- cgit v1.2.1 From 6e281624b9a0ae29f1f1862f9d581b219ba3b95a Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 12 Oct 2015 11:46:08 +0200 Subject: Remove group attribute from problem common.py files --- prolog/problems/denotational_semantics/algol_3/common.py | 1 - prolog/problems/denotational_semantics/algol_for_3/common.py | 1 - prolog/problems/denotational_semantics/algol_if_3/common.py | 1 - prolog/problems/denotational_semantics/prog_8puzzle_2/common.py | 1 - prolog/problems/denotational_semantics/prog_8puzzle_3/common.py | 1 - prolog/problems/denotational_semantics/prog_listswap_2/common.py | 1 - prolog/problems/denotational_semantics/prog_listswap_3/common.py | 1 - 7 files changed, 7 deletions(-) (limited to 'prolog/problems/denotational_semantics') diff --git a/prolog/problems/denotational_semantics/algol_3/common.py b/prolog/problems/denotational_semantics/algol_3/common.py index 1f5b196..cce9b69 100644 --- a/prolog/problems/denotational_semantics/algol_3/common.py +++ b/prolog/problems/denotational_semantics/algol_3/common.py @@ -1,7 +1,6 @@ # coding=utf-8 id = 176 -group = 'denotational_semantics' number = 83 visible = True facts = None diff --git a/prolog/problems/denotational_semantics/algol_for_3/common.py b/prolog/problems/denotational_semantics/algol_for_3/common.py index bc0c3e8..4cf9373 100644 --- a/prolog/problems/denotational_semantics/algol_for_3/common.py +++ b/prolog/problems/denotational_semantics/algol_for_3/common.py @@ -1,7 +1,6 @@ # coding=utf-8 id = 178 -group = 'denotational_semantics' number = 85 visible = True facts = None diff --git a/prolog/problems/denotational_semantics/algol_if_3/common.py b/prolog/problems/denotational_semantics/algol_if_3/common.py index fd750e0..0c52886 100644 --- a/prolog/problems/denotational_semantics/algol_if_3/common.py +++ b/prolog/problems/denotational_semantics/algol_if_3/common.py @@ -1,7 +1,6 @@ # coding=utf-8 id = 177 -group = 'denotational_semantics' number = 84 visible = True facts = None diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py index e48d03f..d994039 100644 --- a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py +++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py @@ -1,7 +1,6 @@ # coding=utf-8 id = 172 -group = 'denotational_semantics' number = 81 visible = True facts = None diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py index f86a0c4..15dce6b 100644 --- a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py +++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py @@ -1,7 +1,6 @@ # coding=utf-8 id = 173 -group = 'denotational_semantics' number = 82 visible = True facts = 'denotational_semantics_aux__predicates' diff --git a/prolog/problems/denotational_semantics/prog_listswap_2/common.py b/prolog/problems/denotational_semantics/prog_listswap_2/common.py index 9a7c586..1f8b655 100644 --- a/prolog/problems/denotational_semantics/prog_listswap_2/common.py +++ b/prolog/problems/denotational_semantics/prog_listswap_2/common.py @@ -1,7 +1,6 @@ # coding=utf-8 id = 175 -group = 'denotational_semantics' number = 79 visible = True facts = None diff --git a/prolog/problems/denotational_semantics/prog_listswap_3/common.py b/prolog/problems/denotational_semantics/prog_listswap_3/common.py index 2b32618..a40be29 100644 --- a/prolog/problems/denotational_semantics/prog_listswap_3/common.py +++ b/prolog/problems/denotational_semantics/prog_listswap_3/common.py @@ -1,7 +1,6 @@ # coding=utf-8 id = 174 -group = 'denotational_semantics' number = 80 visible = True facts = 'denotational_semantics_aux__predicates' -- cgit v1.2.1