Files

 v0.2

/

banal

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

naim-mr

Remove warnings

Feb 27, 2024

2bc3199 · Feb 27, 2024

History

History

This branch is 117 commits ahead of, 50 commits behind caterinaurban/function:master.

/

banal

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
banal_abstract_syntax.ml		banal_abstract_syntax.ml	added banal abstract domain source code	May 10, 2017
banal_affine.ml		banal_affine.ml	added banal abstract domain source code	May 10, 2017
banal_apron_domain.ml		banal_apron_domain.ml	Changes according to feedback in pull-request:	Jun 6, 2017
banal_datatypes.ml		banal_datatypes.ml	added banal abstract domain source code	May 10, 2017
banal_domain.ml		banal_domain.ml	added banal abstract domain source code	May 10, 2017
banal_float.ml		banal_float.ml	Remove warnings	Feb 27, 2024
banal_int.ml		banal_int.ml	added banal abstract domain source code	May 10, 2017
banal_intinf.ml		banal_intinf.ml	added banal abstract domain source code	May 10, 2017
banal_itv_float.ml		banal_itv_float.ml	added banal abstract domain source code	May 10, 2017
banal_itv_int.ml		banal_itv_int.ml	added banal abstract domain source code	May 10, 2017
banal_itv_rat.ml		banal_itv_rat.ml	added banal abstract domain source code	May 10, 2017
banal_linearization.ml		banal_linearization.ml	Remove warnings	Feb 27, 2024
banal_mathtypes.ml		banal_mathtypes.ml	added banal abstract domain source code	May 10, 2017
banal_rat.ml		banal_rat.ml	minimal banal changes	Nov 15, 2023
banal_semantics.ml		banal_semantics.ml	added banal abstract domain source code	May 10, 2017
banal_typed_syntax.ml		banal_typed_syntax.ml	Implemented first existential analysis using underapproximation for	May 12, 2017
dune		dune	dune	Nov 14, 2023
function_banal_converter.ml		function_banal_converter.ml	Implemented first existential analysis using underapproximation for	May 12, 2017
ml_float.c		ml_float.c	dune	Nov 14, 2023
View all files