projects / lttv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1db0bd6) | patch
nico and md model
authorcompudj <compudj@04897980-b3bd-0310-b5e0-8ef037075253>
Thu, 12 Feb 2009 07:38:58 +0000 (07:38 +0000)
committercompudj <compudj@04897980-b3bd-0310-b5e0-8ef037075253>
Thu, 12 Feb 2009 07:38:58 +0000 (07:38 +0000)
commitdc45444e22c8e7fc3296f00924e4472257f96d79
tree2f3e40cd4852b406ada12db93971e2532023fde1tree | snapshot
parent1db0bd6a4b0334ca18e21d3c9c27476696a33e15commit | diff
nico and md model

git-svn-id: http://ltt.polymtl.ca/svn@3318 04897980-b3bd-0310-b5e0-8ef037075253
62 files changed:
trunk/verif/md/defines [new file with mode: 0644] blob
trunk/verif/md/emacs.nico [new file with mode: 0755] blob
trunk/verif/md/log.txt [new file with mode: 0644] blob
trunk/verif/md/model.spin [new symlink] blob
trunk/verif/md/model.spin.trail [new file with mode: 0644] blob
trunk/verif/md/model_01.spin [new file with mode: 0755] blob
trunk/verif/md/model_02.spin [new file with mode: 0755] blob
trunk/verif/md/model_03.spin [new file with mode: 0755] blob
trunk/verif/md/model_03_events_lost.spin.ltl [new file with mode: 0644] blob
trunk/verif/md/model_03_no_events_lost.spin.ltl [new file with mode: 0644] blob
trunk/verif/md/model_03_write_commit_sum.spin.ltl [new file with mode: 0644] blob
trunk/verif/md/model_03_write_read_off.spin.ltl [new file with mode: 0644] blob
trunk/verif/md/pan [new file with mode: 0755] blob
trunk/verif/md/pan.b [new file with mode: 0644] blob
trunk/verif/md/pan.c [new file with mode: 0644] blob
trunk/verif/md/pan.err [new file with mode: 0644] blob
trunk/verif/md/pan.h [new file with mode: 0644] blob
trunk/verif/md/pan.ltl [new file with mode: 0644] blob
trunk/verif/md/pan.m [new file with mode: 0644] blob
trunk/verif/md/pan.oin [new file with mode: 0644] blob
trunk/verif/md/pan.otl [new file with mode: 0644] blob
trunk/verif/md/pan.out [new file with mode: 0644] blob
trunk/verif/md/pan.t [new file with mode: 0644] blob
trunk/verif/md/pan.tmp [new file with mode: 0644] blob
trunk/verif/md/pan_in [new file with mode: 0644] blob
trunk/verif/md/promela-mode.el [new file with mode: 0755] blob
trunk/verif/md/run [new file with mode: 0755] blob
trunk/verif/nico-md-merge/Makefile [new file with mode: 0755] blob
trunk/verif/nico-md-merge/commit_sum.log [new file with mode: 0644] blob
trunk/verif/nico-md-merge/commit_sum.ltl [new file with mode: 0755] blob
trunk/verif/nico-md-merge/defines [new file with mode: 0755] blob
trunk/verif/nico-md-merge/events_lost.log [new file with mode: 0644] blob
trunk/verif/nico-md-merge/events_lost.ltl [new file with mode: 0755] blob
trunk/verif/nico-md-merge/model.spin [new symlink] blob
trunk/verif/nico-md-merge/model.spin.trail [new file with mode: 0755] blob
trunk/verif/nico-md-merge/models/model_01.spin [new file with mode: 0755] blob
trunk/verif/nico-md-merge/models/model_02.spin [new file with mode: 0755] blob
trunk/verif/nico-md-merge/models/model_03.spin [new file with mode: 0755] blob
trunk/verif/nico-md-merge/no_events_lost.def [new file with mode: 0644] blob
trunk/verif/nico-md-merge/no_events_lost.log [new file with mode: 0644] blob
trunk/verif/nico-md-merge/no_events_lost.ltl [new file with mode: 0755] blob
trunk/verif/nico-md-merge/pan [new file with mode: 0755] blob
trunk/verif/nico-md-merge/pan.b [new file with mode: 0644] blob
trunk/verif/nico-md-merge/pan.c [new file with mode: 0644] blob
trunk/verif/nico-md-merge/pan.h [new file with mode: 0644] blob
trunk/verif/nico-md-merge/pan.ltl [new file with mode: 0644] blob
trunk/verif/nico-md-merge/pan.m [new file with mode: 0644] blob
trunk/verif/nico-md-merge/pan.spin [new file with mode: 0644] blob
trunk/verif/nico-md-merge/pan.t [new file with mode: 0644] blob
trunk/verif/nico-md-merge/read_write.log [new file with mode: 0644] blob
trunk/verif/nico-md-merge/read_write.ltl [new file with mode: 0755] blob
trunk/verif/nico/Makefile [new file with mode: 0755] blob
trunk/verif/nico/commit_sum.ltl [new file with mode: 0755] blob
trunk/verif/nico/defines [new file with mode: 0755] blob
trunk/verif/nico/events_lost.ltl [new file with mode: 0755] blob
trunk/verif/nico/model.spin [new symlink] blob
trunk/verif/nico/model.spin.trail [new file with mode: 0755] blob
trunk/verif/nico/models/model_01.spin [new file with mode: 0755] blob
trunk/verif/nico/models/model_02.spin [new file with mode: 0755] blob
trunk/verif/nico/models/model_03.spin [new file with mode: 0755] blob
trunk/verif/nico/no_events_lost.ltl [new file with mode: 0755] blob
trunk/verif/nico/read_write.ltl [new file with mode: 0755] blob
LTTng 2.x Viewer (LTTV)
This page took 0.026781 seconds and 4 git commands to generate.