summaryrefslogtreecommitdiff
path: root/dev-lang/dafny-bin
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot11 hours1-12/+13
* Adding metadataroot15 hours1-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