Changeset 28

Timestamp:

Dec 4, 2011, 12:04:34 PM (14 years ago)

Author:

cecile

Message:

exemples de test

Location:

vis_dev/vis-2.3

Files:

• Makefile.in (modified) (1 diff)
• models (added)
• models/arbiter (added)
• models/arbiter/3_faulty.mv (added)
• models/arbiter/arbiter.mv (added)
• models/arbiter/arbiter.script (added)
• models/arbiter/arbiter.v (added)
• models/arbiter/check_gcd (added)
• models/arbiter/gcd.mv (added)
• models/arbiter/gcd.v (added)
• models/counter (added)
• models/counter/affalse (added)
• models/counter/check_result (added)
• models/counter/check_script (added)
• models/counter/counter.ctl (added)
• models/counter/counter.mv (added)
• models/counter/counter.v (added)
• models/counter/init.prop (added)
• models/counter/properties.ltl (added)
• models/counter/protect_golden.reg (added)
• models/counter/rob.script (added)
• models/transition (added)
• models/transition/f.ctl (added)
• models/transition/mc.html (added)
• models/transition/mc.txt (added)
• models/transition/relation.bdd (added)
• models/transition/relation.dot (added)
• models/transition/script (added)
• models/transition/simple.mv (added)
• models/transition/simple.v (added)
• models/transition/testons.mv (added)

vis_dev/vis-2.3/Makefile.in

@@ -96 +96 @@
 ALL_PKGS = abs amc baig bmc cmd ctlp ctlsp eqv fsm rob grab hrc imc img io ltl \
         maig mark mc mvf mvfaig ntk ntm ntmaig ord part puresat rst res restr \
-        rt sat sim spfd synth tbl truesim tst var vm
+        rt sat sim spfd synth tbl truesim tst debug  var vm
 # Generate the list of all packages NOT in the PKGS list