ChangeLog

2003-08-19  Razvan Musaloiu-E.  <raz@athos>

	* Makefile: add examples.hs/report_ex1

	* src.hs/Omega_util.hs: disable debug messages

	* src/Makefile, src/Exit.c: add Exit.c from omega library sources

	* Makefile.rules: remove the direct use of omega sources

	* src.hs/Makefile: small enhance

	* examples.hs/report_ex1/Main.hs, examples.hs/report_ex1/Makefile:
	a tiny example for slides

	* Makefile: add examples.hs/qsort

	* examples.hs/qsort/Main.hs: top-down fix-point for quicksort

2003-08-18  Razvan Musaloiu-E.  <raz@athos>

	* examples.hs/qsort/Makefile, examples.hs/myexample/Makefile, examples.hs/happy/Makefile, examples.hs/example2/Makefile, examples.hs/example1/Makefile, examples.hs/example/Makefile:
	small bug

	* src.hs/PFOmega.hs: add to_formula

	* src.hs/Omega_parser.y: add unary '-'

	* src.hs/Omega.hs: small bug

2003-08-07  Razvan Musaloiu-E.  <raz@athos>

	* examples.hs/append/Main.hs: tod-down without output vars

	* examples.hs/append/Makefile, examples.hs/append/Main.hs: small change

2003-08-04  Razvan Musaloiu-E.  <raz@athos>

	* examples.hs/qsort/Main.hs: now the fix-point is finally "a = b" :-)

2003-08-03  Razvan Musaloiu-E.  <raz@athos>

	* examples.hs/qsort/Main.hs, examples.hs/qsort/Makefile:
	cleanup + make it work :-)

	* src.hs/Omega_types.hs:
	add a new class Omega_Show with a function called omega_show which provides a better handling of variables

	* src.hs/Omega.hs: add small error handling enhancement

	* src.hs/PFOmega.hs: add rformula_print_formula_to_string

	* src.hs/Makefile, src.hs/PFOmega.hs:
	new module: PFOmega (PF = pure functional)

2003-08-01  Razvan Musaloiu-E.  <raz@athos>

	* examples.hs/qsort/Main.hs, examples.hs/qsort/Makefile:
	bottom-up fix-point for quicksort

2003-07-31  Razvan Musaloiu-E.  <raz@athos>

	* src.hs/Omega_parser.y: parse complex forms like: expr, expr <= expr

	* src.hs/Omega_lexer.hs:
	'_' is a valid variable name; add &, |, and, or

	* src.hs/Omega.hs:
	Omega_stub.relation_setup_names in relation_extract_rformula

	* examples.hs/myexample/Makefile, examples.hs/happy/Makefile, examples.hs/example2/Makefile, examples.hs/example1/Makefile, examples.hs/example/Makefile:
	template based

	* examples.hs/append/Main.hs, examples.hs/append/Makefile:
	more generic approach

2003-07-29  Razvan Musaloiu-E.  <raz@athos>

	* ChangeLog: regular update

	* examples.hs/append/Main.hs: rewrite using the new parsing features

	* src.hs/Omega_parser.y:
	remove Eq, Geq, Leq; add TokenGT, TokenLT and q,qa

	* src.hs/Omega_lexer.hs: scan for TokenGT and TokenLT

	* src.hs/Omega_tokens.hs: add TokenGT and TokenLT

	* src.hs/Omega_types.hs: enhance to "show Coef" and eval_RFormula

2003-07-28  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* ChangeLog: regular update

	* examples.hs/append/Main.hs: rewrite using the new functions

	* src.hs/Omega_parser.y:
	move exists and forall from Formulas to Formula; Vars small update

	* examples.hs/happy/Main.hs, examples.hs/happy/Makefile, examples.hs/happy/Omega_lexer.hs, examples.hs/happy/Omega_parser.y, examples.hs/happy/Omega_tokens.hs:
	small enhance

	* src.hs/Omega_types.hs: revert to hand made instances of Show

	* src/omega_stub.cpp, src.hs/Omega_stub.hs:
	add relation_print_to_string

	* src.hs/Omega_parser.y, src.hs/Omega_lexer.hs: lexer -> omega_lexer

	* src.hs/Omega.hs: add relation_extract_rformula

	* include/omega_stub.h: add relation_print_to_string

	* examples.hs/example2/Main.hs: testing some parser settings

	* ChangeLog: regular update

	* src.hs/Makefile, src.hs/Omega_lexer.hs, src.hs/Omega_parser.y, src.hs/Omega_stub.hs, src.hs/Omega_tokens.hs:
	add parser for Omega formulas

	* src.hs/Omega_util.hs: debug function

	* include/util.h: debug macro

	* src/omega_stub.cpp:
	small corretions + add relation_print_outputs_with_subs_to_string

	* include/omega_stub.h: add relation_print_outputs_with_subs_to_string

	* examples.hs/myexample/Main.hs, examples.hs/myexample/Makefile:
	import Omega_types.hs

	* examples.hs/happy/Main.hs, examples.hs/happy/Makefile, examples.hs/happy/Omega_parser.y:
	parser for Omega formulas

	* examples.hs/example2/Main.hs, examples.hs/example2/Makefile:
	example to test printing

	* examples.hs/example1/Main.hs, examples.hs/example1/Makefile, examples.hs/append/Main.hs, examples.hs/append/Makefile:
	import Omega_types.hs

	* src.hs/Omega_types.hs: types from Omega.hs

	* src.hs/Omega.hs:
	remove types (moved to Omega_types); remove previous attempt to explore a Omega formula using iterators

	* Makefile: add make/clean for append, example1, example2, happy

2003-07-26  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* examples.hs/happy/Main.hs, examples.hs/happy/Makefile:
	test program for the new Omega parser + lexer

	* examples.hs/happy/Omega_lexer.hs, examples.hs/happy/Omega_parser.y:
	parser for the future Omega parser

2003-07-23  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* examples.hs/happy/Omega_tokens.hs, examples.hs/happy/Omega_lexer.hs:
	lexer for the future Omega parser

2003-07-22  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* examples.hs/example1/Main.hs: *** empty log message ***

	* src.hs/Makefile, src.hs/Omega.hs, src.hs/Omega_stub.hs, src/Makefile, src/omega_stub.cpp, include/omega_stub.h, include/omega_stub_types.h:
	experimental incomplete suport for query

	* examples.hs/example1/Main.hs, examples.hs/example1/Makefile:
	add examples.hs/example1

2003-07-10  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* ChangeLog: regular update

	* examples.hs/append/Main.hs, examples.hs/append/Makefile:
	fix-point for append

	* include/omega_stub.h: add relation_copy
	add relation_is_set, relation_n_inp, relation_n_out, relation_n_set
	add some unimplemented iterator functions

	* src/omega_stub.cpp: add relation_copy
	add relation_is_set, relation_n_inp, relation_n_out, relation_n_set

	* src.hs/Omega.hs: Arith_minus is now part of the Arith_plus
	add minus_update
	add more instances of Arith_q


2003-07-07  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* ChangeLog: regular update

	* examples.hs/example/Main.hs:
	small on relation_print_with_subs_to_string call

	* src.hs/Omega_stub.hs, include/omega_stub.h, src/omega_stub.cpp:
	add new functions for more printing, simplification and satisfiability, upper and lower bounds, binary relational operators, unary relation operations, hull operation and relational function that return boolean values

	* src.hs/Omega.hs: add a new instance of Arith_plus

2003-07-04  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* src.hs/Omega_stub.hs:
	add more printing and new binary relational operators

	* src.hs/Omega.hs: update build_relation

	* src.hs/Makefile: add GHCFLAGS

	* src/omega_stub.cpp:
	add more printing and new binary relational operators

	* include/omega_stub.h:
	add new prototipes for more printing, simplification and satisfiability, upper and lower bounds, binary relational operators, unary relation operations, hull operation and relational function that return boolean values

	* examples.hs/myexample/Main.hs: change the build_relation definition

2003-07-03  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* examples.hs/example/Main.hs:
	testing relation_print_with_subs_to_string

	* examples/example.c: testing print_with_subs_to_string

	* ChangeLog: late regular update

2003-06-28  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* src.hs/Omega.hs: infix operators; still in progress :-(

2003-06-27  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* Makefile: add clean for examples.hs/myexample

	* Makefile:
	small corrections + add make for examples.hs/example and examples.hs/myexample

2003-06-23  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* src.hs/Omega.hs: a more mature Omega module

	* examples.hs/myexample/Main.hs:
	an example similar with examples/example.c and examples.hs/example but using Omega (not Omega_stub) module

	* ChangeLog: regular update

	* examples.hs/example/Main.hs:
	f_declare -> f_exists_declare; f_or_add_and is now available

	* examples/example.c: f_declare -> f_exists_declare

	* include/omega_stub.h, src/omega_stub.cpp:
	adding f_{or|not|forall|exists}_add_{and|or|not|forall|exists}

	* src.hs/Omega_stub.hs:
	F_And, F_Or, F_Not, F_Forall and F_Exists are (again ;-)) abstract types
	adding f_{or|not|forall|exists}_add_{and|or|not|forall|exists}

2003-06-17  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* examples.hs/example/Main.hs, examples/example.c:
	small mistake corrected in l declaration

	* src.hs/Makefile, src.hs/Omega.hs:
	a first simple version of Omega module

	* examples.hs/myexample/Main.hs, examples.hs/myexample/Makefile:
	An example using the new Omega module

2003-05-26  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* src.hs/Makefile, src.hs/Omega.hs, src.hs/Omega_stub.hs, examples.hs/example/Makefile, examples.hs/example/Main.hs:
	Omega.hs renamed to Omega_stub.hs

	* ChangeLog: regular update

2003-05-26  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* Makefile: '$(MAKE) lib' changed to '$(MAKE) all'

	* src/Makefile: add ../lib/Exit.o to the 'all:'

2003-05-25  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* ChangeLog: regular update

	* Makefile: adding clean for examples.hs/example

	* examples.hs/example/Main.hs, examples.hs/example/Makefile:
	Haskell version for a modified example.c from Omega Library

	* src.hs/Omega.hs:
	major rewriting(weakening) of the system type; the new system type that will be build upon this should correct the problems ignored for now

	* examples/example.c: correcting a small mistake in the zmax constraint

2003-05-16  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* src.hs/Makefile: compiling directly to obj directory

	* src/Makefile: compiling directl to obj directory

	* Makefile.rules:
	upgrading from g++-2.95 to g++-3.2; this was posible because of the recompilation of the omega library with g++-3.2

	* examples/example.c:
	variables created with free_var_decl0 are 'global' for Omega so relation_get_local_global should be used to get a local pointer in a relation

2003-05-12  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* src.hs/Makefile, src.hs/Omega.hs, src.hs/README, src/Makefile, src/omega_stub.cpp, include/omega_stub.h, include/omega_stub_types.h, examples/Makefile, examples/example.c, examples/library_example.c, Makefile, Makefile.rules:
	adding of $Id: ChangeLog,v 1.14 2003-08-19 12:46:26 raz Exp $ to most of the files

	* src.hs/Omega.hs:
	Omega.hs's hierarchy change from classes to data's(after a talk with Dana Xu Na)

	* ChangeLog: ChangeLog update

	* src.hs/Makefile, src.hs/Omega.hs:
	start of Omega library development in Haskell


2003-05-11  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* examples/Makefile, src/Makefile:
	Exit.o is compiled now only by src/Makefile

2003-05-10  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* src/omega_stub.cpp, include/omega_stub.:
	relation_cons{0|1|2} renamed to relation_new{0|1|2} relation_delete added


2003-05-06  Razvan Musaloiu-E.  <raz@soccf-db3-004.ddns.comp.nus.edu.sg>

	* Makefile, Makefile.rules, examples/Makefile, examples/PT-example.c, examples/example.c, examples/library_example.c, include/omega_stub.h, include/omega_stub_types.h, src/Makefile, src/omega_stub.cpp:
	New file.

	* Makefile, Makefile.rules, examples/Makefile, examples/PT-example.c, examples/example.c, examples/library_example.c, include/omega_stub.h, include/omega_stub_types.h, src/Makefile, src/omega_stub.cpp:
	initial files