"src/main/scala/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "2e7b523fa5eb2863a0d43f1e8faba534ab9d4ef5"
-
Manos Koukoutos authored
- Command line option definitions are now represented by a type parametric class. - Components can declare legal option definitions. - Options are parsed according to those definitions in Main, and stored in LeonContext. - Components can then retrieve back the options from LeonContext. This is not perfect, as it requires some type casts. - leon.Settings only contained redundant information and has been removed. - Unused options from SynthesisSettings have been removed.
Manos Koukoutos authored- Command line option definitions are now represented by a type parametric class. - Components can declare legal option definitions. - Options are parsed according to those definitions in Main, and stored in LeonContext. - Components can then retrieve back the options from LeonContext. This is not perfect, as it requires some type casts. - leon.Settings only contained redundant information and has been removed. - Unused options from SynthesisSettings have been removed.