Sophietje · Sophietje · Mar 30, 2023 · Apr 10, 2023
diff --git a/Tools/2LS.md b/Tools/2LS.md
@@ -36,8 +36,7 @@ Model checker?? / Program analyser
 Repository: https://github.com/diffblue/2LS
 
 #### Last commit date:
-17 Nov 2022 (default branch)
-21 Nov 2022 (last activity)
+25 Jan 2023 (last activity)
 
 #### Last publication date:
 14 April 2018

diff --git a/Tools/ACL2.md b/Tools/ACL2.md
@@ -34,9 +34,8 @@ Related repository, seems to be where the ACL2 system authors develop ACL2: http
 Try ACL2 online: https://new.proofpad.org/
 
 #### Last commit date:
-acl2/acl2: 03 Dec 2022 (default branch)
-acl2-devel/acl2-devel: 20 Jul 2022 (default branch)
-03 Dec 2022 (last activity)
+acl2/acl2: 10 Apr 2023 (last activity)
+acl2-devel/acl2-devel: 23 Jul 2022 (last activity)
 
 #### Last publication date:
 2014

diff --git a/Tools/ADAC.md b/Tools/ADAC.md
@@ -33,7 +33,6 @@ Uses [[Yosys]], [[iprove]], [MiniSat](Solvers/SAT/MiniSat.md).
 https://github.com/imatyas/ADAC (this is linked in the paper but it contains very little useful information)
 
 #### Last commit date:
-02 Feb 2018 (default branch)
 02 Feb 2018 (last activity)
 
 #### Last publication date:

diff --git a/Tools/AEON.md b/Tools/AEON.md
@@ -35,9 +35,8 @@ Client: https://github.com/sybila/biodivine-aeon-client
 Compute engine/server: https://github.com/sybila/biodivine-aeon-server
 
 #### Last commit date:
-sybila/biodivine-aeon-server: 19 May 2022 (default branch)
-sybila/biodivine-aeon-client: 25 Apr 2022 (default branch)
-11 Oct 2022 (last activity)
+sybila/biodivine-aeon-server: 07 Dec 2022 (last activity)
+sybila/biodivine-aeon-client: 06 Feb 2023 (last activity)
 
 #### Last publication date:
 24 July 2020

diff --git a/Tools/AIGEN.md b/Tools/AIGEN.md
@@ -35,7 +35,6 @@ Uses [ABC](Frameworks/ABC.md), [AIGER](../Formats/AIGER.md)
 Repository: https://github.com/mhdsakr/AIGEN-Tool
 
 #### Last commit date:
-02 Jun 2021 (default branch)
 02 Jun 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/AMUSIC.md b/Tools/AMUSIC.md
@@ -29,7 +29,6 @@ Tool for approximate counting of minimal unsatisfiable subsets of a given Boolea
 https://github.com/jar-ben/amusic
 
 #### Last commit date:
-22 Dec 2021 (default branch)
 22 Dec 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/APOET.md b/Tools/APOET.md
@@ -31,9 +31,7 @@ Repository (CAV '17 release): https://github.com/marcelosousa/poet/tree/RELEASE-
 Repository (of [POET](POET.md)): https://github.com/marcelosousa/poet
 
 #### Last commit date:
-marcelosousa/poet: 19 Oct 2018 (default branch)
-marcelosousa/poet: 19 Oct 2018 (default branch)
-19 Oct 2018 (last activity)
+marcelosousa/poet: 19 Oct 2018 (last activity)
 
 #### Last publication date:
 13 July 2017

diff --git a/Tools/AProVE.md b/Tools/AProVE.md
@@ -31,8 +31,7 @@ Repository (only has releases, not the code): https://github.com/aprove-develope
 Project page: http://aprove.informatik.rwth-aachen.de/
 
 #### Last commit date:
-30 Nov 2022 (default branch)
-30 Nov 2022 (last activity)
+04 Mar 2023 (last activity)
 
 #### Last publication date:
 August 2017

diff --git a/Tools/ATHOS.md b/Tools/ATHOS.md
@@ -36,7 +36,6 @@ The Github repository contains examples of configuration files and protocols.
 https://github.com/alexandrumc/async-to-sync-translation
 
 #### Last commit date:
-27 Jun 2019 (default branch)
 28 Apr 2020 (last activity)
 
 #### Last publication date:

diff --git a/Tools/ATLAS(2).md b/Tools/ATLAS(2).md
@@ -34,8 +34,7 @@ Uses [Z3](Solvers/SMT/Z3.md)
 Repository: https://github.com/lorenzleutgeb/atlas/
 
 #### Last commit date:
-03 Nov 2022 (default branch)
-15 Nov 2022 (last activity)
+02 Mar 2023 (last activity)
 
 #### Last publication date:
 6 August 2022

diff --git a/Tools/Alive2.md b/Tools/Alive2.md
@@ -47,8 +47,7 @@ Repository: https://github.com/AliveToolkit/alive2
 Online version of `alice-tv` tool: https://alive2.llvm.org/ce/
 
 #### Last commit date:
-03 Dec 2022 (default branch)
-03 Dec 2022 (last activity)
+19 Mar 2023 (last activity)
 
 #### Last publication date:
 15 July 2021

diff --git a/Tools/AliveInLean.md b/Tools/AliveInLean.md
@@ -37,7 +37,6 @@ https://sf.snu.ac.kr/aliveinlean/
 https://github.com/microsoft/aliveinlean
 
 #### Last commit date:
-13 Aug 2022 (default branch)
 13 Aug 2022 (last activity)
 
 #### Last publication date:

diff --git a/Tools/AllRepair.md b/Tools/AllRepair.md
@@ -29,7 +29,6 @@ The proposed repairs are minimal in the number of changes applied to the program
 https://github.com/batchenRothenberg/AllRepair
 
 #### Last commit date:
-08 Mar 2021 (default branch)
 08 Mar 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Alloy.md b/Tools/Alloy.md
@@ -7,8 +7,7 @@ Project page: https://alloytools.org/
 Repository: https://github.com/AlloyTools/org.alloytools.alloy
 
 #### Last commit date:
-04 Nov 2022 (default branch)
-04 Nov 2022 (last activity)
+28 Mar 2023 (last activity)
 
 #### Meta
 :: Framework

diff --git a/Tools/BINSEC-RSE.md b/Tools/BINSEC-RSE.md
@@ -33,7 +33,6 @@ Artifact for CAV '21 paper: https://github.com/binsec/cav2021-artifacts
 Artifact for CAV '21 paper on Zenodo: https://zenodo.org/record/4721753
 
 #### Last commit date:
-26 Apr 2021 (default branch)
 26 Apr 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/BINSEC.md b/Tools/BINSEC.md
@@ -36,8 +36,7 @@ Reference manual: https://github.com/binsec/binsec/blob/master/doc/sse/reference
 Project page: https://binsec.github.io/
 
 #### Last commit date:
-09 Nov 2022 (default branch)
-09 Nov 2022 (last activity)
+14 Feb 2023 (last activity)
 
 #### Last publication date:
 

diff --git a/Tools/Batfish.md b/Tools/Batfish.md
@@ -40,8 +40,7 @@ https://www.batfish.org/
 https://github.com/batfish/batfish
 
 #### Last commit date:
-03 Dec 2022 (default branch)
-03 Dec 2022 (last activity)
+08 Apr 2023 (last activity)
 
 #### Last publication date:
 2015

diff --git a/Tools/CLEAR.md b/Tools/CLEAR.md
@@ -33,7 +33,6 @@ Debugging tool
 https://github.com/gbarbon/clear/
 
 #### Last commit date:
-21 Nov 2018 (default branch)
 21 Nov 2018 (last activity)
 
 #### Last publication date:

diff --git a/Tools/COASTAL.md b/Tools/COASTAL.md
@@ -33,7 +33,6 @@ Repository: https://github.com/DeepseaPlatform/coastal/
 Project page: https://deepseaplatform.github.io/coastal/ (Note: this website seems to be unfinished)
 
 #### Last commit date:
-18 Sep 2022 (default branch)
 18 Sep 2022 (last activity)
 
 #### Last publication date:

diff --git a/Tools/COLA.md b/Tools/COLA.md
@@ -1,4 +1,3 @@
-
 #### Name:
 COLA
 
@@ -36,6 +35,7 @@ COLA supports the following operations on Büchi automata:
 
 #### Last commit date:
 21 June 2022
+15 Jul 2022 (last activity)
 
 #### Last publication date:
 6 August 2022
@@ -48,4 +48,4 @@ Compared to (in CAV '22 paper): [Spot](../../Tools/Frameworks/Spot.md), [Owl](..
 
 #### Meta
 :: Automaton
-:: PV1 :: computes complementation, determinization and containment for Büchi automaton
+:: PV1 :: computes complementation, determinization and containment for Büchi automaton
diff --git a/Tools/CabPy.md b/Tools/CabPy.md
@@ -39,7 +39,6 @@ License: MIT License
 Repository: https://github.com/reactive-systems/cabpy
 
 #### Last commit date:
-28 May 2021 (default branch)
 28 May 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Cameleer.md b/Tools/Cameleer.md
@@ -34,8 +34,7 @@ Repository: https://github.com/ocaml-gospel/cameleer
 Artifact for CAV '21 paper: https://zenodo.org/record/4724119
 
 #### Last commit date:
-05 Sep 2022 (default branch)
-01 Dec 2022 (last activity)
+23 Jan 2023 (last activity)
 
 #### Last publication date:
 15 July 2021

diff --git a/Tools/Cervino.md b/Tools/Cervino.md
@@ -33,7 +33,6 @@ Artifact for CAV '21 paper: https://zenodo.org/record/4893262
 Repository: https://github.com/grayswandyr/cervino
 
 #### Last commit date:
-02 Jun 2021 (default branch)
 28 Oct 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/AGREE.md b/Tools/Checkers/AGREE.md
@@ -32,7 +32,6 @@ Project page: http://loonwerks.com/tools/agree.html
 Repository: https://github.com/loonwerks/AGREE
 
 #### Last commit date:
-29 Sep 2022 (default branch)
 29 Sep 2022 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/AdamMC.md b/Tools/Checkers/AdamMC.md
@@ -41,7 +41,6 @@ https://github.com/adamtool/adammc
 https://figshare.com/articles/code/AdamMC_A_Model_Checker_for_Petri_Nets_with_Transits_against_Flow-LTL_Artifact_/11676171
 
 #### Last commit date:
-31 Oct 2021 (default branch)
 31 Oct 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/Attestor.md b/Tools/Checkers/Attestor.md
@@ -39,7 +39,6 @@ https://moves-rwth.github.io/attestor/
 Examples: https://github.com/moves-rwth/attestor-examples
 
 #### Last commit date:
-17 Dec 2021 (default branch)
 17 Dec 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/BtorMC.md b/Tools/Checkers/BtorMC.md
@@ -31,7 +31,6 @@ It is called a 'reference' bounded model checker in the paper.
 Seems to be included in the [Boolector](../Solvers/SMT/Boolector.md) repository: https://github.com/Boolector/boolector/tree/ad16fd1b47fdce57cc55ca5f1b2f4f7c95b2f631
 
 #### Last commit date:
-11 Oct 2022 (last activity)
 
 #### Last publication date:
 18 July 2018

diff --git a/Tools/Checkers/CBMC.md b/Tools/Checkers/CBMC.md
@@ -37,8 +37,7 @@ Repository: https://github.com/diffblue/cbmc
 Project page: https://www.cprover.org/cbmc/
 
 #### Last commit date:
-02 Dec 2022 (default branch)
-02 Dec 2022 (last activity)
+09 Apr 2023 (last activity)
 
 #### Last publication date:
 18 July 2018

diff --git a/Tools/Checkers/CPAchecker.md b/Tools/Checkers/CPAchecker.md
@@ -43,8 +43,7 @@ Repository (mirror): https://github.com/sosy-lab/cpachecker
 Repository: https://svn.sosy-lab.org/software/cpachecker/trunk/
 
 #### Last commit date:
-02 Dec 2022 (default branch)
-02 Dec 2022 (last activity)
+23 Mar 2023 (last activity)
 
 #### Last publication date:
 November 2020

diff --git a/Tools/Checkers/DPU.md b/Tools/Checkers/DPU.md
@@ -27,7 +27,6 @@ Stateless model checker for C programs with POSIX threading
 Repository: https://github.com/cesaro/dpu
 
 #### Last commit date:
-18 Mar 2018 (default branch)
 07 Feb 2020 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/Dartagnan.md b/Tools/Checkers/Dartagnan.md
@@ -31,8 +31,7 @@ Uses [Z3](../Solvers/SMT/Z3.md).
 Repository (also contains another tool): https://github.com/hernanponcedeleon/Dat3M
 
 #### Last commit date:
-30 Nov 2022 (default branch)
-02 Dec 2022 (last activity)
+30 Mar 2023 (last activity)
 
 #### Last publication date:
 23 March 2021

diff --git a/Tools/Checkers/DepthK.md b/Tools/Checkers/DepthK.md
@@ -36,7 +36,6 @@ Uses [CPAchecker](CPAchecker.md), [Ultimate Automizer](../Ultimate%20Automizer.m
 Repository: https://github.com/hbgit/depthk/
 
 #### Last commit date:
-09 Jan 2019 (default branch)
 20 Apr 2020 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/Electrum Analyzer.md b/Tools/Checkers/Electrum Analyzer.md
@@ -41,15 +41,14 @@ Electrum examples: https://github.com/haslab/Electrum/wiki/Examples
 Project page: https://haslab.github.io/Electrum/
 
 #### Last commit date:
-haslab/Electrum: 08 Oct 2019 (default branch)
-haslab/Electrum2: 21 Apr 2021 (default branch)
-13 Sep 2021 (last activity)
+haslab/Electrum: 06 Jul 2021 (last activity)
+haslab/Electrum2: 30 Jan 2023 (last activity)
 
 #### Last publication date:
 3 September 2018
 
 #### List of related papers:
-https://doi.org/10.1145/3238147.3240475 (ASE '18)
+[The electrum analyzer: model checking relational first-order temporal specifications](https://doi.org/10.1145/3238147.3240475) (ASE '18)
 
 #### Related tools (tools mentioned or compared to in the paper):
 

diff --git a/Tools/Checkers/FOADA.md b/Tools/Checkers/FOADA.md
@@ -27,7 +27,6 @@ Uses [Z3](Tools/Solvers/SMT/Z3.md), [JavaSMT](Tools/Libraries/JavaSMT.md)
 Repository: https://github.com/cathiec/FOADA
 
 #### Last commit date:
-16 Feb 2020 (default branch)
 16 Feb 2020 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/GenMC.md b/Tools/Checkers/GenMC.md
@@ -42,8 +42,7 @@ Project page: https://plv.mpi-sws.org/genmc/
 Repository: https://github.com/mpi-sws/genmc/
 
 #### Last commit date:
-22 Feb 2022 (default branch)
-22 Feb 2022 (last activity)
+26 Dec 2022 (last activity)
 
 #### Last publication date:
 15 July 2021

diff --git a/Tools/Checkers/JBMC.md b/Tools/Checkers/JBMC.md
@@ -38,8 +38,6 @@ Project page: https://www.cprover.org/jbmc/
 Repository: https://github.com/diffblue/cbmc/tree/develop/jbmc (located in the [CBMC](CBMC.md) repository)
 
 #### Last commit date:
-02 Dec 2022 (default branch)
-02 Dec 2022 (last activity)
 
 #### Last publication date:
 4 April 2019

diff --git a/Tools/Checkers/JKind.md b/Tools/Checkers/JKind.md
@@ -39,7 +39,6 @@ Repository: https://github.com/loonwerks/jkind
 Project page: https://loonwerks.com/tools/jkind.html
 
 #### Last commit date:
-30 Sep 2022 (default branch)
 30 Sep 2022 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/JPF.md b/Tools/Checkers/JPF.md
@@ -37,8 +37,7 @@ Repository: https://github.com/javapathfinder/jpf-core
 Wiki: https://github.com/javapathfinder/jpf-core/wiki
 
 #### Last commit date:
-03 Sep 2022 (default branch)
-03 Sep 2022 (last activity)
+28 Mar 2023 (last activity)
 
 #### Last publication date:
 4 April 2019

diff --git a/Tools/Checkers/JayHorn.md b/Tools/Checkers/JayHorn.md
@@ -36,7 +36,6 @@ Repository: https://github.com/jayhorn/jayhorn
 Project page: https://jayhorn.github.io/jayhorn/
 
 #### Last commit date:
-27 May 2021 (default branch)
 14 Dec 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/KIPRO2.md b/Tools/Checkers/KIPRO2.md
@@ -38,7 +38,6 @@ License: Apache-2.0 license
 Repository: https://github.com/moves-rwth/kipro2
 
 #### Last commit date:
-29 Jul 2021 (default branch)
 29 Jul 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/LLMC.md b/Tools/Checkers/LLMC.md
@@ -33,7 +33,6 @@ License: GNU General Public License 3.0
 Repository: https://github.com/bergfi/llmc
 
 #### Last commit date:
-01 Jun 2021 (default branch)
 01 Jun 2021 (last activity)
 
 #### Last publication date:

diff --git a/Tools/Checkers/MCHyper.md b/Tools/Checkers/MCHyper.md
@@ -39,7 +39,6 @@ Project page: https://www.react.uni-saarland.de/tools/mchyper/
 Repository: https://github.com/reactive-systems/MCHyper
 
 #### Last commit date:
-28 May 2021 (default branch)
 28 May 2021 (last activity)
 
 #### Last publication date: