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