November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-01 20:45:19 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: Further improvements to the generation of the code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces ppl_interface_generator_common.m4
by Patricia Hill 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-01 17:03:53 Modified files: interfaces : ppl_interface_generator_common.m4 Log message: Some ongoing improvements - both to the comments and in making the arguments to the macros more uniform. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/src Init.cc Rounding_Dir.defs.hh Rounding_ ...
by Abramo Bagnara 01 Nov '06

01 Nov '06

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-01 15:41:14 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: Several improvements to the code - both the generated code and to the m4 itself. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-01 13:20:45 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Added code for the Octagonal_Shape and BD_Shape narrowing procedures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-01 12:53:25 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_dat.m4 ppl_interface_generator_c_h_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Several improvements - mainly wrt the generation of code for the widening and extrapolation operators. All extrapolations (including the widenings) for all the simple domains are now generated. The only missing procedure now is the narrowing. Names of some of the patterns to be replaced have also been revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-01 12:24:15 Modified files: src : Interval.defs.hh Log message: More work on intervals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-01 08:13:49 Added files: src : Interval.defs.hh Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0