Commits · main · Léo GERMOND / contractme

Browse files

Dec 10, 2025
- black · b64ebb58
  Leo Germond authored Dec 10, 2025
  
  View commits for tag v1.6.0 v1.6.0
  
  b64ebb58
- Update 1.6.0 and changelog · 486de957
  Leo Germond authored Dec 10, 2025
  
  486de957
- call with self · 9d96628a
  Leo Germond authored Dec 10, 2025
  
  9d96628a
- types stubs for pre/post conditions · 9c29c747
  Leo Germond authored Dec 10, 2025
  
  9c29c747
Nov 29, 2025
- lock · 3b85d90b
  Leo Germond authored Nov 29, 2025
  
  3b85d90b
- bump micro version · 9159cef4
  Leo Germond authored Nov 29, 2025
  
  9159cef4
- return value explicitly F_Ret · 206b280f
  Leo Germond authored Nov 29, 2025
  
  206b280f
- non interactive apt-get · bd26672c
  Leo Germond authored Nov 29, 2025
  
  View commits for tag v1.5.0 v1.5.0
  
  bd26672c
- install libatomic1 · d3a2c1e6
  Leo Germond authored Nov 29, 2025
  
  d3a2c1e6
- pyright 1.1.407 · 27b0ca59
  Leo Germond authored Nov 29, 2025
  
  27b0ca59
- black · cf95f946
  Leo Germond authored Nov 29, 2025
  
  cf95f946
- v1.5.0 doc · b5a3b175
  Leo Germond authored Nov 29, 2025
  
  b5a3b175
- ContractedFunctions are typed appropriately · 73ef52a4
  Leo Germond authored Nov 29, 2025
  
  73ef52a4
Oct 14, 2025
- Merge branch 'v1.4' into 'main' · 110952d1
  Léo GERMOND authored Oct 14, 2025
  View commits for tag v1.4.0 v1.4.0
  
  110952d1
- Merge branch 'add-base-support-for-dict' into 'main' · 576819b8
  Léo GERMOND authored Oct 14, 2025
  576819b8
- v1.4 config · 487a72e2
  Leo Germond authored Oct 14, 2025
  
  487a72e2
- v1.4 documentation · f29587a6
  Leo Germond authored Oct 14, 2025
  
  f29587a6
- support for dict · a73969fc
  Leo Germond authored Oct 14, 2025
  
  a73969fc
Oct 12, 2025
- Merge branch '20251012-annotated-doc-update' into 'main' · 1aa104de
  Léo GERMOND authored Oct 12, 2025
  1aa104de
- README update · 151e793d
  Leo Germond authored Oct 12, 2025
  
  151e793d
- Merge branch 'pyright-from-devenv' into 'main' · 6e2d9979
  Léo GERMOND authored Oct 12, 2025
  6e2d9979
- GitLab Pyright is gathered and run from dev deps · 530cdf30
  Leo Germond authored Oct 12, 2025
  
  530cdf30
- GitLab Pyright is gathered and run from dev deps · e7835a80
  Leo Germond authored Oct 12, 2025
  
  e7835a80
- Merge branch 'GitLab-CI--check-pyright-resport-on-after-script' into 'main' · 9f518e0e
  Léo GERMOND authored Oct 12, 2025
  9f518e0e
- CI: Pyright reports checked iff pyright run was successful · 0f1e63c7
  Léo GERMOND authored Oct 12, 2025
  
  0f1e63c7
- Merge branch '20251012-gitlab-uses-lockfile-black' into 'main' · 994d95b4
  Léo GERMOND authored Oct 12, 2025
  994d95b4
- uv sync and black update · 6f0345cd
  Leo Germond authored Oct 12, 2025
  
  6f0345cd
- Merge branch '20251012-uv-sync' into 'main' · fb9ab4de
  Léo GERMOND authored Oct 12, 2025
  fb9ab4de
- uv sync and black update · fea8054c
  Leo Germond authored Oct 12, 2025
  
  fea8054c
- Merge branch 'annotations-first-advanced-union-tests' into 'main' · b3af2269
  Léo GERMOND authored Oct 12, 2025
  b3af2269
- add more complex union tests · 493579fd
  Leo Germond authored Oct 12, 2025
  
  493579fd
Oct 11, 2025
- Merge branch 'more-advanced-annotations' into 'main' · 9371014c
  Léo GERMOND authored Oct 11, 2025
  9371014c
- black · ba25f1c3
  Leo Germond authored Oct 11, 2025
  
  ba25f1c3
- remove unused check_with function · a9a41b55
  Leo Germond authored Oct 11, 2025
  
  a9a41b55
- Merge branch 'vscode-pytest-first-config' into 'main' · f25b0360
  Léo GERMOND authored Oct 11, 2025
  f25b0360
- Union support for constraint checking · ebbfa79a
  Léo GERMOND authored Jun 19, 2025
  ebbfa79a
- docstring for get_types_and_annotations_errors · 4a7b9094
  Leo Germond authored Oct 11, 2025
  
  4a7b9094
- option types, and refacto · 4e767dc2
  Leo Germond authored Jun 04, 2025
  4e767dc2
- test recursive types · 00607189
  Leo Germond authored Jun 04, 2025
  
  00607189
- annotation type alias · 620c99de
  Leo Germond authored Jun 04, 2025
  
  620c99de