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 19, 2024 — Aug 19, 2025 Showing page 113 of 144 Search / Filter on:
Re-add minimal 1.8 cabal version constraint to 'tamarin-prover.cabal'.	Simon Meier	More...				over 10 years ago
Switch development mode to 'cabal repl'	Simon Meier	More...				over 10 years ago
Setup Travis CI support.	Simon Meier	More...				over 10 years ago
Add lib/* sources to cabal sandbox.	Simon Meier	More...				over 10 years ago
Drop support for building without a GUI.	Simon Meier	More...				over 10 years ago
Fix compilation errors with 7.6.	Simon Meier	More...				over 10 years ago
Merge remote-tracking branch 'origin/feat-compile-with-ghc-7.8' into task-stabilize-build-7.6	Simon Meier	More...				over 10 years ago
.gitignore 'cabal-sandbox'.	Simon Meier	More...				over 10 years ago
Switch to Stackage-based local builds.	Simon Meier	More...				over 10 years ago
added new variable constants to unification to ensure correct results	Jannik Dreier	More...				over 10 years ago
started working on missing equations, added field in system to ensure that in diff proofs all goals are solved	Jannik Dreier	More...				over 10 years ago
fixed freshness problem	Jannik Dreier	More...				over 10 years ago
Renamed Fresh rule name to make consistent and more clear.	Ralf Sasse	More...				over 10 years ago
first version running!	Jannik Dreier	More...				over 10 years ago
started working on last step, but lacking unification	Jannik Dreier	More...				over 10 years ago
removed KB-contradiction	Jannik Dreier	More...				over 10 years ago
now showing graphs	Jannik Dreier	More...				over 10 years ago
added isSolved	Jannik Dreier	More...				over 10 years ago
fixed trace quantifier and (some) pictures	Jannik Dreier	More...				over 10 years ago
more work on constraint systems, still not working entirely	Jannik Dreier	More...				over 10 years ago
more work on integrating normal constraint solving into the diff proofs. Next step: add labels and correct formulas	Jannik Dreier	More...				over 10 years ago
fixed diff lemma in batch mode, started working on steps	Jannik Dreier	More...				over 10 years ago
fixed some bugs in the batch mode, still not working correctly	Jannik Dreier	More...				over 10 years ago
made the equality rule a deconstruction rule, this ensures it shows up in the message theory and in the rules to be checked	Jannik Dreier	More...				over 10 years ago
fixed trivial tactics bug	Jannik Dreier	More...				over 10 years ago
trivial tactic implemented and working right	Jannik Dreier	More...				over 10 years ago
fixed compiler errors	Jannik Dreier	More...				over 10 years ago
generating cases correctly	Jannik Dreier	More...				over 10 years ago
remove diff proof steps	Jannik Dreier	More...				over 10 years ago
still not doing much more, but fixed some bugs	Jannik Dreier	More...				over 10 years ago

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