T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 1 hour ago. based on code collected about 2 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 114 of 144 Search / Filter on:
fixed wellformedness checks	Jannik Dreier	More...				over 10 years ago
fixed nextDiffTheoryPath	Jannik Dreier	More...				over 10 years ago
now proof methods are applied	Jannik Dreier	More...				over 10 years ago
now it is finally showing proof methods	Jannik Dreier	More...				over 10 years ago
added some more stuff, still not doing many useful things	Jannik Dreier	More...				over 10 years ago
some work on outputting the diff lemmas, including pre/next etc	Jannik Dreier	More...				over 10 years ago
now adding a default diff lemma on startup	Jannik Dreier	More...				over 10 years ago
added functions to add and lookup diff lemmas	Jannik Dreier	More...				over 10 years ago
fixed LHS + RHS in cache	Jannik Dreier	More...				over 10 years ago
fixed axioms in cache	Jannik Dreier	More...				over 10 years ago
Relaxing constraints on 'text' dependency.	Cas Cremers	More...				over 10 years ago
fixed parsing of diff-axioms	Jannik Dreier	More...				over 10 years ago
Fix broken 'remove' buttons.	Ralf Sasse	More...				over 10 years ago
added diff batch mode	Jannik Dreier	More...				over 10 years ago
fixed left and right side of terms	Jannik Dreier	More...				over 10 years ago
copy paste is waste!	Jannik Dreier	More...				over 10 years ago
Fixed navigation with (smart) keybinds.	Ralf Sasse	More...				over 10 years ago
Merge branch 'feature-equivalence' of ssh://bitbucket.org/jandreier/tamarin-prover into feature-equivalence	Jannik Dreier	More...				over 10 years ago
added diff rules	Jannik Dreier	More...				over 10 years ago
Fix j/k navigation on GUI.	Ralf Sasse	More...				over 10 years ago
Merge branch 'feature-equivalence' of https://bitbucket.org/jandreier/tamarin-prover into feature-equivalence	Ralf Sasse	More...				over 10 years ago
additional comments...	Ralf Sasse	More...				over 10 years ago
fixed modify lemma side issue	Jannik Dreier	More...				over 10 years ago
show theory number in URL	Ralf Sasse	More...				over 10 years ago
proof of LHS/RHS lemmas partly working now	Jannik Dreier	More...				over 10 years ago
make cabal-clean also removes lib/theory now	Ralf Sasse	More...				over 10 years ago
fixed some JS	Jannik Dreier	More...				over 10 years ago
show some more stuff, fixed some links	Jannik Dreier	More...				over 10 years ago
safeRead now with type so no replication needed. Thanks to Andreas	Ralf Sasse	More...				over 10 years ago
Reordered in ascending order of safeRead#.	Ralf Sasse	More...				over 10 years ago

←
1
2
…
110
111
112
113
114
115
116
117
118
…
143
144
→