summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot11 hours1-13/+14
* Adding metadataroot16 hours2-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
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-09-187-0/+866