-
Etienne Kneuss authored
- NormalizationRule becomes priorities, so that we can have multiple distinct layers - Use the @library annotation, move synthesis stuff to synthesis, Oracles. - Make sure tests use PreprocessingPhase and import synthesis when adequate - Extract proper package objects fix patternRecons and simplifiers - Reorganize library: - leon.{choose,???} -> leon.lang.synthesis - leon.{waypoint,epsilon} -> leon.lang.xlangEtienne Kneuss authored- NormalizationRule becomes priorities, so that we can have multiple distinct layers - Use the @library annotation, move synthesis stuff to synthesis, Oracles. - Make sure tests use PreprocessingPhase and import synthesis when adequate - Extract proper package objects fix patternRecons and simplifiers - Reorganize library: - leon.{choose,???} -> leon.lang.synthesis - leon.{waypoint,epsilon} -> leon.lang.xlang
applyLicense.sh 472 B
printf "/* Copyright 2009-2014 EPFL, Lausanne */\n\n" > /tmp/Leon-license
for f in $(find {src,library} -name "*.java" -o -name "*.scala") ;do
if [ -f $f ]; then
cat "/tmp/Leon-license" > /tmp/newfile
if grep -Fq "EPFL, Lausanne" "$f";
then
tail -n +3 $f >> /tmp/newfile
else
cat $f >> /tmp/newfile
fi
if ! cmp --silent /tmp/newfile "$f"; then
echo $f
mv /tmp/newfile "$f"
fi
fi
done