Skip to content
This repository has been archived by the owner on May 22, 2023. It is now read-only.

Update to CE 2020 #178

Closed
senier opened this issue May 25, 2020 · 5 comments
Closed

Update to CE 2020 #178

senier opened this issue May 25, 2020 · 5 comments

Comments

@senier
Copy link
Member

senier commented May 25, 2020

No description provided.

@jklmnn
Copy link
Member

jklmnn commented May 25, 2020

This needs Componolit/SXML#81.

jklmnn added a commit that referenced this issue May 27, 2020
@jklmnn
Update SXML to 0.1.1
d6caf09 
ref #178
jklmnn added a commit that referenced this issue May 28, 2020
@jklmnn
Add workaround for Componolit/Workarounds#27
f6ec706 
ref #178
jklmnn added a commit that referenced this issue May 28, 2020
@jklmnn
Use GitHub Actions, test GNAT CE 2020
23e6749 
ref #178
jklmnn added a commit that referenced this issue May 28, 2020
@jklmnn
Use GitHub Actions, test GNAT CE 2020
66cef6e 
ref #178
jklmnn added a commit that referenced this issue May 28, 2020
@jklmnn
Use GitHub Actions, test GNAT CE 2020
15110a4 
ref #178
jklmnn added a commit that referenced this issue May 28, 2020
@jklmnn
Use GitHub Actions, test GNAT CE 2020
edf815f 
ref #178
@jklmnn
Copy link
Member

jklmnn commented May 28, 2020

The proofs for the global state of a component are mutually exclusive. Component.Main.Platform needs to be in the initialized states in Component for GNAT CE 2020. For GNAT CE 2019 it must not be inside the initialized states. I assume we want to make GNAT CE 2020 the default.

@senier
Copy link
Member Author

senier commented May 28, 2020

Yes

jklmnn added a commit that referenced this issue May 28, 2020
@jklmnn
Fix proofs for GNAT CE 2020
7d81299 
ref #178
@jklmnn
Copy link
Member

jklmnn commented May 28, 2020

Okay the problem is not only when proving but also that the version that GNAT CE 2020 is able to prove does not compile on any older compiler.

jklmnn added a commit that referenced this issue May 29, 2020
@jklmnn
Update ada-runtime to GNAT CE 2020
68a899c 
ref #178
jklmnn added a commit that referenced this issue May 29, 2020
@jklmnn
Compile and prove with GNAT CE 2020 and 2019
320ce8c 
ref #178
jklmnn added a commit that referenced this issue Jun 2, 2020
@jklmnn
Update SXML to 0.1.1
78a1ede 
ref #178
jklmnn added a commit that referenced this issue Jun 2, 2020
@jklmnn
Add workaround for Componolit/Workarounds#27
d041858 
ref #178
jklmnn added a commit that referenced this issue Jun 2, 2020
@jklmnn
Use GitHub Actions, test GNAT CE 2020
db4d2ac 
ref #178
jklmnn added a commit that referenced this issue Jun 2, 2020
@jklmnn
Fix proofs for GNAT CE 2020
eb5f932 
ref #178
jklmnn added a commit that referenced this issue Jun 2, 2020
@jklmnn
Update ada-runtime to GNAT CE 2020
86dd3aa 
ref #178
jklmnn added a commit that referenced this issue Jun 2, 2020
@jklmnn
Compile and prove with GNAT CE 2020 and 2019
355ee1e 
ref #178
@jklmnn
Copy link
Member

jklmnn commented Jun 3, 2020

Closed by #179.

@jklmnn jklmnn closed this as completed Jun 3, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@senier @jklmnn