Skip to content

Activity

Showing most recent first

Simplify generated string

michael-schwarzpushed 1 commit to issue_169 • bd042da…4d77053 • 
on Jan 17

Indent

michael-schwarzpushed 1 commit to issue_169 • 98fb22b…bd042da • 
on Jan 14

Fix acc position

michael-schwarzpushed 1 commit to issue_169 • f99b977…98fb22b • 
on Jan 14

Fix duplicate lines

Force push
michael-schwarzforce pushed to issue_169 • 195de1b…f99b977 • 
on Jan 14

Fix duplicate lines

Force push
michael-schwarzforce pushed to issue_169 • cac00a5…195de1b • 
on Jan 14

Fix duplicate lines

michael-schwarzpushed 1 commit to issue_169 • 2faf732…cac00a5 • 
on Jan 14

Pull out variable

michael-schwarzpushed 1 commit to issue_169 • 6287828…2faf732 • 
on Jan 14

More efficient breakString (#169)

michael-schwarzcreated issue_169 • 6287828 • 
on Jan 14

Deploying to gh-pages from @ f5ee39b 🚀

github-actions[bot]pushed 1 commit to gh-pages • dda2c8e…2d003d0 • 
on Jan 13

Deleted branch

sim642deleted lib-dynlink • 
on Jan 13

Merge pull request #170 from goblint/lib-dynlink

Pull request merge
sim642pushed 3 commits to develop • 39dc2a6…f5ee39b • 
on Jan 13

Deploying to gh-pages from @ 39dc2a6 🚀

github-actions[bot]pushed 1 commit to gh-pages • 8ffb83d…dda2c8e • 
on Dec 27, 2024

Update ocaml/setup-ocaml to v3

sim642pushed 1 commit to develop • bdf35fa…39dc2a6 • 
on Dec 27, 2024

Update actions/upload-artifact to v4

sim642pushed 1 commit to develop • ffe8c25…bdf35fa • 
on Dec 27, 2024

Deploying to gh-pages from @ ffe8c25 🚀

github-actions[bot]pushed 1 commit to gh-pages • f914769…8ffb83d • 
on Nov 26, 2024

Add freebsd x-ci-accept-failures from opam-repository

sim642pushed 1 commit to develop • c79208b…ffe8c25 • 
on Nov 26, 2024

Deploying to gh-pages from @ c79208b 🚀

github-actions[bot]pushed 1 commit to gh-pages • a124d86…f914769 • 
on Nov 25, 2024

Deploying to gh-pages from @ 460d4d3 🚀

github-actions[bot]pushed 1 commit to gh-pages • 96c50da…a124d86 • 
on Nov 25, 2024

Bump version to 2.0.5

sim642pushed 2 commits to develop • 460d4d3…c79208b • 
on Nov 25, 2024

Merge branch 'develop' into lib-dynlink

sim642pushed 28 commits to lib-dynlink • c27c240…adbc57d • 
on Nov 25, 2024

Allow manual CI execution

sim642pushed 1 commit to develop • 98095b4…460d4d3 • 
on Nov 25, 2024

Deploying to gh-pages from @ 98095b4 🚀

github-actions[bot]pushed 1 commit to gh-pages • 10c627a…96c50da • 
on Oct 2, 2024

Deleted branch

sim642deleted machdep-arch • 
on Oct 2, 2024

Merge pull request #173 from goblint/machdep-arch

Pull request merge
sim642pushed 4 commits to develop • 135fc3c…98095b4 • 
on Oct 2, 2024

Assert machdep-ml exit code to be 0

sim642pushed 2 commits to machdep-arch • 73d0251…9f4fac4 • 
on Sep 25, 2024

Generate 32bit and 64bit Machdep if possible

sim642created machdep-arch • 73d0251 • 
on Sep 24, 2024

Deploying to gh-pages from @ 135fc3c 🚀

github-actions[bot]pushed 1 commit to gh-pages • e865d1f…10c627a • 
on Aug 16, 2024

Deleted branch

sim642deleted attr-enumerator • 
on Aug 16, 2024

Merge pull request #172 from goblint/attr-enumerator

Pull request merge
sim642pushed 6 commits to develop • 317e26d…135fc3c • 
on Aug 16, 2024

Visit enumerator attributes in Cabsvisit

sim642pushed 1 commit to attr-enumerator • 0d21b34…04b8a45 • 
on Aug 2, 2024