Skip to content

Activity

Showing most recent first

Small fix

Force push
yvizelforce pushed to develop • 66d6fa8…fbb2194 • 
25 days ago

Small fix

yvizelpushed 3 commits to develop • 87cccf3…66d6fa8 • 
on Feb 24

Merge branch 'diffblue:develop' into develop

yvizelpushed 16 commits to develop • 020120a…87cccf3 • 
on Feb 24

Merge branch 'diffblue:develop' into develop

yvizelpushed 114 commits to develop • ed10809…020120a • 
on Feb 9

Merge branch 'diffblue:develop' into develop

yvizelpushed 62 commits to develop • 540b219…ed10809 • 
on Dec 30, 2024

Merge branch 'diffblue:develop' into develop

yvizelpushed 14 commits to develop • 13d1779…540b219 • 
on Nov 10, 2024

Removing redundant include, and fixing function arguments

yvizelpushed 1 commit to develop • 3f73e52…13d1779 • 
on Nov 10, 2024

Missing commit

yvizelpushed 1 commit to develop • e84fe43…3f73e52 • 
on Oct 30, 2024

Merge branch 'develop' of github.com:yvizel/cbmc into develop

yvizelpushed 3 commits to develop • c5f6d65…e84fe43 • 
on Oct 29, 2024

Merge branch 'diffblue:develop' into develop

yvizelpushed 3 commits to develop • 8970b81…c5f6d65 • 
on Oct 29, 2024

Some comments and minor modifications

yvizelpushed 1 commit to develop • c68df5b…8970b81 • 
on Oct 29, 2024

Adding regression tests for large step encoding of CHCs

yvizelpushed 2 commits to develop • a586173…c68df5b • 
on Oct 28, 2024

Merge branch 'diffblue:develop' into develop

yvizelpushed 5 commits to develop • 4673ae3…a586173 • 
on Oct 28, 2024

Merge branch 'develop' of github.com:yvizel/cbmc into develop

yvizelpushed 5 commits to develop • f274914…4673ae3 • 
on Oct 13, 2024

Merge branch 'diffblue:develop' into develop

yvizelpushed 11 commits to develop • 710f96f…f274914 • 
on Oct 13, 2024

Extracting new chcs after transformation

yvizelpushed 1 commit to develop • 05277f4…710f96f • 
on Sep 22, 2024

Small fix

yvizelpushed 1 commit to develop • d1ffe55…05277f4 • 
on Sep 22, 2024

Clean up old code

yvizelpushed 1 commit to develop • a2c42b6…d1ffe55 • 
on Sep 22, 2024

Merge branch 'develop' of github.com:yvizel/cbmc into develop

yvizelpushed 2 commits to develop • 6c88418…a2c42b6 • 
on Sep 22, 2024

Merge branch 'diffblue:develop' into develop

yvizelpushed 41 commits to develop • ffca3f2…6c88418 • 
on Sep 22, 2024

Enabling large step encoding using a flag

yvizelpushed 2 commits to develop • 27b845c…ffca3f2 • 
on Sep 16, 2024