summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark
Commit message (Expand)AuthorAgeFilesLines
* Adding metadataroot2026-06-1210-0/+275
* Adding metadataroot2026-06-1210-275/+0
* Adding metadataroot2026-06-0410-0/+275
* Adding metadataroot2026-06-0410-276/+0
* Revert "Adding metadata"root2026-06-0410-0/+276
* Adding metadataroot2026-06-0410-276/+0
* Adding metadataroot2026-05-311-16/+17
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-02-205-169/+13
* Adding metadataLiguros - Gitlab CI/CD [develop]2026-01-051-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-10-082-2/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-06-261-1/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-04-123-1/+18
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-291-0/+16
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-251-0/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-112-3/+13
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-091-2/+5
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-02-083-0/+156
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-12-151-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2024-11-291-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-12-301-5/+6
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-15/+17
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-17/+15
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-031-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-035-148/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-026-174/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-011-2/+2
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-11-272-9/+4
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-271-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-271-13/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-06-121-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-293-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-283-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-05-073-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-03-122-28/+40
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-111-25/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-081-14/+16
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-071-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-02-074-78/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-09-191-2/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-15/+17
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-17/+15
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-06-302-1/+12
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-06-133-0/+152
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-03-013-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-283-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-101-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-103-3/+3
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-105-0/+173