Activity · pub / open-source-case-studies · GitLab

Snippets Groups Projects

6 days ago

Andre Maroneze @maroneze

deleted branch sync-fc-master-2025-03-07 at pub / open-source-case-studies

6 days ago

Andre Maroneze @maroneze

accepted merge request !66 "synchronize with frama-c master" at pub / open-source-case-studies

6 days ago

Andre Maroneze @maroneze

pushed to branch master at pub / open-source-case-studies

bf5deb7b · Merge branch 'sync-fc-master-2025-03-07' into 'master'
... and 1 more commit. Compare 5336d3c1...bf5deb7b

6 days ago

Andre Maroneze @maroneze

opened merge request !66 "synchronize with frama-c master" at pub / open-source-case-studies

6 days ago

Andre Maroneze @maroneze

pushed new branch sync-fc-master-2025-03-07 at pub / open-source-case-studies

2 weeks ago

Andre Maroneze @maroneze

deleted branch fix/sync/master-2025-02-24 at pub / open-source-case-studies

2 weeks ago

Andre Maroneze @maroneze

accepted merge request !65 "sync with frama-c master" at pub / open-source-case-studies

2 weeks ago

Andre Maroneze @maroneze

pushed to branch master at pub / open-source-case-studies

5336d3c1 · Merge branch 'fix/sync/master-2025-02-24' into 'master'
... and 1 more commit. Compare 5e09194c...5336d3c1

2 weeks ago

Andre Maroneze @maroneze

pushed to branch fix/sync/master-2025-02-24 at pub / open-source-case-studies

618d3e6a · sync with frama-c master

2 weeks ago

Andre Maroneze @maroneze

opened merge request !65 "sync with frama-c master" at pub / open-source-case-studies

2 weeks ago

Andre Maroneze @maroneze

pushed new branch fix/sync/master-2025-02-24 at pub / open-source-case-studies

3 weeks ago

Andre Maroneze @maroneze

deleted branch sync-master-syntactic-changes at pub / open-source-case-studies

3 weeks ago

Andre Maroneze @maroneze

accepted merge request !64 "synchronize with frama-c master" at pub / open-source-case-studies

3 weeks ago

Andre Maroneze @maroneze

pushed to branch master at pub / open-source-case-studies

5e09194c · Merge branch 'sync-master-syntactic-changes' into 'master'
... and 3 more commits. Compare 3e782873...5e09194c

3 weeks ago

Andre Maroneze @maroneze

pushed to branch sync-master-syntactic-changes at pub / open-source-case-studies

0dbbc418 · synchronize with frama-c master
... and 1 more commit. Compare ee795e2a...0dbbc418

3 weeks ago

Andre Maroneze @maroneze

pushed to branch sync-master-syntactic-changes at pub / open-source-case-studies

ee795e2a · synchronize with frama-c master
... and 2 more commits. Compare 8c560a5d...ee795e2a

3 weeks ago

Andre Maroneze @maroneze

opened merge request !64 "synchronize with frama-c master" at pub / open-source-case-studies

3 weeks ago

Andre Maroneze @maroneze

pushed new branch sync-master-syntactic-changes at pub / open-source-case-studies

4 weeks ago

Andre Maroneze @maroneze

deleted branch update-mbedtls-machdep at pub / open-source-case-studies

4 weeks ago

Andre Maroneze @maroneze

accepted merge request !63 "[mbedtls] update custom leon4 machdep" at pub / open-source-case-studies