From 05f7cd9ed206b188b6cdcf5d06de732065f898fd Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 5 May 2013 21:08:55 -0700 Subject: Integration of the liveness property prover developed by Sayak Ray. --- src/proof/live/module.make | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/proof/live/module.make') diff --git a/src/proof/live/module.make b/src/proof/live/module.make index 55c70fc8..ad9ed680 100644 --- a/src/proof/live/module.make +++ b/src/proof/live/module.make @@ -1,3 +1,9 @@ SRC += src/proof/live/liveness.c \ src/proof/live/liveness_sim.c \ - src/proof/live/ltl_parser.c + src/proof/live/ltl_parser.c \ + src/proof/live/kliveness.c \ + src/proof/live/monotone.c \ + src/proof/live/disjunctiveMonotone.c \ + src/proof/live/arenaViolation.c \ + src/proof/live/kLiveConstraints.c \ + src/proof/live/combination.c -- cgit v1.2.3