ecoppens
0 followers · 0 following
  • Joined on 2023-12-29
Repositories
6
 Projects Packages Public activity Starred repositories
2
ecoppens pushed to main at ecoppens/infrastructure 2024-08-16 23:21:15 +02:00
278d9a287a feat(kahulm): Added kahulm to web01
ecoppens created repository ecoppens/infrastructure 2024-08-16 22:02:30 +02:00
ecoppens pushed to elias at Selene/AStat 2024-06-09 22:03:08 +02:00
63f0e88788 Fixed Karr domain
2808f0bd8c Integration
Compare 2 commits »
ecoppens pushed to elias at Selene/AStat 2024-06-09 20:30:49 +02:00
0c1e540883 Finished Karr
f34d1b9e52 Correctly renamed & began karr domain
a930045006 Added matrices
d838756d0e Preparing for final commit
d26445d151 init : int -> t
Compare 5 commits »
ecoppens pushed to elias at Selene/AStat 2024-06-09 00:00:05 +02:00
2cf9354b55 Correctly renamed & began karr domain
4ac7432a79 Added matrices
a41dedd362 More congruence precision, backprop bug fix, disjunctive analysis!
185f016303 Improved congruence, implemented RP, fixed whitespace.
5d3416bae9 Reduced product functor
Compare 7 commits »
ecoppens pushed to elias at Selene/AStat 2024-06-08 23:58:16 +02:00
f8f8c5fedd Correctly renamed & began karr domain
ecoppens pushed to elias at Selene/AStat 2024-06-08 22:40:36 +02:00
7864ce2d20 Added matrices
ecoppens pushed to elias at Selene/AStat 2024-06-06 15:44:32 +02:00
43edb5714d Fixed congruence domain
ecoppens pushed to elias at Selene/AStat 2024-06-04 23:46:12 +02:00
614e73bfb7 Added congruence domain
5a3177825f Fixed results' styling
d2b9ba9ae0 Fixed compare() mishap
39f938226e Ensure termination in while/for
432dbf32dc Merge branch 'elias'
Compare 7 commits »
ecoppens pushed to elias at Selene/AStat 2024-06-02 00:50:28 +02:00
0ca8a19bf7 Smarter bwd_binary in interval domain
fe42e05286 Fixed interval
Compare 2 commits »
ecoppens pushed to main at Selene/AStat 2024-06-01 21:23:21 +02:00
fe42e05286 Fixed interval
ecoppens pushed to elias at Selene/AStat 2024-06-01 21:08:26 +02:00
0ed5e6b81f Added Selene's modification
ab1ba60b36 Fixed tests
d80653ef00 Added interval domains + fixed nix
7276f302c5 Added nix support
1fbdff1ec6 Let user choose domain
Compare 6 commits »
ecoppens pushed to main at Selene/AStat 2024-06-01 20:59:08 +02:00
0ed5e6b81f Added Selene's modification
ecoppens pushed to main at Selene/AStat 2024-06-01 20:53:53 +02:00
ab1ba60b36 Fixed tests
d80653ef00 Added interval domains + fixed nix
7276f302c5 Added nix support
Compare 3 commits »
ecoppens pushed to elias at Selene/AStat 2024-05-31 00:06:16 +02:00
6ea0e2178b Added interval domains + fixed nix
29fa051067 Added nix support
Compare 2 commits »
ecoppens created branch elias in Selene/AStat 2024-05-31 00:06:16 +02:00
ecoppens commented on pull request DGNum/metis#67 2024-01-16 18:38:14 +01:00
Nouveau calendrier pour hackENS

J'ai modifié en conséquence

ecoppens pushed to master at ecoppens/metis 2024-01-16 18:35:58 +01:00
7c256a6dcc feat(calendars.json): Add new hackENS calendar
ecoppens created pull request DGNum/metis#67 2024-01-14 01:07:11 +01:00
Nouveau calendrier pour hackENS
ecoppens pushed to master at ecoppens/metis 2024-01-14 01:06:01 +01:00
e794c238ca feat(calendars.json): Add new hackENS calendar