Skip to content

Commit 26bd829

Browse files
robby-phdrobby-phd
committed
Updated copyright years.
1 parent e497d12 commit 26bd829

File tree

157 files changed

+157
-157
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

157 files changed

+157
-157
lines changed

‎library/jvm/src/main/scala/org/sireum/Asm.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// #Sireum
22
/*
3-
Copyright (c) 2017-2025, Robby, Kansas State University
3+
Copyright (c) 2017-2026,Robby, Kansas State University
44
All rights reserved.
55
66
Redistribution and use in source and binary forms, with or without

‎library/jvm/src/main/scala/org/sireum/Asm_Ext.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
Copyright (c) 2017-2025, Robby, Kansas State University
2+
Copyright (c) 2017-2026,Robby, Kansas State University
33
All rights reserved.
44
55
Redistribution and use in source and binary forms, with or without

‎library/jvm/src/main/scala/org/sireum/Coursier.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// #Sireum
22
/*
3-
Copyright (c) 2017-2025, Robby, Kansas State University
3+
Copyright (c) 2017-2026,Robby, Kansas State University
44
All rights reserved.
55
66
Redistribution and use in source and binary forms, with or without

‎library/jvm/src/main/scala/org/sireum/GitHub.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// #Sireum
22
/*
3-
Copyright (c) 2017-2025, Robby, Kansas State University
3+
Copyright (c) 2017-2026,Robby, Kansas State University
44
All rights reserved.
55
66
Redistribution and use in source and binary forms, with or without

‎library/jvm/src/main/scala/org/sireum/GitHub_Ext.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
Copyright (c) 2017-2025, Robby, Kansas State University
2+
Copyright (c) 2017-2026,Robby, Kansas State University
33
All rights reserved.
44
55
Redistribution and use in source and binary forms, with or without

‎library/jvm/src/main/scala/org/sireum/Init.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// #Sireum
22
/*
3-
Copyright (c) 2017-2025, Robby, Kansas State University
3+
Copyright (c) 2017-2026,Robby, Kansas State University
44
All rights reserved.
55
66
Redistribution and use in source and binary forms, with or without

‎library/jvm/src/main/scala/org/sireum/LibJvmUtil.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// #Sireum
22
/*
3-
Copyright (c) 2017-2025, Robby, Kansas State University
3+
Copyright (c) 2017-2026,Robby, Kansas State University
44
∀ rights reserved.
55
66
Redistribution and use in source and binary forms, with or without

‎library/jvm/src/main/scala/org/sireum/LibJvmUtil_Ext.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
Copyright (c) 2017-2025, Robby, Kansas State University
2+
Copyright (c) 2017-2026,Robby, Kansas State University
33
All rights reserved.
44
Redistribution and use in source and binary forms, with or without
55
modification, are permitted provided that the following conditions are met:

‎library/jvm/src/main/scala/org/sireum/Os.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// #Sireum
22
/*
3-
Copyright (c) 2017-2025, Robby, Kansas State University
3+
Copyright (c) 2017-2026,Robby, Kansas State University
44
All rights reserved.
55
66
Redistribution and use in source and binary forms, with or without

‎library/jvm/src/main/scala/org/sireum/Os_Ext.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
Copyright (c) 2017-2025, Robby, Kansas State University
2+
Copyright (c) 2017-2026,Robby, Kansas State University
33
All rights reserved.
44
55
Redistribution and use in source and binary forms, with or without

0 commit comments

Comments
 (0)