| 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
|
| Thu, 21 Jan 2021 16:09:59 +0900 |
anatofuz |
use DPP2
|
| Thu, 21 Jan 2021 15:28:16 +0900 |
anatofuz |
...
|
| Thu, 21 Jan 2021 15:03:50 +0900 |
anatofuz |
dpp2...
|
| Thu, 21 Jan 2021 14:58:38 +0900 |
anatofuz |
add DPP2
|
| Thu, 21 Jan 2021 14:52:28 +0900 |
anatofuz |
...
|
| Thu, 21 Jan 2021 14:37:18 +0900 |
anatofuz |
!!!!
|
| Wed, 20 Jan 2021 17:02:13 +0900 |
anatofuz |
...
|
| Tue, 19 Jan 2021 19:21:42 +0900 |
anatofuz |
...
|
| Tue, 19 Jan 2021 19:20:37 +0900 |
anatofuz |
....
|
| Tue, 19 Jan 2021 17:13:31 +0900 |
anatofuz |
...
|
| Tue, 19 Jan 2021 16:27:20 +0900 |
anatofuz |
...
|
| Tue, 19 Jan 2021 11:02:09 +0900 |
anatofuz |
...
|
| Tue, 19 Jan 2021 10:51:41 +0900 |
anatofuz |
...
|
| Tue, 19 Jan 2021 10:44:52 +0900 |
anatofuz |
...
|
| Mon, 18 Jan 2021 22:41:01 +0900 |
anatofuz |
...
|
| Mon, 18 Jan 2021 22:27:36 +0900 |
anatofuz |
bug fix : AtomicT.h
|
| Mon, 18 Jan 2021 22:10:02 +0900 |
anatofuz |
fix AtomicT*
|
| Mon, 18 Jan 2021 21:49:23 +0900 |
anatofuz |
...
|
| Mon, 18 Jan 2021 13:34:32 +0900 |
anatofuz |
parsed argument generics
|
| Mon, 18 Jan 2021 13:05:46 +0900 |
anatofuz |
fix DPP/main.cbc
|
| Mon, 18 Jan 2021 12:46:51 +0900 |
anatofuz |
...
|
| Sun, 17 Jan 2021 23:15:19 +0900 |
anatofuz |
...
|
| Sun, 17 Jan 2021 22:47:15 +0900 |
anatofuz |
use hash
|
| Sun, 17 Jan 2021 22:34:44 +0900 |
anatofuz |
...
|
| Sun, 17 Jan 2021 22:22:11 +0900 |
anatofuz |
...
|
| Sun, 17 Jan 2021 22:08:48 +0900 |
anatofuz |
better to use hash...
|
| Sun, 17 Jan 2021 21:39:28 +0900 |
anatofuz |
...
|
| Sun, 17 Jan 2021 20:55:53 +0900 |
anatofuz |
fix collect generics local variable
|
| Sun, 17 Jan 2021 20:23:53 +0900 |
anatofuz |
...
|
| Sun, 17 Jan 2021 20:22:35 +0900 |
anatofuz |
use new operator
|
| Sun, 17 Jan 2021 19:25:37 +0900 |
anatofuz |
...
|
| Sat, 16 Jan 2021 22:34:10 +0900 |
anatofuz |
add generics_test
|
| Sat, 16 Jan 2021 22:13:31 +0900 |
anatofuz |
write example
|
| Fri, 15 Jan 2021 21:11:51 +0900 |
anatofuz |
...
|
| Fri, 15 Jan 2021 20:22:11 +0900 |
anatofuz |
match use generics
|
| Fri, 15 Jan 2021 18:00:59 +0900 |
anatofuz |
...
|
| Fri, 15 Jan 2021 17:31:28 +0900 |
ikkun |
merge
|
| Fri, 15 Jan 2021 17:31:06 +0900 |
ikkun |
fix CMakeLists
|
| Fri, 15 Jan 2021 17:22:16 +0900 |
anatofuz |
impl parsed generics
|
| Fri, 15 Jan 2021 16:43:31 +0900 |
ikkun |
creatatomix -> C_setatomic
|
| Fri, 15 Jan 2021 16:38:41 +0900 |
Shinji KONO |
add Todo
|
| Fri, 15 Jan 2021 16:20:04 +0900 |
Shinji KONO |
add ModelChecking
|
| Thu, 14 Jan 2021 22:58:47 +0900 |
anatofuz |
...
|
| Thu, 14 Jan 2021 22:55:52 +0900 |
anatofuz |
...
|
| Thu, 14 Jan 2021 14:27:21 +0900 |
anatofuz |
typed variable
|
| Thu, 14 Jan 2021 12:24:01 +0900 |
anatofuz |
...
|
| Thu, 14 Jan 2021 12:20:23 +0900 |
anatofuz |
remove DDP
|
| Thu, 14 Jan 2021 09:23:20 +0900 |
anatofuz |
fix pointer
|
| Wed, 13 Jan 2021 21:56:03 +0900 |
anatofuz |
fix DPP main.cbc
|
| Tue, 12 Jan 2021 20:49:21 +0900 |
anatofuz |
impl generics_list
|
| Tue, 12 Jan 2021 19:09:53 +0900 |
anatofuz |
fix AtomicT
|
| Tue, 12 Jan 2021 18:54:12 +0900 |
anatofuz |
merge
|
| Tue, 12 Jan 2021 18:53:53 +0900 |
anatofuz |
generics
|
| Tue, 12 Jan 2021 18:51:56 +0900 |
ikkun |
fix Cas
|
| Mon, 11 Jan 2021 14:23:31 +0900 |
ikkun |
merge
|
| Thu, 07 Jan 2021 15:58:53 +0900 |
ikkun |
merge
|
| Thu, 07 Jan 2021 14:35:53 +0900 |
ikkun |
merge
|
| Wed, 06 Jan 2021 16:24:22 +0900 |
ikkun |
merge
|
| Wed, 06 Jan 2021 16:23:55 +0900 |
ikkun |
merge
|
| Wed, 06 Jan 2021 16:21:39 +0900 |
ikkun |
merge
|
| Sun, 10 Jan 2021 20:24:04 +0900 |
anatofuz |
...
|
| Sun, 10 Jan 2021 20:17:16 +0900 |
anatofuz |
...
|
| Sun, 10 Jan 2021 20:15:38 +0900 |
anatofuz |
parsed generics
|
| Sat, 09 Jan 2021 19:56:59 +0900 |
anatofuz |
use gmain
|
| Sat, 09 Jan 2021 19:52:30 +0900 |
anatofuz |
...
|
| Sat, 09 Jan 2021 19:49:16 +0900 |
anatofuz |
...
|
| Sat, 09 Jan 2021 19:48:40 +0900 |
anatofuz |
...
|
| Sat, 09 Jan 2021 19:04:32 +0900 |
anatofuz |
impl debug mode
|
| Sat, 09 Jan 2021 18:55:53 +0900 |
anatofuz |
add debug mode
|
| Sat, 09 Jan 2021 17:16:40 +0900 |
anatofuz |
use any
|
| Sat, 09 Jan 2021 17:15:01 +0900 |
anatofuz |
remove generics
|
| Thu, 07 Jan 2021 15:36:43 +0900 |
anatofuz |
add GenericsTest.h
|
| Thu, 07 Jan 2021 15:04:15 +0900 |
anatofuz |
insert check generics
|
| Thu, 07 Jan 2021 11:19:59 +0900 |
anatofuz |
merge
|
| Wed, 06 Jan 2021 16:13:16 +0900 |
ikkun |
add Fork.h
|
| Wed, 06 Jan 2021 16:12:48 +0900 |
ikkun |
add Fork.h
|
| Wed, 06 Jan 2021 16:12:23 +0900 |
anatofuz |
show error msg
|
| Wed, 06 Jan 2021 16:08:31 +0900 |
anatofuz |
fix AtomicT
|
| Wed, 06 Jan 2021 15:52:53 +0900 |
anatofuz |
ignore genrate_stub.pl temporary file
|
| Wed, 06 Jan 2021 15:50:59 +0900 |
anatofuz |
...
|
| Wed, 06 Jan 2021 15:43:01 +0900 |
ikkun |
add
|
| Wed, 06 Jan 2021 14:18:56 +0900 |
ikkun |
add AtomicTImpl.h
|
| Wed, 06 Jan 2021 14:02:50 +0900 |
ikkun |
merge
|
| Tue, 05 Jan 2021 19:47:51 +0900 |
ikkun |
add atomicT
|
| Tue, 05 Jan 2021 20:46:46 +0900 |
anatofuz |
warning
|
| Mon, 04 Jan 2021 20:43:26 +0900 |
anatofuz |
impl gmain
|
| Mon, 04 Jan 2021 19:56:15 +0900 |
anatofuz |
remove print.c at CMakeLists
|
| Mon, 04 Jan 2021 15:04:33 +0900 |
anatofuz |
gmain template
|
| Sat, 02 Jan 2021 16:56:27 +0900 |
ikkun |
(none)
|
| Sat, 02 Jan 2021 16:55:48 +0900 |
ikkun |
fix
|
| Tue, 29 Dec 2020 16:48:23 +0900 |
anatofuz |
gmain...
|
| Fri, 25 Dec 2020 18:39:00 +0900 |
anatofuz |
add gmain
|
| Thu, 24 Dec 2020 16:11:25 +0900 |
anatofuz |
s/carp/cluck/
|
| Wed, 23 Dec 2020 22:04:03 +0900 |
anatofuz |
mv template
|
| Wed, 23 Dec 2020 18:09:05 +0900 |
anatofuz |
...
|
| Wed, 23 Dec 2020 18:08:19 +0900 |
anatofuz |
cache cbc file at generate_stub
|
| Wed, 23 Dec 2020 05:22:24 +0900 |
ikkun |
merge
|
| Wed, 23 Dec 2020 05:15:47 +0900 |
ikkun |
add main
|
| Wed, 23 Dec 2020 05:07:05 +0900 |
ikkun |
fix PhilsImpl.cbc
|
| Tue, 22 Dec 2020 21:26:28 +0900 |
anatofuz |
...
|
| Tue, 22 Dec 2020 21:24:22 +0900 |
anatofuz |
s/Type/Self/
|
| Tue, 22 Dec 2020 21:22:54 +0900 |
anatofuz |
s/Type/Self/
|
| Tue, 22 Dec 2020 18:07:32 +0900 |
ikkun |
add Philos
|
| Tue, 15 Dec 2020 19:29:29 +0900 |
anatofuz |
add metaDataGear API
|
| Tue, 15 Dec 2020 14:08:30 +0900 |
anatofuz |
pop_and_push using String interface
|
| Sat, 12 Dec 2020 14:33:24 +0900 |
anatofuz |
...
|
| Thu, 10 Dec 2020 17:51:24 +0900 |
anatofuz |
...
|
| Tue, 08 Dec 2020 17:01:21 +0900 |
anatofuz |
...
|
| Tue, 08 Dec 2020 16:42:20 +0900 |
anatofuz |
merged
|
| Tue, 08 Dec 2020 16:42:07 +0900 |
anatofuz |
s/file_name/path/g
|
| Tue, 01 Dec 2020 18:15:57 +0900 |
ikkun |
calc fix redefinition
|
| Tue, 01 Dec 2020 18:08:44 +0900 |
ikkun |
calc fix redefinition
|
| Tue, 01 Dec 2020 18:06:38 +0900 |
ikkun |
fix redefinition
|
| Thu, 26 Nov 2020 14:55:17 +0900 |
anatofuz |
remove emit_constructor in trans_impl
|
| Thu, 26 Nov 2020 14:22:05 +0900 |
anatofuz |
fix typo
|
| Wed, 18 Nov 2020 17:17:38 +0900 |
anatofuz |
...
|
| Wed, 18 Nov 2020 17:06:09 +0900 |
anatofuz |
remove SingleLinkedStack constructor
|
| Wed, 18 Nov 2020 15:37:19 +0900 |
anatofuz |
fix infinity loop
|
| Wed, 18 Nov 2020 15:37:02 +0900 |
anatofuz |
fix generate_constructor
|
| Tue, 17 Nov 2020 12:45:35 +0900 |
anatofuz |
use #data macro
|
