T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 17, 2024 — Aug 17, 2025 Showing page 109 of 144 Search / Filter on:
detailed linux instructions	Ralf Sasse	More...				almost 10 years ago
travis stack version change	Ralf Sasse	More...				almost 10 years ago
split documentation files	Ralf Sasse	More...				almost 10 years ago
documentation author addition, travis build caching	Ralf Sasse	More...				almost 10 years ago
WALL clean	Ralf Sasse	More...				almost 10 years ago
added authors	Ralf Sasse	More...				almost 10 years ago
testing travis cache	Jannik Dreier	More...				almost 10 years ago
Removed cpp hack previously necessary for multi piece paths as it is not required anymore.	Ralf Sasse	More...				almost 10 years ago
Added ObsEq case studies to case-studies make target	Ralf Sasse	More...				almost 10 years ago
regression test for features/equivalence	Ralf Sasse	More...				about 10 years ago
Added CCS15 to case studies	Ralf Sasse	More...				about 10 years ago
Regression test suite updated to current version - everything is touched due to 2 general changes, 1.) the move of data/examples to examples and 2.) the output format change which now uses /REASON/ instead of //REASON in 'by contradiction' proof steps.	Ralf Sasse	More...				about 10 years ago
explicit import of used Data.List functions instead of qualified import	Ralf Sasse	More...				about 10 years ago
Set stack to use lts-2.22, thus GHC 7.8, as with 7.10 command line proofs fail with a memory leak - only 3 changes are needed in the code, marked with 'GHC 7.10', to compile with 7.10 again	Ralf Sasse	More...				about 10 years ago
readme update	Ralf Sasse	More...				about 10 years ago
no special travis treatment - it seems to be a parallel build issue anyway	Ralf Sasse	More...				about 10 years ago
travis cannot handle stack install, use stack build first	Ralf Sasse	More...				about 10 years ago
ignore .stack-work, removed cabal-related commands from Makefile and travis	Ralf Sasse	More...				about 10 years ago
turned off second build	Jannik Dreier	More...				about 10 years ago
cabal.config	Jannik Dreier	More...				about 10 years ago
merge	Jannik Dreier	More...				about 10 years ago
GHC 7.10	Jannik Dreier	More...				about 10 years ago
tab for spaces	Ralf Sasse	More...				about 10 years ago
build before install	Ralf Sasse	More...				about 10 years ago
overwriting travis default test script for haskell that uses cabal	Ralf Sasse	More...				about 10 years ago
minor edits in readme	Ralf Sasse	More...				about 10 years ago
stack uses GHC of its choice, ignores different version suggestions, thus removed those	Ralf Sasse	More...				about 10 years ago
changed constraints in cabal.config to stack's lts-2.22 and forcing cabal-1.22.0.0 there	Ralf Sasse	More...				about 10 years ago
stack forced to use cabal-install 1.22.0.0	Ralf Sasse	More...				about 10 years ago
more travis experiments	Ralf Sasse	More...				about 10 years ago

←
1
2
…
105
106
107
108
109
110
111
112
113
…
143
144
→