Mysaa
0 Followers · 0 Following
Repositories
45
 Projects Packages Public Activity Starred Repositories
Mysaa created branch main in Mysaa/mpri-2.4-project-2023-2024 2024-02-16 00:20:09 +01:00
Mysaa pushed to main at Mysaa/mpri-2.4-project-2023-2024 2024-02-16 00:20:09 +01:00
1fc5a46904 Tried to implement Var and Abs has_type method ...
f600a1b212 Backed up the original run.t file for comparison. Did the first dune promote (nothing works)
fd0213fe82 fix a ConstraintSimplifier bug
1f2bf2bb13 MSeq and MRand documentation: give an example.
44d184b6d4 Infer.has_type: include a full example of a constraint that works for (lambda x. x)
Compare 10 commits »
Mysaa created repository Mysaa/mpri-2.4-project-2023-2024 2024-02-16 00:19:39 +01:00
Mysaa created branch master in Mysaa/ProofOfProgramsProject 2024-01-29 17:32:30 +01:00
Mysaa pushed to master at Mysaa/ProofOfProgramsProject 2024-01-29 17:32:30 +01:00
7efbcb75cf First Commit - As the teacher gave it
Mysaa created repository Mysaa/ProofOfProgramsProject 2024-01-29 17:30:47 +01:00
Mysaa created branch master in Mysaa/misael 2024-01-16 16:36:29 +01:00
Mysaa pushed to master at Mysaa/misael 2024-01-16 16:36:29 +01:00
4c975e7a37 Première version de misael
Mysaa created repository Mysaa/misael 2024-01-16 16:33:09 +01:00
Mysaa pushed to master at Mysaa/SBoard 2024-01-12 19:22:28 +01:00
8920a73636 Merged two working project, some cleaning to do :/
Mysaa pushed to master at Mysaa/OffentlischeVerkershmittleFahr... 2024-01-12 19:10:27 +01:00
043037eb99 First commit
Mysaa created branch master in Mysaa/OffentlischeVerkershmittleFahr... 2024-01-12 19:10:27 +01:00
Mysaa created repository Mysaa/OffentlischeVerkershmittleFahr... 2024-01-12 19:09:05 +01:00
Mysaa renamed repository from gitea to Mysaa/pro-fondement 2024-01-12 16:48:54 +01:00
Mysaa pushed to master at Mysaa/HgWorldPlugin 2024-01-12 16:25:17 +01:00
d2152edf09 Ajout d'un exemple de fichier de configuration qui devrait être parsable (dans l'idéal)
Mysaa pushed to master at Mysaa/EMorphotype 2024-01-12 16:21:39 +01:00
79b79e3194 Added test files
Mysaa pushed to master at Mysaa/SBoard 2024-01-12 16:17:20 +01:00
27871b1f55 Premier commit - Base de la structure et API LV2
Mysaa created branch master in Mysaa/SBoard 2024-01-12 16:17:20 +01:00
Mysaa created branch master in Mysaa/HelloJasso 2024-01-12 16:08:45 +01:00
Mysaa pushed to master at Mysaa/HelloJasso 2024-01-12 16:08:45 +01:00
321e9799fe First commit - A basic library available