Commit d61af8ba authored by Etienne Renault's avatar Etienne Renault
Browse files

licence: fix typo

* Makefile,
benchs/RERS/rers2go.sh,
benchs/run-benchmark.sh,
boilerplate/Makefile,
boilerplate/go2pins.c,
boilerplate/go2pins.h,
boilerplate/main.go,
cspinfo/channel.go,
cspinfo/goroutine.go,
decl/decl.go,
main.go,
tests/array.go,
tests/concurrent_fibonacci.go,
tests/digit_count.go,
tests/emptycall.go,
tests/facto.go,
tests/fibonacci.go,
tests/if.go,
tests/mywhile.go,
tests/passes/channels.go,
tests/passes/funcIntArrayArgs.go,
tests/passes/goroutineOutsideMain.go,
tests/passes/interface.go,
tests/passes/map.go,
tests/passes/notint.go,
tests/passes/panic.go,
tests/passes/pointer.go,
tests/passes/select.go,
tests/passes/slices.go,
tests/passes/struct.go,
tests/passes/switch.go,
tests/passes/variablename.go,
tests/prod_cons_simp.go,
tests/recursion/multirec.go,
tests/recursion/rec_facto.go,
tests/run.sh,
tools/blackbox.go,
tools/callgraph.go,
tools/extract_goroutines/main.go,
tools/formating.go,
tools/print_ast.go,
tools/recursion.go,
transform/afterchannels.go,
transform/alive.go,
transform/arithmeticcall.go,
transform/arraytreatment.go,
transform/cfg/build.go,
transform/cfg/eliminatecallexprstmt.go,
transform/cfg/functioncalls.go,
transform/cfg/linkresults.go,
transform/cfg/transform.go,
transform/cfg/types.go,
transform/channels.go,
transform/checktype.go,
transform/conditionnalccall.go,
transform/elsefull.go,
transform/format.go,
transform/functiondefs.go,
transform/goroutine.go,
transform/injectdecls.go,
transform/localvariableassignments.go,
transform/meta.go,
transform/normalizedeclarations.go,
transform/regularizedaffect.go,
transform/routineassignments.go,
transform/routinecounter.go,
transform/util.go,
transform/visitor.go: Here.
parent 586fc780
Pipeline #16187 failed with stage
in 23 seconds
......@@ -3,12 +3,12 @@
#
# This file is part of Go2Pins, a tool for Golang model-checking
#
# Spot is free software; you can redistribute it and/or modify it
# Go2Pins is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# Spot is distributed in the hope that it will be useful, but WITHOUT
# Go2Pins is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
# or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
# License for more details.
......
......@@ -3,12 +3,12 @@
#
# This file is part of Go2Pins, a tool for Golang model-checking
#
# Spot is free software; you can redistribute it and/or modify it
# Go2Pins is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# Spot is distributed in the hope that it will be useful, but WITHOUT
# Go2Pins is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
# or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
# License for more details.
......
......@@ -3,12 +3,12 @@
#
# This file is part of Go2Pins, a tool for Golang model-checking
#
# Spot is free software; you can redistribute it and/or modify it
# Go2Pins is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# Spot is distributed in the hope that it will be useful, but WITHOUT
# Go2Pins is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
# or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
# License for more details.
......
......@@ -3,12 +3,12 @@
#
# This file is part of Go2Pins, a tool for Golang model-checking
#
# Spot is free software; you can redistribute it and/or modify it
# Go2Pins is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# Spot is distributed in the hope that it will be useful, but WITHOUT
# Go2Pins is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
# or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
# License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
......@@ -3,12 +3,12 @@
//
// This file is part of Go2Pins, a tool for Golang model-checking
//
// Spot is free software; you can redistribute it and/or modify it
// Go2Pins is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// Go2Pins is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more details.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment