Diffusion whizardsvn rWHIZARDSVN8812

771233f Merge branch 'tho/ocaml-modernization' into 'master'
rWHIZARDSVN8812
Actions

Tags

None

Subscribers

None

Description

771233f Merge branch 'tho/ocaml-modernization' into 'master'

Details

Provenance

Authored on

Parents

rWHIZARDSVN8811: d36e1fa Merge branch '58-refactor-flv_structure_t-and-flavor_permutation_t'…

Branches

Unknown

Tags

Unknown

Event Timeline

jr_reuter committed rWHIZARDSVN8812: 771233f Merge branch 'tho/ocaml-modernization' into 'master'.Feb 24 2022, 4:10 PM

Changes (8)

Path

Size

trunk/

omega/

src/

src/

fks/

rWHIZARDSVN8812

trunk/omega/src/UFO.ml

Loading...

trunk/omega/src/UFO_targets.ml

Loading...

trunk/omega/src/algebra.mli

Loading...

trunk/omega/src/options.ml

Loading...

trunk/omega/src/powSet.ml

Loading...

trunk/omega/src/thoList.ml

Loading...

trunk/omega/src/trie.ml

Loading...

trunk/src/fks/fks.nw

Loading...