T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed 2 days ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 117 of 144 Search / Filter on:
Marked relevant places in source to add diff term operator, for now not using parser, but just as builtin term.	Ralf Sasse	More...				over 10 years ago
Renamed equality for consistency with the other rules.	Ralf Sasse	More...				over 10 years ago
started branch equivalence, added equality rule	Jannik Dreier	More...				over 10 years ago
Revert "Temporary commit for patch. Does not compile!"	Robert Künnemann	More...				almost 11 years ago
Merge branch 'feature-sapic-heuristics-pkcs11' of https://github.com/tamarin-prover/tamarin-prover into feature-sapic-heuristics-pkcs11	Robert Künnemann	More...				almost 11 years ago
Bugfix.	Robert Künnemann	More...				almost 11 years ago
Adapted Sapic-heuristic for a model of PKCS#11.	Robert Künnemann	More...				almost 11 years ago
Revert "Merge branch 'feature-external-heuristic' into develop"	Robert Künnemann	More...				almost 11 years ago
Patched.	[email protected]	More...				almost 11 years ago
Temporary commit for patch. Does not compile!	[email protected]	More...				almost 11 years ago
Adapted Sapic heuristics.	[email protected]	More...				almost 11 years ago
Introduced goal ranking for sapic.	Robert Künnemann	More...				about 11 years ago
Merge branch 'feature-external-heuristic' into develop	Robert Künnemann	More...				about 11 years ago
Bump version to 0.8.6.1	Simon Meier	More...				about 11 years ago
Merge branch 'develop'	Simon Meier	More...				about 11 years ago
Add .cabal sandbox file to .gitignore	Simon Meier	More...				about 11 years ago
Fix dependencies to make it build again.	Simon Meier	More...				about 11 years ago
Merge branch 'feature-external-heuristic' into feature-improved-graph-output	Cas Cremers	More...				over 11 years ago
Introduced support for 'L_' prefix for facts to delay being chosen by the heuristics.	Cas Cremers	More...				over 11 years ago
Added support for '_HIDE_' as part of a rule name. Such rules will not be displayed.	Cas Cremers	More...				over 11 years ago
Remove duplicate edges from graph.	Cas Cremers	More...				over 11 years ago
Relying on newer pydot versions.	Cas Cremers	More...				over 11 years ago
Switching to clear_node for full removal of node and edges.	Cas Cremers	More...				over 11 years ago
Finding incoming/outgoing edges should ignore ports.	Cas Cremers	More...				over 11 years ago
Cleanup of code.	Cas Cremers	More...				over 11 years ago
Moved to lib for bytecode compilation.	Cas Cremers	More...				over 11 years ago
Minor comments and commented out my own del_edge.	Cas Cremers	More...				over 11 years ago
Cleanup of 'joinSimilar' code.	Cas Cremers	More...				over 11 years ago
Introducing more helper functions.	Cas Cremers	More...				over 11 years ago
Added clear_node function to remove a node and its edges entirely.	Cas Cremers	More...				over 11 years ago

←
1
2
…
113
114
115
116
117
118
119
120
121
…
143
144
→