Skip to main content

Browse the archive

Revision 179af541fbdf02d4f5013b1ec5a4b8dff5a623fa authored by François Dupressoir on 22 April 2016, 14:34:11 UTC, committed by François Dupressoir on 22 April 2016, 14:44:11 UTC 
Preliminary generic argument for event partitioning.
 
This kind of argument is currently difficult to use, but formalizing
and using them should give us hints as to what we can and should do
to support them more cleanly.

This one will be used, once generalized further and cleaned up,
to simplify Dice_sampling.
1 parent db89cbe
Raw File
_tags 
# --------------------------------------------------------------------
true : use_menhir, menhir_explain, menhir_table
true : debug
true : warn_Z, warn_Y, warn_+28, warn_-23, warn_+33
true : -traverse
true : bin_annot
# true : menhir_trace
# true : bisect

# --------------------------------------------------------------------
<src>            : include
<src/why3>       : include
<src/phl>        : include
<src/extraction> : include
<src/system>     : include

# --------------------------------------------------------------------
<src/*.{ml,mli}>      : package(batteries, menhirLib, why3, zarith, pcre)
<src/*/*.{ml,mli}>    : package(batteries, menhirLib, why3, zarith, pcre)
<src/*.{native,byte}> : package(batteries, menhirLib, why3, zarith, pcre)
back to top