| .. |
|
fol
|
[sledge] Fix construction of equalities between Concat
|
4 years ago |
|
llair
|
[sledge] Make tracing more explicit by including module names
|
4 years ago |
|
test
|
[sledge] Make tracing more explicit by including module names
|
4 years ago |
|
alarm.ml
|
[sledge] Add explicit type for Alarms
|
4 years ago |
|
alarm.mli
|
[sledge] Add explicit type for Alarms
|
4 years ago |
|
control.ml
|
[sledge] Interpret negative bounds as unbounded
|
4 years ago |
|
control.mli
|
[sledge] Rename Dom to Domain
|
4 years ago |
|
control_intf.ml
|
[sledge] Move analysis config options from Domain_intf to Control_intf
|
4 years ago |
|
domain_intf.ml
|
[sledge] Rename Dom to Domain
|
4 years ago |
|
domain_relation.ml
|
[sledge] Rename Dom to Domain
|
4 years ago |
|
domain_relation.mli
|
[sledge] Rename Dom to Domain
|
4 years ago |
|
domain_sh.ml
|
[sledge] Revise type of Domain join operation, it is not partial
|
4 years ago |
|
domain_sh.mli
|
[sledge] Rename Dom to Domain
|
4 years ago |
|
domain_unit.ml
|
[sledge] Revise type of Domain join operation, it is not partial
|
4 years ago |
|
domain_unit.mli
|
[sledge] Rename Dom to Domain
|
4 years ago |
|
domain_used_globals.ml
|
[sledge] Move analysis config options from Domain_intf to Control_intf
|
4 years ago |
|
domain_used_globals.mli
|
[sledge] Rename Dom to Domain
|
4 years ago |
|
exec.ml
|
[sledge] Add explicit type for Alarms
|
4 years ago |
|
exec.mli
|
[sledge] Add explicit type for Alarms
|
4 years ago |
|
llair_to_Fol.ml
|
[sledge] Translate casts between Typ.equivalent types to no-op
|
4 years ago |
|
llair_to_Fol.mli
|
[sledge] Strengthen dynamic resolution of indirect calls
|
5 years ago |
|
or_alarm.ml
|
[sledge] Add explicit type for Alarms
|
4 years ago |
|
or_alarm.mli
|
[sledge] Add explicit type for Alarms
|
4 years ago |
|
report.ml
|
[sledge] Add explicit type for Alarms
|
4 years ago |
|
report.mli
|
[sledge] Add explicit type for Alarms
|
4 years ago |
|
sh.ml
|
[sledge] Make tracing more explicit by including module names
|
4 years ago |
|
sh.mli
|
[sledge] Work harder to detect infeasible paths when executing assume
|
4 years ago |
|
solver.ml
|
[sledge] Make tracing more explicit by including module names
|
4 years ago |
|
solver.mli
|
[sledge] Add support for dumping and replaying solver queries
|
5 years ago |
|
stop.ml
|
[sledge] Support stopping on first report in release mode
|
4 years ago |
|
stop.mli
|
[sledge] Support stopping on first report in release mode
|
4 years ago |
Josh Berdine
4920cce2f3