Commits

History for

Commits on Jun 4, 2026

GIT: update compiler to 5.2.0 and remove makefiles workflow
sipma
committed

Commits on Sep 30, 2025

Add `codehawk.opam` file

brk
authored and
sipma
committed

Commits on May 31, 2025

Pin goblint-cil.2.0.6 in CI

brk
authored and
Databean
committed

Commits on Mar 19, 2025

Bump tagged versions in docs.yaml

brk
authored and
sipma
committed

Commits on Feb 4, 2025

GITHUB: update workflows
sipma
committed

Commits on Oct 21, 2024

GH: use higher version of ocaml for github actions
sipma
committed

Commits on May 26, 2024

update dune workflow
sipma
committed

Commits on May 21, 2024

Commits on Dec 31, 2023

Commits on Dec 30, 2023

Commits on Nov 11, 2023

Documentation workflow
Databean
committed

Commits on Aug 17, 2023

Fix compile GitHub action to use ocaml/setup-ocaml@v2
Databean
committed

Commits on Aug 9, 2023

Commits on Apr 7, 2023

remove analyzer removal from workflow
sipma
committed

Commits on Apr 2, 2023

Upgrade to latest goblint
Databean
committed

Commits on Apr 1, 2023

Upgrade ocaml to 4.12.1
Databean
committed

Commits on Oct 6, 2022

Commits on Mar 29, 2022

Commits on Feb 9, 2022

Commits on Sep 24, 2021

Commits on Jul 16, 2021

add workflow test for binary analyzer
sipma
committed

Commits on Nov 21, 2020

Commits on Jul 26, 2020

Update CI to python 3.
Databean
committed

Commits on Jul 17, 2020

Add missing projects to full_{clean,make}.sh.
Databean
committed