summaryrefslogtreecommitdiff
path: root/sci-mathematics/cvc4
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible12 hours1-2/+2
* Adding metadataroot2026-06-1211-0/+563
* Adding metadataroot2026-06-1211-563/+0
* Adding metadataroot2026-06-0411-0/+563
* Adding metadataroot2026-06-0411-564/+0
* Revert "Adding metadata"root2026-06-0411-0/+564
* Adding metadataroot2026-06-0411-564/+0
* Adding metadataBaldEagleOS Migration2026-06-031-1/+1
* Adding metadataroot2026-05-311-14/+15
* Adding metadataroot2026-05-312-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-05-111-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-11-105-38/+265
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-131-1/+1
* 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-06-051-0/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-05-201-10/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-04-122-1/+7
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-04-102-0/+11
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-291-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-10-171-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-281-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-09-231-0/+11
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-05-202-2/+89
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-01-201-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-10-171-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-08-181-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-241-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-05-241-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-15/+14
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-14/+15
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-03-052-0/+45
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-221-0/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-294-107/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-152-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-122-3/+52
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-262-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-10-151-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-08-261-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-272-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-262-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-192-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-102-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-181-2/+5
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-142-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-101-0/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-091-0/+9
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-081-4/+6
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-052-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-13/+15