Archives are refreshed every 15 minutes - for details, please visit
the main index
.
You can also
download the archives in mbox format
.
lmi-commits (date)
[
Thread Index
][
Top
][
All Lists
][
lmi-commits info page
]
Advanced
[
Prev Period
]
Last Modified: Thu Sep 15 2022 21:25:03 -0400
Messages in reverse chronological order
[
Next Period
]
September 15, 2022
[lmi-commits] [lmi] master updated (81d6173f -> f10c1147)
,
Greg Chicares
,
21:25
[lmi-commits] [lmi] master c6e0e57e 1/3: Revert "Experimentally perform specamt strategies during solves"
,
Greg Chicares
,
21:25
[lmi-commits] [lmi] master 82126296 2/3: Revert "Enforce minimum specamt only conditionally"
,
Greg Chicares
,
21:25
[lmi-commits] [lmi] master f10c1147 3/3: Augment documentation
,
Greg Chicares
,
21:25
September 14, 2022
[lmi-commits] [lmi] master 81d6173f: Warn if DPI scale factor vaticinates failure with xvfb
,
Greg Chicares
,
18:10
September 02, 2022
[lmi-commits] [lmi] master b4ad495a 3/5: Enforce minimum specamt only conditionally
,
Greg Chicares
,
14:23
[lmi-commits] [lmi] master 3716c3e4 4/5: Experimentally perform specamt strategies during solves
,
Greg Chicares
,
14:23
[lmi-commits] [lmi] master updated (67e8d639 -> 3c3454d6)
,
Greg Chicares
,
14:23
[lmi-commits] [lmi] master 3c3454d6 5/5: Allow GUI test to fail
,
Greg Chicares
,
14:23
[lmi-commits] [lmi] master 8ca13877 1/5: Remove a redundant condition
,
Greg Chicares
,
14:23
[lmi-commits] [lmi] master 0b683073 2/5: Correct a function's documentation
,
Greg Chicares
,
14:23
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc