- 03 Mar, 2016 1 commit
-
-
POTTIER Francois authored
-
- 04 Feb, 2016 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
-
- 01 Feb, 2016 1 commit
-
-
POTTIER Francois authored
-
- 30 Dec, 2015 6 commits
-
-
POTTIER Francois authored
although in principle this was not necessary, since we already publish a dependency on ocamlfind.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 11 Dec, 2015 2 commits
-
-
-
POTTIER Francois authored
-
- 10 Dec, 2015 1 commit
-
-
POTTIER Francois authored
-
- 25 Nov, 2015 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 24 Nov, 2015 1 commit
-
-
POTTIER Francois authored
-
- 23 Nov, 2015 15 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
Looks nicer / more general. May save some allocations.
-
POTTIER Francois authored
-
POTTIER Francois authored
I used it in the branch bitset, which turns out to be incorrect (I think).
-
POTTIER Francois authored
instead of leaving it to the caller. This offers more flexibility to the implementor of [E], and already allows a speed gain (due to the loop interchange, I think).
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
although the specification of [add] is more complex.
-
POTTIER Francois authored
-
- 19 Nov, 2015 2 commits
-
-
-
POTTIER Francois authored
-
- 18 Nov, 2015 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
provided it appears in tail position in its caller and its caller does not itself have a %prec annotation.
-
- 16 Nov, 2015 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 12 Nov, 2015 1 commit
-
-
POTTIER Francois authored
-