Commits · main · SLIB / SLI · GitLab

Snippets Groups Projects

Mar 05, 2025
- Merge branch 'feat-split-crate' into 'main' · 59471a66
  Lucas Van Laer authored 3 weeks ago
  59471a66
Mar 04, 2025
- feat: move cli app to seperate crate · d026d7aa
  Lucas Van Laer authored 2 months ago
  
  d026d7aa
- feat: split sli-lib into two crates · 7e512f65
  Lucas Van Laer authored 2 months ago
  
  7e512f65
Feb 19, 2025
- fix: new type some types for decoupling purposes · ef752100
  Lucas Van Laer authored 2 months ago
  
  ef752100
- Merge branch 'feat-get-range' into 'main' · 0e14f6eb
  Lucas Van Laer authored 1 month ago
  0e14f6eb
- feat(fodot): add get_range inference task · ff154da1
  Lucas Van Laer authored 3 months ago
  ff154da1
Feb 17, 2025
- fix: remove dbg! statements · 479d32fb
  Lucas Van Laer authored 1 month ago
  
  479d32fb
Feb 14, 2025
- Merge branch 'feat-constant-time-negation' into 'main' · 4ac2c570
  Lucas Van Laer authored 1 month ago
  4ac2c570
Feb 10, 2025
- feat: constant time negation · db5a2467
  Lucas Van Laer authored 1 month ago
  db5a2467
- Merge branch 'feat-fodot-errors' into 'main' · 20cdad24
  Lucas Van Laer authored 1 month ago
  20cdad24
- Merge branch 'feat-optimze-quant-splitting' into 'main' · d6a40bd0
  Lucas Van Laer authored 1 month ago
  d6a40bd0
- Merge branch 'feat-more-efficient-pred' into 'main' · b04a7ee2
  Lucas Van Laer authored 1 month ago
  b04a7ee2
- docs: add docs to fodot errors · d95fb17a
  Lucas Van Laer authored 2 months ago
  
  d95fb17a
- feat(fodot): primitive and sum type based error handeling · ee362aa6
  Lucas Van Laer authored 2 months ago
  
  ee362aa6
- fix: quant splitting simplifying too much · 5221d221
  Lucas Van Laer authored 1 month ago
  5221d221
- feat: more efficient predicate creation · 55f65f7a
  Lucas Van Laer authored 3 months ago
  55f65f7a
- fix: quant splitting assigning guard to wrong quantification · f2c9ea05
  Lucas Van Laer authored 2 months ago
  
  f2c9ea05
- feat(comp_core): optimize quant splitting · 674425ef
  Lucas Van Laer authored 3 months ago
  674425ef
- build: benchmarks and criterion dev dependencies · 84a3d29b
  Lucas Van Laer authored 1 month ago
  
  84a3d29b
- ci: fix gitlab yaml file · 1383fe34
  Lucas Van Laer authored 1 month ago
  
  1383fe34
Jan 15, 2025
- Merge branch 'feat-fodot-collections' into 'main' · 3b102ed8
  Lucas Van Laer authored 2 months ago
  3b102ed8
- docs: set collection · b2fc75dd
  Lucas Van Laer authored 2 months ago
  
  b2fc75dd
- feat(fodot): add negation to set collection · 3891b65a
  Lucas Van Laer authored 3 months ago
  
  3891b65a
- fix(comp_core): IndexRange index bounds · 2dc71c17
  Lucas Van Laer authored 3 months ago
  
  2dc71c17
- feat(fodot): add finite domain set using comp_core backing · fa5d0ea0
  Lucas Van Laer authored 3 months ago
  
  fa5d0ea0
- Merge branch 'ci-refactor' into 'main' · 93d08172
  Lucas Van Laer authored 2 months ago
  93d08172
Jan 14, 2025
- fix: lowering bug with definition quantees · 8f445693
  Lucas Van Laer authored 2 months ago
  
  8f445693
- fix: example fodot_api formatting · 4d2bd1ef
  Lucas Van Laer authored 2 months ago
  
  4d2bd1ef
- ci: further document the dependencies · f75aa6bc
  Lucas Van Laer authored 2 months ago
  
  f75aa6bc
- ci: pin ci/dev dependencies · ec6324e4
  Lucas Van Laer authored 2 months ago
  
  ec6324e4
- docs: Add testing chapter in README.md · afb3eb99
  Lucas Van Laer authored 2 months ago
  
  afb3eb99
- ci: add docker build and push commands · f1611350
  Lucas Van Laer authored 2 months ago
  
  f1611350
- ci: move ci operations to justfile · 6e6a3f2a
  Lucas Van Laer authored 2 months ago
  
  6e6a3f2a
Jan 13, 2025
- docs: api example · 936d0351
  Simon Vandevelde authored 2 months ago
  
  936d0351
Jan 09, 2025
- Merge branch 'feat-fodot-repr' into 'main' · b0e10d97
  Lucas Van Laer authored 2 months ago
  b0e10d97
- fix: remove some unused items · 7b8d7b3f
  Lucas Van Laer authored 2 months ago
  
  7b8d7b3f
- fix: fix whacky Quantees methods · 817f9ff7
  Lucas Van Laer authored 2 months ago
  
  817f9ff7
- docs: fix confusing get_decl_names docs · 8c06514e
  Lucas Van Laer authored 2 months ago
  
  8c06514e
- docs: add small comp_core explanation · da0234bb
  Lucas Van Laer authored 2 months ago
  
  da0234bb
Jan 08, 2025
- feat: implement TryFromCtx<&str> for SymbolRef and SymbolRc · 223aae30
  Lucas Van Laer authored 2 months ago
  
  223aae30