package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.0.1.tbz
sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de
sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd
doc/src/goblint.lib/prelude.ml.html
Source file prelude.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
(* header for all files *) module All = struct include (Batteries : module type of Batteries with module Format := Batteries.Format) module Format = Batteries.Legacy.Format let comp2 f g a b = f (g a) (g b) let compareBy ?cmp:(cmp=compare) f = comp2 cmp f let str_remove m s = String.nreplace ~str:s ~sub:m ~by:"" (* Sys.time gives runtime in seconds as float *) let split_time () = (* gives CPU time in h,m,s,ms *) let f = Sys.time () in let i = int_of_float f in let ms = int_of_float (Float.modulo f 1.0 *. 1000.) in i / 3600, i / 60 mod 60, i mod 60, ms let string_of_time () = (* CPU time as hh:mm:ss.ms *) let h,m,s,ms = split_time () in Printf.sprintf "%02d:%02d:%02d.%03d" h m s ms let localtime () = let open Unix in let tm = time () |> localtime in Printf.sprintf "%d-%02d-%02d %02d:%02d:%02d" (tm.tm_year + 1900) (tm.tm_mon + 1) tm.tm_mday tm.tm_hour tm.tm_min tm.tm_sec end include All (* shortcut so that 'open Prelude' is enough *) (* header for files in analyses *) module Ana = struct include All (* CIL *) include GoblintCil let d_varinfo () x = d_lval () (Var x, NoOffset) include Pretty let sprint f x = Pretty.sprint ~width:80 (f () x) (* Analyses.Spec etc. *) (* include Analyses (* circular build :( *) *) (* module M = Messages (* same, but this is in Analyses anyway *) *) end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>