January 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/XSB expected expected2
by Roberto Bagnara 10 Jan '03

10 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-10 08:32:06 Modified files: interfaces/Prolog/XSB: expected expected2 Log message: Update copyright years. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte…

1 0

ppl ./configure.ac Watchdog/configure.ac
by Roberto Bagnara 09 Jan '03

09 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-09 10:11:37 Modified files: . : configure.ac Watchdog : configure.ac Log message: Building the Parma Watchdog Library is now enabled by default. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 09 Jan '03

09 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-09 10:11:04 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Added a new class `timeout_exception'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

composite/examples Readme coherence-ref1-2 coh ...
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/alv Module name: composite Changes by: roberto(a)spartacus.cs.unipr.it 03/01/08 11:41:03 Added files: examples : Readme coherence-ref1-2 coherence-ref3 coherence-ref4 coherence-ref5 coherence1-2 coherence3 coherence4 coherence5 insertionsort.al pc10.al pc5.al quicksort.al rw16.al rw32.al rw4.al rw64.al rw8.al sis1.al sis3.al statechart.al ticket2i.al ticket2l.al ticket3i.al ticket3l.al Log message: New examples from Composite 0.2.

1 0

composite/util parmiface.c
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/alv Module name: composite Changes by: roberto(a)spartacus.cs.unipr.it 03/01/08 11:30:21 Modified files: util : parmiface.c Log message: By default compile with optimizations turned on.

1 0

composite/parser main.c
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/alv Module name: composite Changes by: roberto(a)spartacus.cs.unipr.it 03/01/08 11:28:59 Modified files: parser : main.c Log message: Catch standard exceptions and print them out.

1 0

composite/obj-linux Makefile
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/alv Module name: composite Changes by: roberto(a)spartacus.cs.unipr.it 03/01/08 11:28:29 Modified files: obj-linux : Makefile Log message: Use Polyhedron::check_universe().

1 0

composite/obj-linux .cvsignore
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/alv Module name: composite Changes by: roberto(a)spartacus.cs.unipr.it 03/01/08 11:25:36 Added files: obj-linux : .cvsignore Log message: Put under CVS control.

1 0

composite/ bj-linux/Makefile arser/parser.y re ...
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/alv Module name: composite Changes by: roberto(a)spartacus.cs.unipr.it 03/01/08 11:23:16 Modified files: obj-linux : Makefile parser : parser.y predabs : AbsAction.h AbsSpec.cc AbsSpec.h AbsUtil.cc AbsUtil.h symbolic : CompSym.c IntSym.c Symbolic.h verifier : TransSys.c Log message: Changes to allow compilation with a (more or less) standard conforming C++ compiler.

1 0

Import
by Roberto Bagnara 08 Jan '03

08 Jan '03

CVSROOT: /cvs/alv Module name: composite Changes by: roberto(a)spartacus.cs.unipr.it 03/01/08 11:16:50 Log message: As received from Ken Mixter. Status: Vendor Tag: KM Release Tags: COMPOSITE_PPL_0_1 N composite/codegen/generate.c N composite/codegen/generate.h N composite/composition/Composition.c N composite/composition/Composition.h N composite/obj-linux/Makefile N composite/parser/Action.c N composite/parser/Action.h N composite/parser/StringUtil.c N composite/parser/StringUtil.h N composite/parser/SymbolTable.c N composite/parser/SymbolTable.h N composite/parser/TypeInfo.c N composite/parser/TypeInfo.h N composite/parser/lexer.l N composite/parser/main.c N composite/parser/parser.y N composite/parser/yylex.h N composite/predabs/AbsAction.cc N composite/predabs/AbsSpec.cc N composite/predabs/AbsUtil.cc N composite/predabs/ErrTrace.cc N composite/predabs/HaTransSys.cc N composite/predabs/bPredVar.cc N composite/predabs/AbsAction.h N composite/predabs/AbsSpec.h N composite/predabs/AbsUtil.h N composite/predabs/ErrTrace.h N composite/predabs/HaTransSys.h N composite/predabs/bPredVar.h N composite/predabs/elimparser.y N composite/predabs/predparser.y N composite/predabs/elimlexer.l N composite/predabs/predlexer.l N composite/predabs/elimscript.txt N composite/predabs/sedscript.txt N composite/symbolic/BoolSym.c N composite/symbolic/BoolSym.h N composite/symbolic/CompSym.c N composite/symbolic/CompSym.h N composite/symbolic/IntSym.c N composite/symbolic/IntSym.h N composite/symbolic/RealSym.c N composite/symbolic/RealSym.h N composite/symbolic/Symbolic.c N composite/symbolic/Symbolic.h N composite/symcache/SymCache.c N composite/symcache/SymCache.h N composite/util/Formula.c N composite/util/Formula.h N composite/util/LinkedList.c N composite/util/LinkedList.h N composite/util/Node.c N composite/util/Node.h N composite/util/Set.c N composite/util/Set.h N composite/util/Stack.c N composite/util/Stack.h N composite/util/bool.h N composite/util/parmiface.c N composite/util/parmiface.h N composite/verifier/TransSys.c N composite/verifier/TransSys.h N composite/examples/bakery2i.al N composite/examples/bakery2l.al N composite/examples/bakery3i.al N composite/examples/bakery3l.al N composite/examples/bakery4i.al N composite/examples/bakery4l.al N composite/examples/bakeryint.al N composite/examples/barber1.al N composite/examples/barber2.al N composite/examples/barber3.al N composite/examples/barber4.al N composite/examples/barber5.al N composite/examples/barber.al N composite/examples/barberm1.al N composite/examples/barberm2-1 N composite/examples/barberm2-2 N composite/examples/barberm2-3 N composite/examples/barberm2.al N composite/examples/barberm3-1 N composite/examples/barberm3-2 N composite/examples/barberm3-3 N composite/examples/barberm3.al N composite/examples/barberm4-1 N composite/examples/barberm4-2 N composite/examples/barberm4-3 N composite/examples/barberm4.al N composite/examples/barberm5.al N composite/examples/barberm.al N composite/examples/barbermp-1.al N composite/examples/barbermp-2.al N composite/examples/barbermp-3.al N composite/examples/barbermp.al N composite/examples/barberp.al No conflicts created by this import

1 0