T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 8 hours ago. based on code collected about 9 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 22, 2024 — Aug 22, 2025 Showing page 116 of 144 Search / Filter on:
theory compiles, but now web fails. STILL NOT COMPILING COMPLETELY	Jannik Dreier	More...				over 10 years ago
more work on closeDiffTheory, still NOT COMPILING	Jannik Dreier	More...				over 10 years ago
added functions to compute left and right variant of rules, terms and facts, still not compiling	Jannik Dreier	More...				over 10 years ago
WIP: fix non-GUI part of tamarin-prover.	Simon Meier	More...				over 10 years ago
introduced new datatype. WARNING: DOES NOT COMPILE YETgit status!	Jannik Dreier	More...				over 10 years ago
Derive 'HasFrees SplitId' in a GHC 7.8.x conform way.	Simon Meier	More...				over 10 years ago
removed useless comment	Jannik Dreier	More...				over 10 years ago
identified functions that cause maude error	Jannik Dreier	More...				over 10 years ago
now everything is working again in the WebUI. Still, handels DIffTheories like normal theories!	Jannik Dreier	More...				over 10 years ago
started fixing the GUI	Jannik Dreier	More...				over 10 years ago
compiling again, still not showing theories	Jannik Dreier	More...				over 10 years ago
It's compiling! Added new Diff types troughout the code, now it's time to attack the real implementation!	Jannik Dreier	More...				over 10 years ago
Merge pull request #141 from katrielalex/develop	Simon Meier	More...				over 10 years ago
default to DiffBoth	Ralf Sasse	More...				over 10 years ago
more progress = different errors. made DiffBoth default for PP, otherwise still DiffLeft	Jannik Dreier	More...				over 10 years ago
found problematic point - viewTerm' needs to somehow pretty print diff terms, but then the position finding in Term.Position goes crazy.	Ralf Sasse	More...				over 10 years ago
fixed use of "diff" flag for parsing	Ralf Sasse	More...				over 10 years ago
trying to get the parameter "diff" into the state	Ralf Sasse	More...				over 10 years ago
small clean-up	Ralf Sasse	More...				over 10 years ago
fixed dangling whitespaces	Ralf Sasse	More...				over 10 years ago
Figured out that MaudeSig is actually the name for the overall state!	Ralf Sasse	More...				over 10 years ago
Build into a cabal sandbox.	Katriel Cohn-Gordon	More...				over 10 years ago
passing through the command line parameter "diff"	Ralf Sasse	More...				over 10 years ago
added command line flag for diff	Ralf Sasse	More...				over 10 years ago
difftype to allow viewing left/right system	Ralf Sasse	More...				over 10 years ago
diff printing	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
parser compiles - whatever it does	Ralf Sasse	More...				over 10 years ago
added semicolon and reserved diff	Jannik Dreier	More...				over 10 years ago
Merge branch 'feature-sapic-heuristics-hints' into feature-sapic-heuristics	Robert Künnemann	More...				over 10 years ago

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