Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Modernize the README slightly #1543

Merged
merged 4 commits into from
Jul 6, 2023
Merged

Modernize the README slightly #1543

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
597207f
README: Reference version 3 of Cryptol
RyanGlScott Jul 6, 2023
adb73d2
Update some copyright years to 2023
RyanGlScott Jul 6, 2023
593f6b0
README: Acknowledge some additional Cryptol contributors
RyanGlScott Jul 6, 2023
dd01515
cryptol-remote-api: Don't hardcode version number in project description
RyanGlScott Jul 6, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion LICENSE
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Copyright (c) 2013-2020 Galois Inc.
Copyright (c) 2013-2023 Galois Inc.
All rights reserved.

Redistribution and use in source and binary forms, with or without
Expand Down
2 changes: 1 addition & 1 deletion LICENSE.rtf
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
\margl1440\margr1440\vieww12600\viewh7800\viewkind0
\pard\tx720\tx1440\tx2160\tx2880\tx3600\tx4320\tx5040\tx5760\tx6480\tx7200\tx7920\tx8640\pardirnatural

\f0\fs24 \cf0 Copyright (c) 2013-2020 Galois Inc.\
\f0\fs24 \cf0 Copyright (c) 2013-2023 Galois Inc.\
All rights reserved.\
\
Redistribution and use in source and binary forms, with or without\
Expand Down
34 changes: 17 additions & 17 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/GaloisInc/cryptol)


# Cryptol, version 2
# Cryptol, version 3

This version of Cryptol is (C) 2013-2020 Galois, Inc., and
This version of Cryptol is (C) 2013-2023 Galois, Inc., and
distributed under a standard, three-clause BSD license. Please see
the file LICENSE, distributed with this software, for specific
terms and conditions.
Expand All @@ -19,7 +19,7 @@ Unlike current specification mechanisms, Cryptol is fully executable,
allowing designers to experiment with their programs incrementally as
their designs evolve.

This release is an interpreter for version 2 of the Cryptol
This release is an interpreter for version 3 of the Cryptol
language. The interpreter includes a `:check` command, which tests
predicates written in Cryptol against randomly-generated test vectors
(in the style of
Expand Down Expand Up @@ -205,20 +205,20 @@ and by cryptographers to
## Acknowledgements

Cryptol has been under development for over a decade with many people
contributing to its design and implementation. Those people include (but
are not limited to) Aaron Tomb, Adam Foltzer, Adam Wick, Alexander
Bakst, Andrew Kent, Andrei Stefanescu, Andrey Chudnov, Andy Gill,
Benjamin Barenblat, Ben Jones, Ben Selfridge, Brett Boston, Brian
Huffman, Brian Ledger, Chris Phifer, Daniel Wagner, David Thrane
Christiansen, David Lazar, Dylan McNamee, Eddy Westbrook, Edward Yang,
Eric Mertens, Eric Mullen, Fergus Henderson, Iavor Diatchki, Jared
Weakly, Jeff Lewis, Jim Teisher, Joe Hendrix, Joe Hurd, Joe Kiniry, Joel
Stanley, Joey Dodds, John Launchbury, John Matthews, Jonathan Daugherty,
Kenneth Foner, Kevin Quick, Kyle Carter, Ledah Casburn, Lee Pike, Levent
Erkök, Lisanna Dettwyler, Magnus Carlsson, Mark Shields, Mark Tullsen,
Matt Sottile, Nathan Collins, Philip Weaver, Robert Dockins, Ryan Scott,
Sally Browning, Sam Anklesaria, Sigbjørn Finne, Stephen Magill, Thomas
Nordin, Trevor Elliott, and Tristan Ravitch.
contributing to its design and implementation. Those people include (but are
not limited to) Aaron Tomb, Adam Foltzer, Adam Wick, Alexander Bakst, Andrew
Kent, Andrei Stefanescu, Andrey Chudnov, Andy Gill, Benjamin Barenblat, Ben
Jones, Ben Selfridge, Brett Boston, Bretton Chen, Brian Huffman, Brian Ledger,
Chris Phifer, Daniel Wagner, David Thrane Christiansen, David Lazar, Dylan
McNamee, Eddy Westbrook, Edward Yang, Eric Mertens, Eric Mullen, Fergus
Henderson, Hazel Weakly, Henry Blanchette, Iavor Diatchki, Jeff Lewis, Jim
Teisher, Joe Hendrix, Joe Hurd, Joe Kiniry, Joel Stanley, Joey Dodds, John
Launchbury, John Matthews, Jonathan Daugherty, Kenneth Foner, Kevin Quick, Kyle
Carter, Ledah Casburn, Lee Pike, Levent Erkök, Lisanna Dettwyler, Magnus
Carlsson, Mark Shields, Mark Tullsen, Matt Sottile, Matthew Yacavone, Nathan
Collins, Philip Weaver, Robert Dockins, Ryan Scott, Sally Browning, Sam
Anklesaria, Sigbjørn Finne, Stephen Magill, Thomas Nordin, Trevor Elliott, and
Tristan Ravitch.

Much of the work on Cryptol has been funded by, and lots of design input
was provided by, the team at the [NSA's Laboratory for Advanced Cybersecurity
Expand Down
2 changes: 1 addition & 1 deletion cryptol-remote-api/python/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ name = "cryptol"
version = "3.0.0.99"
readme = "README.md"
keywords = ["cryptography", "verification"]
description = "Cryptol client for the Cryptol 2.13 RPC server"
description = "Cryptol client for the Cryptol RPC server"
authors = ["Galois, Inc. <cryptol-team@galois.com>"]

license = "BSD License"
Expand Down