log src/filter.agda @ 1256:0b7e4eb68afc

age author description
Thu, 16 Mar 2023 19:01:47 +0900 Shinji KONO change to Ideal
Thu, 16 Mar 2023 17:46:36 +0900 Shinji KONO ...
Sun, 12 Mar 2023 11:58:55 +0900 Shinji KONO ...
Fri, 20 Jan 2023 11:22:37 +0900 Shinji KONO ...
Thu, 19 Jan 2023 17:22:02 +0900 Shinji KONO ...
Thu, 19 Jan 2023 12:17:50 +0900 Shinji KONO filter definition?
Wed, 18 Jan 2023 14:09:53 +0900 Shinji KONO ...
Sat, 14 Jan 2023 12:36:07 +0900 Shinji KONO Maximal Filter and Ultra Filter generation done
Sat, 14 Jan 2023 07:47:44 +0900 Shinji KONO ...
Fri, 13 Jan 2023 13:16:49 +0900 Shinji KONO ...
Fri, 13 Jan 2023 13:03:45 +0900 Shinji KONO ...
Fri, 13 Jan 2023 09:30:31 +0900 Shinji KONO ...
Fri, 13 Jan 2023 08:22:20 +0900 Shinji KONO ...
Fri, 13 Jan 2023 08:00:28 +0900 Shinji KONO ..
Fri, 13 Jan 2023 07:37:27 +0900 Shinji KONO ...
Thu, 12 Jan 2023 20:52:47 +0900 Shinji KONO ...
Wed, 11 Jan 2023 17:26:07 +0900 Shinji KONO ...
Wed, 11 Jan 2023 13:52:04 +0900 Shinji KONO ...
Wed, 11 Jan 2023 08:38:05 +0900 Shinji KONO ...
Tue, 10 Jan 2023 18:12:05 +0900 Shinji KONO use different filter
Tue, 10 Jan 2023 17:16:16 +0900 Shinji KONO ...
Tue, 10 Jan 2023 09:29:58 +0900 Shinji KONO ...
Tue, 10 Jan 2023 03:00:04 +0900 Shinji KONO ...
Tue, 10 Jan 2023 02:19:08 +0900 Shinji KONO ...
Mon, 09 Jan 2023 13:09:30 +0900 Shinji KONO ...
Fri, 23 Dec 2022 12:54:05 +0900 Shinji KONO recovery
Sun, 05 Jun 2022 12:49:48 +0900 Shinji KONO ZC data won't work
Sat, 16 Apr 2022 12:20:08 +0900 Shinji KONO ...
Tue, 12 Apr 2022 18:52:14 +0900 Shinji KONO ...
Thu, 07 Apr 2022 15:53:37 +0900 Shinji KONO ...
Wed, 06 Apr 2022 07:57:37 +0900 Shinji KONO ...
Sun, 03 Apr 2022 18:51:58 +0900 Shinji KONO ...
Sun, 03 Apr 2022 17:53:13 +0900 Shinji KONO ...
Sun, 03 Apr 2022 11:34:01 +0900 Shinji KONO ...
Sun, 03 Apr 2022 07:59:55 +0900 Shinji KONO ...
Sun, 20 Mar 2022 11:41:48 +0900 Shinji KONO ...
Fri, 18 Mar 2022 23:45:23 +0900 Shinji KONO ...
Fri, 18 Mar 2022 20:36:42 +0900 Shinji KONO ...
Thu, 17 Mar 2022 16:40:54 +0900 Shinji KONO ...
Thu, 17 Mar 2022 15:36:24 +0900 Shinji KONO fix filter on subset of Power P
Thu, 17 Mar 2022 14:04:25 +0900 Shinji KONO ...
Tue, 15 Mar 2022 15:46:39 +0900 Shinji KONO ...
Mon, 14 Mar 2022 17:51:16 +0900 Shinji KONO ...
Wed, 09 Mar 2022 17:42:22 +0900 Shinji KONO ...
Fri, 04 Mar 2022 19:04:08 +0900 Shinji KONO ...
Mon, 21 Dec 2020 10:23:37 +0900 Shinji KONO reorganiztion for apkg