summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
Commit message (Collapse)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible16 hours1-2/+2
|
* Adding metadataroot2026-06-125-0/+1139
|
* Adding metadataroot2026-06-125-1139/+0
|
* Adding metadataroot2026-06-045-0/+1139
|
* Adding metadataroot2026-06-045-1140/+0
|
* Revert "Adding metadata"root2026-06-045-0/+1140
| | | | This reverts commit f716a9fe6455d39eef01e718aae68dae61c19704.
* Adding metadataroot2026-06-045-1140/+0
|
* Adding metadataBaldEagleOS Migration2026-06-031-1/+1
|
* Adding metadataroot2026-05-311-13/+14
|
* Adding metadataroot2026-05-312-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-03-154-685/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-132-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-081-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-081-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-041-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-08-263-0/+766
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-05-175-2668/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-161-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-051-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-201-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-102-0/+629
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-222-0/+648
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-233-3/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-093-3/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-041-0/+4
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-012-0/+659
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-232-679/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-011-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-283-3/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-172-0/+686
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-08-312-44/+86
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-08-011-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-282-0/+679
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-072-625/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-05-285-637/+4
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-05-243-4/+4
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-292-0/+628
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-191-0/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-181-0/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-183-0/+656
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-02-105-669/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-291-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-133-50/+45
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-136-0/+637
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-11-141-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-313-4/+23
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-171-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-063-521/+9
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-302-0/+691
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-181-0/+1
|