Commits · dev/typing · PAPERMAN Charles / pysemigroup

Jan 19, 2024
- progress on typing · a63274a8
  Charles Paperman authored 1 year ago
  
  a63274a8
- typing in progress, stuck on mutability of generic · 69f609a4
  Charles Paperman authored 1 year ago
  
  69f609a4
- work in progress typing automata.py (things broken, probably) · 317350eb
  Bruno Guillon authored 1 year ago
  
  317350eb
- test power fix · 7e5cb9b0
  Bruno Guillon authored 1 year ago
  
  7e5cb9b0
Jan 17, 2024
- advance in vstructure, starting with languages · 01549885
  cha authored 1 year ago
  
  01549885
- fixing vstructures bugs a bit · 20e671e0
  cha authored 1 year ago
  
  20e671e0
Jan 16, 2024
- finishing the parsers, adding more test, adding extra operations · c455583d
  cha authored 1 year ago
  
  c455583d
Jan 15, 2024
- adding basic partial implementation · 3ed4f3de
  cha authored 1 year ago
  
  3ed4f3de
- starting with v-structure · 8131eba1
  cha authored 1 year ago
  
  8131eba1
Jan 14, 2024
- ruff formating · 33c8bb65
  cha authored 1 year ago
  
  33c8bb65
- prototype compiler for rational expression · 912b9a40
  cha authored 1 year ago
  
  912b9a40
- utilitary shared part of the grammars · 2a0eb59d
  cha authored 1 year ago
  
  2a0eb59d
- rational expression with extended letters · dd61b553
  cha authored 1 year ago
  
  dd61b553
- first draft MSO lark · 41c27a80
  cha authored 1 year ago
  
  41c27a80
Jan 13, 2024
- make algorithms a submodule · dae22e58
  cha authored 1 year ago
  
  dae22e58
- Expressions and parser · 01c74f11
  cha authored 1 year ago
  
  01c74f11
- Based errors messages · a9f782a1
  cha authored 1 year ago
  
  a9f782a1
- Fixing issues with typing, fixing some bugs · 075857f0
  cha authored 1 year ago
  
  075857f0
- Fixing cartesian product and intersection definition · 2e890cf2
  cha authored 1 year ago
  
  2e890cf2
- add tests for regular language and algorithms · bbfb3928
  cha authored 1 year ago
  
  bbfb3928
- add a parser with a lot of nice features · 1bd1c0cf
  cha authored 1 year ago
  
  1bd1c0cf
Jan 12, 2024
- Some valid test for regular languages · fcbcb5c0
  cha authored 1 year ago
  
  fcbcb5c0
- adding the algorithm folder · e849a0d9
  cha authored 1 year ago
  
  e849a0d9
- adding the algorithm folder · dc3545c6
  cha authored 1 year ago
  
  dc3545c6
- adding counting DFA acyclic · a1a1ed37
  cha authored 1 year ago
  
  a1a1ed37
Jan 11, 2024
- ruff and some bug fixed · c15f8724
  Bruno Guillon authored 1 year ago
  
  c15f8724
- basic gitignore · 45937e0c
  Bruno Guillon authored 1 year ago
  
  45937e0c
- Merge branch 'pysemigroup2' of gitlab.inria.fr:cpaperma/pysemigroup into pysemigroup2 · 7924279a
  cha authored 1 year ago
  
  7924279a
- add intersection · de4fe984
  cha authored 1 year ago
  
  de4fe984
- ruff format and fix tests · 93adb0f7
  Bruno Guillon authored 1 year ago
  
  93adb0f7
- cleaning 2 · e590ac17
  cha authored 1 year ago
  
  e590ac17
- cleaning · cd5624e8
  cha authored 1 year ago
  
  cd5624e8
Jan 08, 2024
- fixing test · ec3707dd
  cha authored 1 year ago
  
  ec3707dd
- project management (pyproject) · 0deb13eb
  Charles Paperman authored 1 year ago
  
  0deb13eb
- project management · 432fefbd
  Charles Paperman authored 1 year ago
  
  432fefbd
Jan 06, 2024
- pushing tests · de2ba5ac
  cha authored 1 year ago
  
  de2ba5ac
- still bug in normalizing DFA · 579a5bc8
  cha authored 1 year ago
  
  579a5bc8
- add iso_hash_test · e93a4e40
  cha authored 1 year ago
  
  e93a4e40
Jan 05, 2024
- weird bug on minimize, probably due to normalization? or hashing? · 7718ce4d
  cha authored 1 year ago
  
  7718ce4d
- transitions pytest · fec098f5
  cha authored 1 year ago
  
  fec098f5

Admin message

Admin message