Skip to content

Commit

Permalink
Update file headers
Browse files Browse the repository at this point in the history
  • Loading branch information
@thpani
thpani committed Oct 20, 2023
1 parent 19f877b commit cd6983e
Show file tree
Hide file tree
Showing 68 changed files with 204 additions and 204 deletions.
6 changes: 3 additions & 3 deletions quint/src/ErrorMessage.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/FreshVarGenerator.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/builtin.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/docs.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/EffectVisitor.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/MultipleUpdatesChecker.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/ToEffectVisitor.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/base.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/builtinSignatures.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/inferrer.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/modeChecker.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/parser.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/printing.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/simplification.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/effects/substitutions.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/errorReporter.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/errorTree.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/flattening/flattener.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/flattening/fullFlattener.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/flattening/instanceFlattener.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/graphics.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@
*
* Igor Konnov, 2023
*
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
*/

import chalk from 'chalk'
Expand Down
6 changes: 3 additions & 3 deletions quint/src/idGenerator.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@
*
* Igor Konnov, 2023
*
* Copyright (c) Informal Systems 2021. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2021 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
*/

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/ir/IRFinder.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/ir/IRTransformer.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/ir/IRVisitor.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/ir/IRprinting.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/ir/idRefresher.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/ir/namespacer.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/ir/quintIr.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,9 @@
*
* Igor Konnov, Gabriela Moreira, Shon Feder, 2021-2023
*
* Copyright (c) Informal Systems 2021-2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2021-2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
*/

import { QuintType } from './quintTypes'
Expand Down
6 changes: 3 additions & 3 deletions quint/src/ir/quintTypes.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2021-2022. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2021-2022 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

import { IRVisitor, walkType } from './IRVisitor'
Expand Down
6 changes: 3 additions & 3 deletions quint/src/itf.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,9 +4,9 @@
*
* Igor Konnov, Shon Feder, Informal Systems, 2023
*
* Copyright (c) Informal Systems 2021. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2021 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
*/

import { Either, left, merge, right } from '@sweet-monads/either'
Expand Down
6 changes: 3 additions & 3 deletions quint/src/names/base.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022-2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022-2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/names/collector.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022-2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022-2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/names/importErrors.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022-2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022-2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
6 changes: 3 additions & 3 deletions quint/src/names/resolver.ts
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ----------------------------------------------------------------------------------
* Copyright (c) Informal Systems 2022-2023. All rights reserved.
* Licensed under the Apache 2.0.
* See License.txt in the project root for license information.
* Copyright 2022-2023 Informal Systems
* Licensed under the Apache License, Version 2.0.
* See LICENSE in the project root for license information.
* --------------------------------------------------------------------------------- */

/**
Expand Down
Loading

0 comments on commit cd6983e

Please sign in to comment.