Skip to content
GitLab
  1. 18 Nov, 2020 2 commits
  3. 17 Nov, 2020 2 commits
  5. 16 Nov, 2020 2 commits
  7. 13 Nov, 2020 1 commit
  9. 12 Nov, 2020 1 commit
  11. 11 Nov, 2020 2 commits
  13. 10 Nov, 2020 5 commits
  15. 09 Nov, 2020 1 commit
  17. 05 Nov, 2020 1 commit
  19. 04 Nov, 2020 1 commit
  21. 03 Nov, 2020 1 commit
  23. 02 Nov, 2020 1 commit
  25. 29 Oct, 2020 3 commits
  27. 22 Oct, 2020 1 commit
  29. 21 Oct, 2020 2 commits
    • Rodolphe Lepigre's avatar
      Renaming [block_id] into [label]. · c0ffc3f9
      Rodolphe Lepigre authored 
      Using [block_id] to refer to the first component of locations.
      c0ffc3f9
    • Rodolphe Lepigre's avatar
      Refactoring and renaming in [lang.v] (mostly). · 5552a911
      Rodolphe Lepigre authored 
      - Put stuff in sections in [lang.v].
- Renamed [mk_layout] into [Layout] (for uniformity).
- Renamed [it_min] and [it_max] into [max_int] and [min_int].
- Some other renamings on [int_type]-related stuff.
- Changed [max_int] to be the last representable integer.
- Turned [in_it_range] into an instance of [ElemOf].
      5552a911
  31. 07 Oct, 2020 1 commit
  33. 02 Oct, 2020 2 commits
  35. 01 Oct, 2020 5 commits
  37. 30 Sep, 2020 6 commits