Skip to content

Activity

Showing most recent first

Fix AxiomKeyInstantiationTest

EnguerrandPrebetpushed 20 commits to master • 1b60cec…ded9dfd • 
on Sep 24, 2024

Fix url typo

EnguerrandPrebetpushed 46 commits to master • e4bcc58…1b60cec • 
on Aug 30, 2024

Bump version number to 5.1.1

EnguerrandPrebetpushed 63 commits to master • 822bbb2…e4bcc58 • 
on Aug 13, 2024

Update js parser to dRL

EnguerrandPrebetpushed 2 commits to dRL • e24b667…0566efc • 
on Jul 5, 2024

Add panel selection for dRL tactics

Force push
EnguerrandPrebetforce pushed to dRL • f50995c…e24b667 • 
on Jul 4, 2024

Deleted tag

EnguerrandPrebetdeleted refs/tags/5.1.1 • 
on Jul 1, 2024

Bump version number to 5.1.1

EnguerrandPrebetpushed 1 commit to 5.x • 1196e82…8f87576 • 
on Jul 1, 2024

Fix update checker

EnguerrandPrebetpushed 1 commit to 5.x • 6514b77…1196e82 • 
on Jul 1, 2024

Deleted tag

EnguerrandPrebetdeleted refs/tags/5.1.0 • 
on Jun 26, 2024

Bump version number to 5.1.0

EnguerrandPrebetpushed 2 commits to 5.x • b402255…6514b77 • 
on Jun 26, 2024

Tweak autodetect button labels

EnguerrandPrebetcreated 5.x • b402255 • 
on Jun 26, 2024

Tweak autodetect button labels

EnguerrandPrebetpushed 379 commits to master • 300d624…822bbb2 • 
on Jun 26, 2024

Deleted tag

EnguerrandPrebetdeleted refs/tags/Release • 
on May 24, 2024

Deleted branch

EnguerrandPrebetdeleted usubstone • 
on May 24, 2024

Fix axiom "refinement transitive"

EnguerrandPrebetpushed 1 commit to dRL • 4f51ce0…f50995c • 
on Mar 13, 2024

Deleted branch

EnguerrandPrebetdeleted dRL-unsound • 
on Mar 12, 2024

Extend parser to dRL and add all axioms

EnguerrandPrebetcreated dRL • 4f51ce0 • 
on Mar 12, 2024

Deleted branch

EnguerrandPrebetdeleted dRL • 
on Mar 12, 2024

Finished proof of example 3 from dRL paper.

EnguerrandPrebetcreated dRL-unsound • c9bd5f1 • 
on Mar 12, 2024

Polynomial arithmetic test fix: lazy initialization

smitschpushed 8 commits to master • 06b55f7…300d624 • 
on Jul 28, 2023

Bump version number to 5.0.2

smitschpushed 59 commits to master • f4be90d…06b55f7 • 
on Jun 6, 2023