Commits · main · Kylian Fontaine / DSL pour Robotique en essaim

Jul 25, 2024
- typo · 7efb148f
  Kylian Fontaine authored 10 months ago
  
  7efb148f
- Merge branch 'module' into 'main' · 7bd70794
  Kylian Fontaine authored 10 months ago
```
Module

See merge request !1
```
  7bd70794
- Merge branch 'main' into 'module' · 1c16e62e
  Kylian Fontaine authored 10 months ago
```
# Conflicts:
#   lib/gencoq.ml
```
  1c16e62e
- update Readme · 2b843ee7
  Kylian Fontaine authored 10 months ago
  
  2b843ee7
Jul 23, 2024
- env + typo · f45e6167
  Kylian Fontaine authored 10 months ago
  
  f45e6167
- fix: location est par defaut en activelyup · 8094637d
  Kylian Fontaine authored 10 months ago
  
  8094637d
- Instruction d'usage quand le programme est appelé sans nom de fichier · f9910891
  Kylian Fontaine authored 10 months ago
  
  f9910891
- typo · 8c410db9
  Kylian Fontaine authored 10 months ago
  
  8c410db9
Jul 22, 2024
- graphe png genere dans meme fichier que les .v · c17d1884
  Kylian Fontaine authored 10 months ago
  
  c17d1884
- commentaire + fix warning coq local/export instance module · 73e25248
  Kylian Fontaine authored 10 months ago
  
  73e25248
Jul 19, 2024
- nommage de fichier et de repo + option pour ecraser ou non le fichier module type · 42f38b95
  Kylian Fontaine authored 10 months ago
  
  42f38b95
- generation de deux fichiers distincts · 74713d95
  Kylian Fontaine authored 10 months ago
  
  74713d95
- Indique la ligne des erreurs X.y inconnu et light dans mauvais champ · 878454ca
  Kylian Fontaine authored 10 months ago
  
  878454ca
- Fix fichier original effacé si erreur · 56f217f8
  Kylian Fontaine authored 10 months ago
  
  56f217f8
Jul 18, 2024
- Generation par module + module preuve générer seulement si fichier n'existe pas · ec1d20b6
  Kylian Fontaine authored 10 months ago
  
  ec1d20b6
- typo · 92d19612
  Kylian Fontaine authored 10 months ago
  
  92d19612
Jul 17, 2024
- premiere esquisse avec les modules · 42370961
  Kylian Fontaine authored 10 months ago
  
  42370961
Jul 16, 2024
- typo · 5dcd9ee5
  Kylian Fontaine authored 10 months ago
  
  5dcd9ee5
Jul 15, 2024
- remonter les erreurs syntaxique · cdb0dcbe
  Kylian Fontaine authored 10 months ago
  
  cdb0dcbe
- typo · 09595eca
  Kylian Fontaine authored 10 months ago
  
  09595eca
- Fix set robogram · d6dcaf17
  Kylian Fontaine authored 10 months ago
  
  d6dcaf17
- modification sur valeur de retour du robogram -> light · 143f87e7
  Kylian Fontaine authored 10 months ago
  
  143f87e7
- ajout lt_config/compat/wellfound/round_lt · 624f9cf8
  Kylian Fontaine authored 10 months ago
  
  624f9cf8
Jul 09, 2024
- Verification graphe measure acyclique · a4c98492
  Kylian Fontaine authored 10 months ago
  
  a4c98492
Jul 08, 2024
- check robot field · f21a2aee
  Kylian Fontaine authored 10 months ago
  
  f21a2aee
- regroupement des check · 80a07cc0
  Kylian Fontaine authored 10 months ago
  
  80a07cc0
- typo · 7252b872
  Kylian Fontaine authored 10 months ago
  
  7252b872
Jul 05, 2024
- tri topologique + generation de la mesure · f4f5ec68
  Kylian Fontaine authored 10 months ago
  
  f4f5ec68
Jul 04, 2024
- prettyprint sur les lemmes · 8719b867
  Kylian Fontaine authored 10 months ago
  
  8719b867
Jul 03, 2024
- generation nom lemme + lemme conj phase + dsl accepte liste de sommet pour graph · e5269a7b
  Kylian Fontaine authored 10 months ago
  
  e5269a7b
Jun 28, 2024
- da hors lemmes, declaration des forall · a2c8a0ce
  Kylian Fontaine authored 11 months ago
  
  a2c8a0ce
Jun 24, 2024
- Esquisse graph de lemme · 188cf7d2
  Kylian Fontaine authored 11 months ago
  
  188cf7d2
Jun 21, 2024
- typo · ed150fdd
  Kylian Fontaine authored 11 months ago
  
  ed150fdd
Jun 20, 2024
- UpdFun et FC ring (explo/definitions) + ring_size_spec + Debut de measure · 4309698a
  Kylian Fontaine authored 11 months ago
  
  4309698a
Jun 19, 2024
- Correction require similarity · e88ed827
  Kylian Fontaine authored 11 months ago
```
+ Ajout possibilité d'utiliser un Ring quelconque
```
  e88ed827
Jun 18, 2024
- Merge branch 'main' of https://gitlab.liris.cnrs.fr/kfontaine/dsl-pour-robotique-en-essaim · 9959fae0
  Kylian Fontaine authored 11 months ago
  
  9959fae0
- Debut instance ring, updfunc et framechoice à faire · f3bce64a
  Kylian Fontaine authored 11 months ago
  
  f3bce64a
Jun 17, 2024
- Update R2_Rigid_NoMult_NoByz · 1aec372c
  Kylian Fontaine authored 11 months ago
  
  1aec372c
- typo · 0e2476f3
  Kylian Fontaine authored 11 months ago
  
  0e2476f3
- typo · 537d0e7d
  Kylian Fontaine authored 11 months ago
  
  537d0e7d