merge of afp-2021
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFPa49f43a5e0f3: new entry PAL
rAFP7c831b848ada: merge from afp-2021 - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPc345143ddc72: merge of afp-2021.Nov 14 2021, 8:41 AM2021-11-14 08:41:24 (UTC+1)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 7c831b848ada merge from afp-2021Author
- 727a899b0f44 tuned proofs -- avoid z3;Author
- a40fc791abac tuned;
- 8225e73dbf62 tuned;
- 4f170b69e2da merged;
- 5dddf1525788 adapted to develAuthor
- 5270bd68a568 updated to develAuthor
- 0d88eeb67408 tuned proof for develAuthor
- 2b6d50818876 more accurate use of LaTeX ndash;Author
- 2c40cc64d4e5 prefer portable LaTeX mdash;Author
- 43ab95a583be proper Unix linefeeds;Author
- fb912ad7a64c changed affiliation of eberlAuthor
- 37caa5102bec Registers: