Path	Lines of Code
sledge/src/alarm.ml	25
sledge/src/alarm.mli	16
sledge/src/control.ml	1001
sledge/src/control.mli	17
sledge/src/control_intf.ml	18
sledge/src/domain_intf.ml	63
sledge/src/domain_relation.ml	117
sledge/src/domain_relation.mli	20
sledge/src/domain_sh.ml	397
sledge/src/domain_sh.mli	17
sledge/src/domain_unit.ml	38
sledge/src/domain_unit.mli	9
sledge/src/domain_used_globals.ml	77
sledge/src/domain_used_globals.mli	15
sledge/src/exec.ml	777
sledge/src/exec.mli	29
sledge/src/fol/arithmetic.ml	410
sledge/src/fol/arithmetic.mli	27
sledge/src/fol/arithmetic_intf.ml	99
sledge/src/fol/context.ml	1375
sledge/src/fol/context.mli	93
sledge/src/fol/exp.ml	354
sledge/src/fol/exp.mli	111
sledge/src/fol/fml.ml	191
sledge/src/fol/fml.mli	66
sledge/src/fol/fol.ml	13
sledge/src/fol/fol.mli	13
sledge/src/fol/funsym.ml	141
sledge/src/fol/funsym.mli	44
sledge/src/fol/predsym.ml	12
sledge/src/fol/predsym.mli	10
sledge/src/fol/propositional.ml	296
sledge/src/fol/propositional.mli	14
sledge/src/fol/propositional_intf.ml	54
sledge/src/fol/subst.ml	67
sledge/src/fol/subst.mli	10
sledge/src/fol/subst_intf.ml	35
sledge/src/fol/theory.ml	183
sledge/src/fol/theory.mli	18
sledge/src/fol/trm.ml	532
sledge/src/fol/trm.mli	132
sledge/src/fol/var.ml	8
sledge/src/fol/var.mli	8
sledge/src/fol/var_intf.ml	33
sledge/src/llair/builtins.ml	38
sledge/src/llair/exp.ml	401
sledge/src/llair/exp.mli	198
sledge/src/llair/function.ml	8
sledge/src/llair/function.mli	10
sledge/src/llair/global.ml	8
sledge/src/llair/global.mli	10
sledge/src/llair/globalDefn.ml	20
sledge/src/llair/globalDefn.mli	12
sledge/src/llair/intrinsics.ml	13
sledge/src/llair/llair.ml	746
sledge/src/llair/llair.mli	259
sledge/src/llair/loc.ml	38
sledge/src/llair/loc.mli	19
sledge/src/llair/reg.ml	8
sledge/src/llair/reg.mli	10
sledge/src/llair/typ.ml	151
sledge/src/llair/typ.mli	70
sledge/src/llair_to_Fol.ml	161
sledge/src/llair_to_Fol.mli	13
sledge/src/or_alarm.ml	16
sledge/src/or_alarm.mli	9
sledge/src/report.ml	160
sledge/src/report.mli	49
sledge/src/sh.ml	964
sledge/src/sh.mli	122
sledge/src/solver.ml	686
sledge/src/solver.mli	17
sledge/src/stop.ml	10
sledge/src/stop.mli	10
sledge/src/threadID.ml	8
sledge/src/threadID.mli	8