Skip to content

Actions: FelixKrayer/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
147 workflow runs
147 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

some reordering and renaming to fit more to td_wn_side from td_parall… indentation #216: Commit 6a79584 pushed by FelixKrayer
June 6, 2024 10:48 5m 44s td_parallel
td_parallel
June 6, 2024 10:48 5m 44s
adding a lockable hashtable indentation #215: Commit 09d9001 pushed by FelixKrayer
June 6, 2024 05:19 3s td_parallel
td_parallel
June 6, 2024 05:19 3s
adding a lockable hashtable indentation #214: Commit 37860b0 pushed by FelixKrayer
June 5, 2024 19:50 5m 48s td_parallel
td_parallel
June 5, 2024 19:50 5m 48s
added domain-local-await dependency and dmutex to goblint indentation #213: Commit 7eb4c06 pushed by FelixKrayer
June 2, 2024 18:45 5m 37s td_parallel
td_parallel
June 2, 2024 18:45 5m 37s
createl added indentation #212: Commit 4989c47 pushed by FelixKrayer
May 16, 2024 09:06 3s createl
createl
May 16, 2024 09:06 3s
introduce parallel solver td_parallel indentation #211: Commit ba1dd83 pushed by FelixKrayer
May 16, 2024 09:04 2s td_parallel
td_parallel
May 16, 2024 09:04 2s
createl added indentation #210: Commit caf1068 pushed by FelixKrayer
May 16, 2024 09:01 2s createl
createl
May 16, 2024 09:01 2s
remove further unsupported options (restart, narrow-reuse, side_widen) indentation #209: Commit fe0455e pushed by FelixKrayer
May 16, 2024 09:01 2s td_parallel
td_parallel
May 16, 2024 09:01 2s
Upgrade to OCaml 5.0 indentation #208: Commit eaf65ab pushed by FelixKrayer
May 16, 2024 08:12 2s master_ocaml5
master_ocaml5
May 16, 2024 08:12 2s
Merge pull request #1458 from goblint/issue1457 indentation #207: Commit bffc5e3 pushed by FelixKrayer
May 16, 2024 07:52 3m 12s master
master
May 16, 2024 07:52 3m 12s
remove more stuff indentation #206: Commit d8e9dec pushed by FelixKrayer
May 16, 2024 05:45 2s td_parallel
td_parallel
May 16, 2024 05:45 2s
createl added indentation #205: Commit b819a29 pushed by FelixKrayer
May 8, 2024 10:30 2s createl
createl
May 8, 2024 10:30 2s
changed td1p so that it is non incremental and made with PostSolver.E… indentation #204: Commit b0d1655 pushed by FelixKrayer
May 8, 2024 10:25 3s td1p
td1p
May 8, 2024 10:25 3s
Merge branch 'goblint-ocaml-5-apron' into master_ocaml5 indentation #203: Commit a21d8e5 pushed by FelixKrayer
May 3, 2024 12:05 3m 32s master_ocaml5
master_ocaml5
May 3, 2024 12:05 3m 32s
Merge pull request #1428 from goblint/todo-passing indentation #202: Commit 2fa4f55 pushed by FelixKrayer
May 3, 2024 11:45 2s master_ocaml5
master_ocaml5
May 3, 2024 11:45 2s
Merge pull request #1428 from goblint/todo-passing indentation #201: Commit 2fa4f55 pushed by FelixKrayer
May 3, 2024 11:44 3m 6s master
master
May 3, 2024 11:44 3m 6s
Typos indentation #200: Commit 5073759 pushed by FelixKrayer
April 17, 2024 13:27 3m 52s master
master
April 17, 2024 13:27 3m 52s
add comment for _GNU_SOURCE indentation #199: Commit 5c3df93 pushed by stilscher
March 11, 2024 12:48 3m 40s math_funeval
math_funeval
March 11, 2024 12:48 3m 40s
Revert "change Float_t.to_string so all floats are differentiable" indentation #198: Commit 0e387a2 pushed by FelixKrayer
March 10, 2024 17:17 3m 13s math_funeval
math_funeval
March 10, 2024 17:17 3m 13s
rename option, better description, add reset_lazy indentation #197: Commit 920b3fc pushed by FelixKrayer
March 10, 2024 17:07 3m 26s math_funeval
math_funeval
March 10, 2024 17:07 3m 26s
Merge branch 'master' into math_funeval indentation #196: Commit f25833a pushed by stilscher
March 4, 2024 15:05 3m 28s math_funeval
math_funeval
March 4, 2024 15:05 3m 28s
activate ana.float.math_fun_eval_cstub on regtests with sqrt indentation #195: Commit 407d58e pushed by FelixKrayer
March 2, 2024 12:06 3m 33s math_funeval
math_funeval
March 2, 2024 12:06 3m 33s
Run 56-witness apron tests automatically indentation #194: Commit 9c2c167 pushed by FelixKrayer
March 2, 2024 11:57 3m 4s master
master
March 2, 2024 11:57 3m 4s
guard usages of math functions by max/min of both rounding modes indentation #193: Commit d454cb4 pushed by FelixKrayer
February 28, 2024 09:01 3m 4s math_funeval
math_funeval
February 28, 2024 09:01 3m 4s
Reintroduce math_funeval option with a few changes indentation #192: Commit bbef315 pushed by FelixKrayer
February 28, 2024 08:36 3m 26s math_funeval
math_funeval
February 28, 2024 08:36 3m 26s