Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.circleci
Removing autogenerated .bsp from repo
November 10, 2021 23:27
.github/workflows
Fixed test.yml.
October 26, 2022 11:53
.run
Output error if wrong AFP version is configured.
October 24, 2022 16:01
bin
In bin/qrhl (when running from repo): Removed setsid wrapper arou…
November 29, 2022 00:37
doc
Removed "prototype" sentence from manual.
September 22, 2023 21:05
examples
Finished the axioms schema generation for transform unrolled.
March 10, 2023 11:08
hashedcomputation/src
Compilation error fixed (macro was accessed in defining package).
October 19, 2022 18:18
isabelle-thys
Updated Tensor_Product and scala-isabelle.
July 27, 2023 11:50
project
Updated some sbt-plugins; created sbt-merge strategy for `module-info…
November 29, 2022 00:36
proofgeneral @ a5f0c4b
Updated proofgeneral and scala-isabelle.
September 21, 2023 18:44
scala-isabelle @ 1e7cad0
Updated proofgeneral and scala-isabelle.
September 21, 2023 18:44
src
Updated AFP hashes
September 21, 2023 19:25
.dockerignore
Docker image generation
March 15, 2022 11:16
.gitattributes
Ensuring that ROOTS-files are checked out without crlf in Windows
May 9, 2020 16:14
.gitignore
.gitignore
July 17, 2023 11:33
.gitlab-ci.yml
Removed teleport*.qrhl from test in gitlab-ci
June 9, 2019 11:59
.gitmodules
Put proofgeneral configuration into forked proofgeneral repo.
January 30, 2021 18:10
.jvmopts
Circle CI: Added MacOS support (and partially implemented Windows sup…
November 8, 2020 03:34
Empty.thy
Finished O2H tactic.
April 22, 2019 02:07
LICENSE
Started updating Isabelle version to Isabelle2020.
October 20, 2020 11:54
Makefile
Makefile: Improved view-test-results, updated milestone.
September 19, 2022 12:17
README.md
Addded funding info to README
February 4, 2022 15:26
ROOTS
Upgraded to Isabelle2018-RC2
July 24, 2018 17:28
build.sbt
Edited release instructions.
September 22, 2023 19:33
build.sh
Updated bounded operators.
November 25, 2020 14:46
isabelle.ps1
Changed run-isabelle -> isabelle.
October 23, 2022 13:10
isabelle.sh
Changed run-isabelle -> isabelle.
October 23, 2022 13:10
proofgeneral.ps1
Proof general start scripts: They don't skip default Emacs config any…
September 29, 2022 19:21
proofgeneral.sh
Fixed bash syntax in proofgeneral.sh.
October 17, 2022 16:15
qrhl-tool.conf.sample
Updated to Isabelle2023-RC1.
July 12, 2023 16:46
test.sh
Updated to Isabelle2021-1-RC3.
November 12, 2021 23:58