summaryrefslogtreecommitdiff
path: root/dev-lang/dafny-bin
Commit message (Collapse)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible17 hours1-2/+2
|
* Adding metadataroot2026-06-123-0/+92
|
* Adding metadataroot2026-06-123-92/+0
|
* Adding metadataroot2026-06-043-0/+92
|
* Adding metadataroot2026-06-043-93/+0
|
* Revert "Adding metadata"root2026-06-043-0/+93
| | | | This reverts commit f716a9fe6455d39eef01e718aae68dae61c19704.
* Adding metadataroot2026-06-043-93/+0
|
* Adding metadataroot2026-05-311-12/+13
|
* Adding metadataroot2026-05-311-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-03-152-60/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-11-081-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-09-152-2/+8
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-08-262-0/+57
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-163-58/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-062-3/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-051-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-282-0/+57
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-063-58/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-012-6/+6
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-231-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-232-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-08-011-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-282-0/+57
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-06-253-114/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-04-291-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-294-2/+63
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-03-212-6/+8
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-191-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-132-0/+54
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-11-153-106/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-11-141-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-281-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-302-5/+7
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-183-1/+55
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-162-52/+0
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-011-3/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-222-0/+52
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-024-56/+4
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-162-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-193-3/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-012-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-062-3/+4
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-09-022-2/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-272-2/+3
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-222-0/+51
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-202-0/+51
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-07-011-3/+7
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-303-0/+79