aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | progress in proofDavid Monniaux2022-01-071-3/+20
| * | | | this worksDavid Monniaux2022-01-071-11/+20
| * | | | progress in proofsDavid Monniaux2022-01-071-0/+183
| * | | | we need to use external Flocq, the one that goes with gappa libDavid Monniaux2022-01-071-1/+1
| * | | | Merge remote-tracking branch 'origin/kvx-work' into kvx_fp_divisionDavid Monniaux2022-01-0716-56/+434
| |\ \ \ \
| * | | | | rm flocqDavid Monniaux2021-12-221-0/+1
| * | | | | external FlocqDavid Monniaux2021-12-221-1/+1
| * | | | | +BoostDavid Monniaux2021-12-221-2/+2
| * | | | | add libmpfrDavid Monniaux2021-12-221-2/+2
| * | | | | add flexDavid Monniaux2021-12-211-4/+4
| * | | | | bison for gappaDavid Monniaux2021-12-211-1/+2
| * | | | | fix again opamDavid Monniaux2021-12-211-1/+1
| * | | | | fix opam pinDavid Monniaux2021-12-211-1/+1
| * | | | | use option -n for pin addDavid Monniaux2021-12-211-1/+1
| * | | | | Merge branch 'kvx_fp_division' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/...David Monniaux2021-12-210-0/+0
| |\ \ \ \ \
| | * | | | | fix configure for extra filesDavid Monniaux2021-12-171-0/+1
| * | | | | | compile & install gappa for KVXDavid Monniaux2021-12-211-1/+1
| * | | | | | fix configure for kvxDavid Monniaux2021-12-211-1/+2
| |/ / / / /
| * | | | | fpdivuDavid Monniaux2021-12-175-618/+44
| * | | | | cleanupDavid Monniaux2021-12-171-0/+613
| * | | | | simplify proofDavid Monniaux2021-12-171-3/+0
| * | | | | simplify proofDavid Monniaux2021-12-171-5/+3
| * | | | | no more admittedDavid Monniaux2021-12-171-6/+10
| * | | | | reorganize proofDavid Monniaux2021-12-171-1/+14
| * | | | | reorganize proofDavid Monniaux2021-12-171-89/+90
| * | | | | fixupDavid Monniaux2021-12-171-33/+36
| * | | | | one less admitDavid Monniaux2021-12-171-7/+35
| * | | | | one less admitDavid Monniaux2021-12-171-4/+14
| * | | | | one less admitDavid Monniaux2021-12-171-2/+27
| * | | | | one admit lessDavid Monniaux2021-12-171-2/+3
| * | | | | some admit lessDavid Monniaux2021-12-171-2/+16
| * | | | | one admit lessDavid Monniaux2021-12-171-1/+10
| * | | | | Znearest_leDavid Monniaux2021-12-171-1/+19
| * | | | | one admit lessDavid Monniaux2021-12-171-1/+5
| * | | | | goes to end still some admitDavid Monniaux2021-12-161-9/+1
| * | | | | less admitDavid Monniaux2021-12-161-4/+19
| * | | | | removing admitsDavid Monniaux2021-12-161-4/+4
| * | | | | glue in rangesDavid Monniaux2021-12-161-1/+8
| * | | | | progressDavid Monniaux2021-12-161-1/+5
| * | | | | betterDavid Monniaux2021-12-161-1/+1
| * | | | | progressDavid Monniaux2021-12-161-0/+26
| * | | | | progressDavid Monniaux2021-12-161-4/+31
| * | | | | QedDavid Monniaux2021-12-161-2/+24
| * | | | | one admit lessDavid Monniaux2021-12-161-2/+20
| * | | | | one admit lessDavid Monniaux2021-12-161-2/+8
| * | | | | one admit lessDavid Monniaux2021-12-161-1/+6
| * | | | | some more gappaDavid Monniaux2021-12-161-6/+21
| * | | | | one admit lessDavid Monniaux2021-12-161-1/+4
| * | | | | finish proof but some admitted stuffDavid Monniaux2021-12-161-4/+27
| * | | | | test gappaDavid Monniaux2021-12-161-15/+17
generated by cgit (git 2.34.1) at 2024-06-02 18:47:58 +0000