Commits · docs · Projets-INFO4 / 22-23 / 26 / rustre-docs

Apr 03, 2023
- README · b3194b8c
  Ana Gelez authored 2 years ago
  
  b3194b8c
- Add typechecking/types.md · a2586a68
  Edgar Onghena authored 2 years ago
  
  a2586a68
- CI: it's typst compile · 83e6f57a
  Ana Gelez authored 2 years ago
  
  83e6f57a
- CI: don't quote commands · e065f489
  Ana Gelez authored 2 years ago
  
  e065f489
- CI: flakes are still experimental, 5 minutes later · 22f48296
  Ana Gelez authored 2 years ago
  
  22f48296
- CI: flakes are still experimental · 20948a3c
  Ana Gelez authored 2 years ago
  
  20948a3c
- Build the report · 9eb4915c
  Ana Gelez authored 2 years ago
  
  9eb4915c
- Start documenting EC generation · 07c3e0b5
  Ana Gelez authored 2 years ago
  
  07c3e0b5
Mar 13, 2023
- Document partial initialization and remove salsa · 34039b31
  Edgar Onghena authored 2 years ago
  
  34039b31
Mar 06, 2023
- ci: merci nix · 669d5e61
  Ana Gelez authored 2 years ago
  
  669d5e61
- ci: install python too · 61365985
  Ana Gelez authored 2 years ago
  
  61365985
- ci: fix the flag · 9b679fed
  Ana Gelez authored 2 years ago
  
  9b679fed
- ci: on installe mdbook autrement · a751d70c
  Ana Gelez authored 2 years ago
  
  a751d70c
- ci: ah bah c'est pas bash · f05fb667
  Ana Gelez authored 2 years ago
  
  f05fb667
- ci: on tente de réparer · e5bf37ab
  Ana Gelez authored 2 years ago
  
  e5bf37ab
Feb 28, 2023
- Add Katex support and highlight basic Lustre · 74e85c59
  Edgar Onghena authored 2 years ago
  
  74e85c59
- Add mention of Lustre being embeddable · e9784f70
  Edgar Onghena authored 2 years ago
  
  e9784f70
Jan 26, 2023
- Merge branch 'docs' of gricad-gitlab.univ-grenoble-alpes.fr:Projets-INFO4/22-23/26/docs into docs · bae5aae2
  Edgar Onghena authored 2 years ago
  
  bae5aae2
- Start explaining parsing · 85660fd2
  Edgar Onghena authored 2 years ago
  85660fd2
- Fix shell.nix and add plantuml plugin · 08e1c6d4
  Edgar Onghena authored 2 years ago
  
  08e1c6d4
Jan 16, 2023
- Gitlab pages requires a public/ directory · 8aacfc3e
  Ana Gelez authored 2 years ago
  
  8aacfc3e
- Set-up Gitlab CI · d77c2bd1
  Ana Gelez authored 2 years ago
  
  d77c2bd1
Jan 12, 2023
- Document the lexer · 1d77a34d
  Ana Gelez authored 2 years ago
  
  1d77a34d
Jan 11, 2023
- Fix GH pages deployment · 297d6b7f
  Ana Gelez authored 2 years ago
  
  297d6b7f
- Deploy to Github pages · c5a497d6
  Ana Gelez authored 2 years ago
  
  c5a497d6
- Compiler architecture comparison · 657b7693
  Ana Gelez authored 2 years ago
  
  657b7693
- Set up mdbook · b95a3434
  Ana Gelez authored 2 years ago
  
  b95a3434