Wed, 17 Mar 2021 19:46:15 +0900 |
ichikitakahiro |
continuation argments impl
|
Wed, 17 Mar 2021 18:06:57 +0900 |
ichikitakahiro |
remove WcImpl.c
|
Wed, 17 Mar 2021 16:07:07 +0900 |
ichikitakahiro |
progress wc
|
Wed, 17 Mar 2021 11:23:16 +0900 |
ichikitakahiro |
remove DPP&DPP2
|
Fri, 12 Mar 2021 20:20:56 +0900 |
ichikitakahiro |
tweak
|
Tue, 09 Mar 2021 20:07:02 +0900 |
ichikitakahiro |
wc tweak
|
Sun, 28 Feb 2021 17:57:25 +0900 |
ichikitakahiro |
merge
|
Sun, 28 Feb 2021 17:56:05 +0900 |
ichikitakahiro |
add wc Example
|
Mon, 15 Feb 2021 14:14:37 +0900 |
anatofuz |
...
|
Mon, 08 Feb 2021 12:43:06 +0900 |
Shinji KONO |
5 phils case
|
Mon, 08 Feb 2021 12:40:50 +0900 |
Shinji KONO |
iterator fixed
|
Mon, 08 Feb 2021 06:26:58 +0900 |
Shinji KONO |
Added tag model-checking for changeset b5920eebb68a
|
Mon, 08 Feb 2021 06:26:47 +0900 |
Shinji KONO |
Added tag current for changeset adb667597d61
model-checking
|
Mon, 08 Feb 2021 06:26:29 +0900 |
Shinji KONO |
model checking worked
current
|
Mon, 08 Feb 2021 04:36:12 +0900 |
Shinji KONO |
fix crc
|
Fri, 05 Feb 2021 23:22:25 +0900 |
anatofuz |
generics
|
Fri, 05 Feb 2021 17:42:29 +0900 |
anatofuz |
fix impl define
|
Thu, 04 Feb 2021 08:45:37 +0900 |
anatofuz |
...
|
Thu, 04 Feb 2021 08:45:12 +0900 |
anatofuz |
not generate if context.h exists
|
Thu, 04 Feb 2021 00:37:39 +0900 |
anatofuz |
generics
|
Wed, 03 Feb 2021 23:14:48 +0900 |
anatofuz |
...
|
Wed, 03 Feb 2021 09:05:27 +0900 |
Shinji KONO |
fix McDPP flag
|
Mon, 01 Feb 2021 20:37:12 +0900 |
anatofuz |
fix
|
Mon, 01 Feb 2021 20:07:38 +0900 |
anatofuz |
fix parser
|
Mon, 01 Feb 2021 19:00:19 +0900 |
Shinji KONO |
Added tag current for changeset 55ae765ffcdd
|
Mon, 01 Feb 2021 19:00:14 +0900 |
Shinji KONO |
Added tag model-checking for changeset 40735db036d3
|
Mon, 01 Feb 2021 16:01:25 +0900 |
Shinji KONO |
flag checking
|
Mon, 01 Feb 2021 15:46:05 +0900 |
Shinji KONO |
change flag
|
Mon, 01 Feb 2021 14:55:12 +0900 |
Shinji KONO |
repeating
|
Mon, 01 Feb 2021 10:52:00 +0900 |
Shinji KONO |
...
|
Mon, 01 Feb 2021 08:43:35 +0900 |
Shinji KONO |
...
|
Sun, 31 Jan 2021 17:24:40 +0900 |
Shinji KONO |
McDPP CTL flag
|
Sun, 31 Jan 2021 15:05:58 +0900 |
anatofuz |
rename
|
Sun, 31 Jan 2021 08:45:12 +0900 |
Shinji KONO |
mcDPP CTL state flag trying
|
Sat, 30 Jan 2021 19:38:22 +0900 |
Shinji KONO |
repeated execution worked
|
Sat, 30 Jan 2021 11:11:41 +0900 |
Shinji KONO |
... fix dump
|
Sat, 30 Jan 2021 10:56:16 +0900 |
Shinji KONO |
setup iterator on root and 2nd loop
|
Fri, 29 Jan 2021 18:19:37 +0900 |
anatofuz |
merged
|
Fri, 29 Jan 2021 18:19:17 +0900 |
anatofuz |
...
|
Fri, 29 Jan 2021 18:08:48 +0900 |
ikkun |
add statefunc
|
Fri, 29 Jan 2021 18:08:13 +0900 |
ikkun |
add statefunc
|
Fri, 29 Jan 2021 18:01:05 +0900 |
anatofuz |
...
|
Fri, 29 Jan 2021 17:56:35 +0900 |
anatofuz |
fix generate_stub.pl
|
Fri, 29 Jan 2021 12:17:43 +0900 |
anatofuz |
add McDPP.cbc
|
Fri, 29 Jan 2021 11:55:16 +0900 |
anatofuz |
fix hash
|
Thu, 28 Jan 2021 18:11:53 +0900 |
ikkun |
add visit_StateDB
|
Thu, 28 Jan 2021 11:15:48 +0900 |
anatofuz |
...
|
Thu, 28 Jan 2021 10:16:52 +0900 |
Shinji KONO |
worked?
|
Thu, 28 Jan 2021 10:06:35 +0900 |
Shinji KONO |
...
|
Thu, 28 Jan 2021 00:04:05 +0900 |
Shinji KONO |
backtrack does not work
|
Wed, 27 Jan 2021 23:43:25 +0900 |
Shinji KONO |
merge
|
Wed, 27 Jan 2021 23:40:36 +0900 |
Shinji KONO |
add memory dump
|
Wed, 27 Jan 2021 23:28:44 +0900 |
anatofuz |
fix assign taskManager
|
Wed, 27 Jan 2021 23:18:27 +0900 |
Shinji KONO |
fix TaskManager position
|
Wed, 27 Jan 2021 21:26:31 +0900 |
ikkun |
fix
|
Wed, 27 Jan 2021 21:17:37 +0900 |
ikkun |
fix
|
Wed, 27 Jan 2021 19:03:34 +0900 |
anatofuz |
add TaskIterator.h
|
Wed, 27 Jan 2021 19:01:14 +0900 |
anatofuz |
...
|
Wed, 27 Jan 2021 17:06:14 +0900 |
anatofuz |
...
|
Wed, 27 Jan 2021 16:52:11 +0900 |
anatofuz |
...
|
Wed, 27 Jan 2021 16:31:41 +0900 |
anatofuz |
fix AtomicTImpl.cbc
|
Wed, 27 Jan 2021 16:22:19 +0900 |
anatofuz |
fix generate_stub
|
Wed, 27 Jan 2021 13:44:47 +0900 |
anatofuz |
add_memory_range
|
Tue, 26 Jan 2021 17:32:42 +0900 |
anatofuz |
?
|
Tue, 26 Jan 2021 15:45:50 +0900 |
anatofuz |
goto mcMeta
|
Tue, 26 Jan 2021 15:10:43 +0900 |
anatofuz |
...
|
Tue, 26 Jan 2021 15:04:48 +0900 |
anatofuz |
replace meta
|
Tue, 26 Jan 2021 14:52:06 +0900 |
anatofuz |
use gotometa->()
|
Tue, 26 Jan 2021 14:36:55 +0900 |
anatofuz |
add meta.pm
|
Tue, 26 Jan 2021 14:36:33 +0900 |
anatofuz |
load metapm
|
Tue, 26 Jan 2021 14:03:45 +0900 |
anatofuz |
...
|
Mon, 25 Jan 2021 21:23:32 +0900 |
anatofuz |
...
|
Mon, 25 Jan 2021 20:44:24 +0900 |
anatofuz |
random selection all Philosopher
|
Mon, 25 Jan 2021 20:12:04 +0900 |
anatofuz |
run
|
Mon, 25 Jan 2021 18:09:21 +0900 |
anatofuz |
remove printf
|
Mon, 25 Jan 2021 17:31:54 +0900 |
anatofuz |
mc worker take end
|
Mon, 25 Jan 2021 16:07:03 +0900 |
anatofuz |
...
|
Sun, 24 Jan 2021 18:34:37 +0900 |
anatofuz |
...
|
Sun, 24 Jan 2021 18:03:25 +0900 |
anatofuz |
fix MCWorker
|
Sun, 24 Jan 2021 17:11:08 +0900 |
anatofuz |
use MCWorker
|
Sun, 24 Jan 2021 17:06:52 +0900 |
anatofuz |
use MCTaskManagerImpl
|
Sun, 24 Jan 2021 16:18:34 +0900 |
anatofuz |
...
|
Sun, 24 Jan 2021 15:53:29 +0900 |
anatofuz |
cp DPP2 DPPMC
|
Sun, 24 Jan 2021 15:52:40 +0900 |
anatofuz |
impl MCTask
|
Sat, 23 Jan 2021 21:02:49 +0900 |
anatofuz |
...
|
Sat, 23 Jan 2021 18:41:22 +0900 |
ikkun |
fix putdown
|
Sat, 23 Jan 2021 18:17:35 +0900 |
ikkun |
fix
|
Sat, 23 Jan 2021 18:09:57 +0900 |
ikkun |
fix
|
Sat, 23 Jan 2021 16:54:26 +0900 |
anatofuz |
...
|
Sat, 23 Jan 2021 16:41:29 +0900 |
anatofuz |
remove
|
Sat, 23 Jan 2021 15:55:49 +0900 |
anatofuz |
emit Gearef
|
Sat, 23 Jan 2021 15:34:47 +0900 |
anatofuz |
return string
|
Sat, 23 Jan 2021 15:27:14 +0900 |
anatofuz |
move method
|
Sat, 23 Jan 2021 14:47:10 +0900 |
anatofuz |
...
|
Sat, 23 Jan 2021 13:56:53 +0900 |
anatofuz |
fix par goto
|
Fri, 22 Jan 2021 20:30:55 +0900 |
anatofuz |
...
|
Fri, 22 Jan 2021 20:21:30 +0900 |
anatofuz |
fix
|
Fri, 22 Jan 2021 19:18:16 +0900 |
anatofuz |
?
|
Fri, 22 Jan 2021 19:07:23 +0900 |
anatofuz |
...
|
Fri, 22 Jan 2021 19:03:57 +0900 |
anatofuz |
emit NULL?
|
Fri, 22 Jan 2021 18:39:13 +0900 |
anatofuz |
tweak
|
Fri, 22 Jan 2021 18:32:02 +0900 |
anatofuz |
add remove c file
|
Fri, 22 Jan 2021 18:10:07 +0900 |
anatofuz |
...
|
Fri, 22 Jan 2021 18:06:02 +0900 |
anatofuz |
...
|
Fri, 22 Jan 2021 17:31:49 +0900 |
anatofuz |
...
|
Fri, 22 Jan 2021 17:29:47 +0900 |
anatofuz |
fix use project arg
|
Fri, 22 Jan 2021 10:12:46 +0900 |
anatofuz |
use AtomicReference.cbc
|
Thu, 21 Jan 2021 23:26:17 +0900 |
anatofuz |
compile
|
Thu, 21 Jan 2021 23:11:17 +0900 |
anatofuz |
...
|
Thu, 21 Jan 2021 21:12:36 +0900 |
anatofuz |
add par goto
|
Thu, 21 Jan 2021 19:36:21 +0900 |
anatofuz |
...
|
Thu, 21 Jan 2021 19:09:21 +0900 |
anatofuz |
fix
|
Thu, 21 Jan 2021 18:55:39 +0900 |
anatofuz |
...
|
Thu, 21 Jan 2021 18:42:12 +0900 |
anatofuz |
...
|
Thu, 21 Jan 2021 18:34:52 +0900 |
anatofuz |
fix impl
|
Thu, 21 Jan 2021 17:25:57 +0900 |
anatofuz |
...
|
Thu, 21 Jan 2021 17:01:16 +0900 |
anatofuz |
use local variable
|
Thu, 21 Jan 2021 16:39:39 +0900 |
anatofuz |
use pointer
|
Thu, 21 Jan 2021 16:31:13 +0900 |
anatofuz |
...
|
Thu, 21 Jan 2021 16:24:39 +0900 |
anatofuz |
DPP2
|