From c2b01444befcda8480d3a31a2a03eeac8d5ea7ab Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 22:37:24 +0900 Subject: Create inpla-logo-60x60.png --- pic/inpla-logo-60x60.png | Bin 0 -> 1021 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 pic/inpla-logo-60x60.png diff --git a/pic/inpla-logo-60x60.png b/pic/inpla-logo-60x60.png new file mode 100644 index 0000000..7208cd6 Binary files /dev/null and b/pic/inpla-logo-60x60.png differ -- cgit v1.2.3 From 2afa41a1ad5a8647332b949897e1a50c985b660f Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 22:38:14 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1ab9da7..ea0e7a4 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## What is Inpla +## ![inpla-logo](pic/inpla-logo-60x60.png) What is Inpla Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it works also in multi-threaded parallel execution. Each thread is managed on each CPU-core with POSIX-thread library. -- cgit v1.2.3 From eed415dc816479026a61235d87a1fa92b03e958d Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 22:39:43 +0900 Subject: Delete inpla-logo-60x60.png --- pic/inpla-logo-60x60.png | Bin 1021 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 pic/inpla-logo-60x60.png diff --git a/pic/inpla-logo-60x60.png b/pic/inpla-logo-60x60.png deleted file mode 100644 index 7208cd6..0000000 Binary files a/pic/inpla-logo-60x60.png and /dev/null differ -- cgit v1.2.3 From 283b3fdf7e0718252b21767ae2ec4225d9451bea Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:09:22 +0900 Subject: Create inpla-logo-40x40.png --- pic/inpla-logo-40x40.png | Bin 0 -> 752 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 pic/inpla-logo-40x40.png diff --git a/pic/inpla-logo-40x40.png b/pic/inpla-logo-40x40.png new file mode 100644 index 0000000..7cf2649 Binary files /dev/null and b/pic/inpla-logo-40x40.png differ -- cgit v1.2.3 From 3b42f83d98ba95ce2d3baa3fe165409d0ad46388 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:09:38 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ea0e7a4..ace4fd1 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## ![inpla-logo](pic/inpla-logo-60x60.png) What is Inpla +## ![inpla-logo](pic/inpla-logo-40x40.png) What is Inpla Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it works also in multi-threaded parallel execution. Each thread is managed on each CPU-core with POSIX-thread library. -- cgit v1.2.3 From 06e7cbc50c7eb81c8b80ddf4da958d5c273125e4 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:14:30 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ace4fd1..f0aeaf9 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Inpla: Interaction nets as a programming language +# Inpla: Interaction nets as a programming language -- cgit v1.2.3 From a59fc641cb429a88e8ae1ff07828e582df357ffe Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:19:44 +0900 Subject: Delete inpla-logo-40x40.png --- pic/inpla-logo-40x40.png | Bin 752 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 pic/inpla-logo-40x40.png diff --git a/pic/inpla-logo-40x40.png b/pic/inpla-logo-40x40.png deleted file mode 100644 index 7cf2649..0000000 Binary files a/pic/inpla-logo-40x40.png and /dev/null differ -- cgit v1.2.3 From 224cd18e64a4c444b4e9319a64a302c7536b63d8 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:19:59 +0900 Subject: Create inpla-logo-30x30.png --- pic/inpla-logo-30x30.png | Bin 0 -> 627 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 pic/inpla-logo-30x30.png diff --git a/pic/inpla-logo-30x30.png b/pic/inpla-logo-30x30.png new file mode 100644 index 0000000..d7f96eb Binary files /dev/null and b/pic/inpla-logo-30x30.png differ -- cgit v1.2.3 From de7c21214468b377dfd0e9cb92ff6edafaa1c815 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:20:17 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f0aeaf9..4a23a30 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## ![inpla-logo](pic/inpla-logo-40x40.png) What is Inpla +## ![inpla-logo](pic/inpla-logo-30x30.png) What is Inpla Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it works also in multi-threaded parallel execution. Each thread is managed on each CPU-core with POSIX-thread library. -- cgit v1.2.3 From 94ba86534fde47e099bd5cb30b000b6b830c0573 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:21:37 +0900 Subject: Delete inpla-logo-30x30.png --- pic/inpla-logo-30x30.png | Bin 627 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 pic/inpla-logo-30x30.png diff --git a/pic/inpla-logo-30x30.png b/pic/inpla-logo-30x30.png deleted file mode 100644 index d7f96eb..0000000 Binary files a/pic/inpla-logo-30x30.png and /dev/null differ -- cgit v1.2.3 From 8281e65cbd35cdc747bb8f24e36547841ae2a736 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:21:47 +0900 Subject: Create inpla-logo-40x40.png --- pic/inpla-logo-40x40.png | Bin 0 -> 752 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 pic/inpla-logo-40x40.png diff --git a/pic/inpla-logo-40x40.png b/pic/inpla-logo-40x40.png new file mode 100644 index 0000000..7cf2649 Binary files /dev/null and b/pic/inpla-logo-40x40.png differ -- cgit v1.2.3 From d4727c13f6ac0566160a71d2d5db33e539b06abf Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:22:55 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4a23a30..f0aeaf9 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## ![inpla-logo](pic/inpla-logo-30x30.png) What is Inpla +## ![inpla-logo](pic/inpla-logo-40x40.png) What is Inpla Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it works also in multi-threaded parallel execution. Each thread is managed on each CPU-core with POSIX-thread library. -- cgit v1.2.3 From 7c2a03de6b0243693a7b72f9e3b46412e0e955dc Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:24:30 +0900 Subject: Delete inpla-logo-40x40.png --- pic/inpla-logo-40x40.png | Bin 752 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 pic/inpla-logo-40x40.png diff --git a/pic/inpla-logo-40x40.png b/pic/inpla-logo-40x40.png deleted file mode 100644 index 7cf2649..0000000 Binary files a/pic/inpla-logo-40x40.png and /dev/null differ -- cgit v1.2.3 From 8b20989a0da155e105b006a120adebb59c5249b3 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 23:25:08 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f0aeaf9..c5e0c4c 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ -## ![inpla-logo](pic/inpla-logo-40x40.png) What is Inpla +## What is Inpla Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it works also in multi-threaded parallel execution. Each thread is managed on each CPU-core with POSIX-thread library. -- cgit v1.2.3