Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Repository changesets Wiki changes

Jan 4, 2024:

4:39 PM Changeset in git [b8ad3a]spielwiese by Hans Schoenemann <hannes@…>

compiler warnings, format

Dec 29, 2023:

8:38 PM Changeset in git [dff47b]spielwiese by Hans Schoenemann <hannes@…>

compiler warnings

Dec 21, 2023:

3:17 PM Changeset in git [99a6af]spielwiese by Hans Schoenemann <hannes@…>

fix: idMinEmbedding_with_map

2:38 PM Changeset in git [edd935]spielwiese by Hans Schoenemann <hannes@…>

fix: handle ideal with 0 entries in maps

2:37 PM Changeset in git [aa4456]spielwiese by Hans Schoenemann <hannes@…>

compiler warnings

12:23 PM Changeset in git [f17fdfa]spielwiese by Hans Schoenemann <hannes@…>

fix prume_map: 4.3.2p13

11:21 AM Changeset in git [eace2a]spielwiese by Hans Schoenemann <hannes@…>

prune_map

Dec 19, 2023:

10:45 AM Changeset in git [3bda0f]spielwiese by Hans Schoenemann <hannes@…>

4.3.2p12

Dec 18, 2023:

6:00 PM Changeset in git [656ebda]spielwiese by Hans Schoenemann <hannes@…>

fix: idDivRem

3:30 PM Changeset in git [64bce2]spielwiese by Hans Schoenemann <hannes@…>

format

Dec 14, 2023:

3:31 PM Changeset in git [f1741f]spielwiese by Hans Schoenemann <hannes@…>

zero_rad: intered->std

11:47 AM Changeset in git [e4c3c4]spielwiese by Hans Schoenemann <hannes@…>

opt: finduni