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
Jul 25, 2024 — Jul 25, 2025 Showing page 129 of 144 Search / Filter on:
test: prover and parsing of proofs	Simon Meier	More...				about 13 years ago
fix #96: parse and check (partial) proofs	Simon Meier	More...				about 13 years ago
improved: proof checking and highlighting	Simon Meier	More...				about 13 years ago
parsing of Tutorial.spthy proof works	Simon Meier	More...				about 13 years ago
adapted Minimal typing example to thesis	Simon Meier	More...				about 13 years ago
Merge branch 'develop' of github.com:tamarin-prover/tamarin-prover into develop	Cas Cremers	More...				about 13 years ago
Added paper thumbnail.	Cas Cremers	More...				about 13 years ago
Updated screenshots for webpage with new chrome-borders and nicer narrow windows.	Cas Cremers	More...				about 13 years ago
update case studies	Simon Meier	More...				about 13 years ago
updated changelog	Simon Meier	More...				about 13 years ago
added further case-studies to distribution	Simon Meier	More...				about 13 years ago
Removing obsolete experiments.	Cas Cremers	More...				about 13 years ago
removed remaining '(* .. *)' style comments	Simon Meier	More...				about 13 years ago
fix: pretty-printing 'builtin' ~~> 'builtins'	Simon Meier	More...				about 13 years ago
fix #9: use scanerless parsing based on parsec	Simon Meier	More...				about 13 years ago
fix: properly pretty print pure signature	Simon Meier	More...				about 13 years ago
cleanup of 'examples/experiments'	Simon Meier	More...				about 13 years ago
added tests for parsing all case studies	Simon Meier	More...				about 13 years ago
factor out use of lexer and keywords	Simon Meier	More...				about 13 years ago
Improving layout of theory introduction page.	Cas Cremers	More...				about 13 years ago
fix: make sorting of 'Usefulness' compiler-independent	Simon Meier	More...				about 13 years ago
fix: typo in Minimal_Typing_Example	Simon Meier	More...				about 13 years ago
fix #86: do not use -feager-blackholing (yet)	Simon Meier	More...				about 13 years ago
fix: ensure tamarin still compiles	Simon Meier	More...				about 13 years ago
added 'cabal-clean' target to Makefile	Simon Meier	More...				about 13 years ago
removed unnecessary '-funbox-strict-fields'	Simon Meier	More...				about 13 years ago
fix typo in MANUAL	Benedikt Schmidt	More...				about 13 years ago
delete old SPASS SAT encoding of dependency graph problem	Benedikt Schmidt	More...				about 13 years ago
fix #60: link to help message in theory overview	Simon Meier	More...				about 13 years ago
fix #89: added mailing list to CHANGES, README, and MANUAL	Simon Meier	More...				about 13 years ago

←
1
2
…
125
126
127
128
129
130
131
132
133
…
143
144
→