Skip to content

Activity

Showing most recent first

Merge branch 'topic/sync_upstream' into 'master'

adacore-botpushed 4 commits to master • df4b0ec…2469f18 • 
on Feb 3

Merge branch 'topic/794-kanig-cvc5' into 'master'

adacore-botpushed 732 commits to master • 58237d3…df4b0ec • 
on Dec 18, 2024

Merge branch 'topic/489-kanig-quant' into 'master'

adacore-botcreated 25.1 • 58237d3 • 
on Dec 18, 2024

Merge branch 'topic/489-kanig-quant' into 'master'

adacore-botcreated 25.0 • 58237d3 • 
on Oct 16, 2024

Merge branch 'topic/181-kanig-flex' into 'master'

adacore-botcreated 24-sustained • 5ec3990 • 
on Sep 27, 2024

V516-002 update gitreview for new repo on master-cvc4 branch

adacore-botcreated 24-sustained-cvc4 • 922ef14 • 
on Sep 27, 2024

Merge branch 'topic/489-kanig-quant' into 'master'

adacore-botpushed 2 commits to master • a7b1a81…58237d3 • 
on Feb 5, 2024

Merge branch 'topic/181-kanig-flex' into 'master'

adacore-botcreated 24.2 • 5ec3990 • 
on Feb 5, 2024

V516-002 update gitreview for new repo on master-cvc4 branch

adacore-botcreated 24.2-cvc4 • 922ef14 • 
on Feb 5, 2024

Merge branch 'topic/467-kanig-cvc5' into 'master'

adacore-botpushed 2 commits to master • 09cccf0…a7b1a81 • 
on Jan 17, 2024

Merge branch 'topic/467-kanig-cvc5' into 'master'

adacore-botpushed 503 commits to master • 892a298…09cccf0 • 
on Jan 16, 2024

Merge branch 'topic/464-python-version' into 'master'

adacore-botpushed 2 commits to master • e99f616…892a298 • 
on Dec 14, 2023

.gitreview: set gerrit.defaultbranch to 23.2-cvc4 [W118-031]

adacore-botcreated 23-sustained-cvc4 • e295a0b • 
on Dec 14, 2023

.gitreview: set gerrit.defaultbranch to 23.2 [W118-031]

adacore-botcreated 23-sustained • f26b9e9 • 
on Dec 14, 2023

Merge branch 'mr/kind-stdint' into 'master'

adacore-botpushed 2 commits to master • 5ec3990…e99f616 • 
on Nov 6, 2023

Merge branch 'topic/181-kanig-flex' into 'master'

adacore-botcreated 24.1 • 5ec3990 • 
on Nov 5, 2023

Merge branch 'topic/181-kanig-flex' into 'master'

adacore-botcreated 24.0 • 5ec3990 • 
on Nov 5, 2023

V516-002 update gitreview for new repo on master-cvc4 branch

adacore-botcreated 24.1-cvc4 • 922ef14 • 
on Nov 5, 2023

V516-002 update gitreview for new repo on master-cvc4 branch

adacore-botcreated 24.0-cvc4 • 922ef14 • 
on Nov 5, 2023

Merge branch 'topic/181-kanig-flex' into 'master'

adacore-botpushed 2 commits to master • 49342d3…5ec3990 • 
on May 4, 2023

Merge branch 'topic/181-kanig-merge' into 'master'

adacore-botpushed 188 commits to master • 6407e7d…49342d3 • 
on May 2, 2023