Activity · POTTIER Francois / sek · GitLab

Mentions légales du service

Snippets Groups Projects

A GitLab upgrade is scheduled for Monday, April 7, 2025. Service interruptions are expected in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost canal: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

10 months ago

POTTIER Francois @fpottier

pushed to branch master at POTTIER Francois / sek

88060328 · Change @specialised to @specialise on 3 function definitions.
... and 1 more commit. Compare dfd031f5...88060328

10 months ago

POTTIER Francois @fpottier

pushed to branch master at POTTIER Francois / sek

dfd031f5 · Benchmark: use [Core.Time_float].

11 months ago

POTTIER Francois @fpottier

pushed to branch master at POTTIER Francois / sek

aa4dabad · Update version number in benchmark/README.md.

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

65576f9b · dropn refined

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

b43ae4a9 · benchmarks done

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

eb15110b · ktrees

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

188930fc · ktree

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

7484ccab · ktree

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

d89d2825 · more benchmarks

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

8905e807 · feature fix r script in make.sh

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

9108369b · get-set benchmarks

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

5306d1af · yet more benchmarks

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

11940833 · benchmark progress

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

6f5e456d · alloc_study

1 year ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

443f534f · update documentation for ocaml 4.14.1, and removed obsolete core.ti...

2 years ago

POTTIER Francois @fpottier

pushed to branch master at POTTIER Francois / sek

dd59924e · Change core to core_unix for the benchmarks to work.
... and 1 more commit. Compare 17da2e62...dd59924e

2 years ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

2ea79681 · pdarray optim

2 years ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

1bcc97c3 · optim get darray

2 years ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

fb3be47a · darray set as fast as esek

2 years ago

CHARGUERAUD Arthur @charguer

pushed to branch optim_read_in_full_chunks at POTTIER Francois / sek

b5121b0c · pdarray_benchmark