9 Commits (152903e7dfd240a237230d14263c8c5cfbab8c2a)

Author	SHA1	Message	Date
Salvatore Filippone	152903e7df	Fix PREFIX in precdescr	3 years ago
Cirdans-Home	816c59d994	added use parmatch aggregator	4 years ago
Salvatore Filippone	ddbe050c1a	Fix copyright statement and example programs	4 years ago
Salvatore Filippone	6541e3a95c	Change interface to descr with verbosity level	4 years ago
Salvatore Filippone	788211c794	Fixes for support to remapping after merging new context. Needs more testing.	4 years ago
Salvatore Filippone	e500a8a5b5	Factored level%map_rstr and level%map_prol.	4 years ago
Salvatore Filippone	9e3eb0fdeb	Renaming level%linmap and methods.	4 years ago
Salvatore Filippone	0ebf9f1d1c	Setup infrastructure for REMAP	4 years ago
Salvatore Filippone	d4b443d832	Rename directories, fix Makefiles	4 years ago