S

sbv

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
Apr 24, 2023 — Apr 24, 2024 Showing page 9 of 204 Search / Filter on:
fix test	Levent Erkok	More...				about 1 year ago
import tweak	Levent Erkok	More...				about 1 year ago
Significantly improve types of qNot/skolemize	Levent Erkok	More...				about 1 year ago
more tests	Levent Erkok	More...				about 1 year ago
Update lambda65.gold	Levent Erkok	More...				about 1 year ago
add taggedskolemize	Levent Erkok	More...				about 1 year ago
backout skolem uniquification. That doesn't work!	Levent Erkok	More...				about 1 year ago
Make skolem names unique for cross function usage	Levent Erkok	More...				about 1 year ago
Slightly improve this test. I think we can do better.	Levent Erkok	More...				about 1 year ago
Fix docs	Levent Erkok	More...				about 1 year ago
trim exports	Levent Erkok	More...				about 1 year ago
Clean-up skoemize code. WIP.	Levent Erkok	More...				about 1 year ago
Update SMTSolverVersions.md	Levent Erkok	More...				about 1 year ago
New golds	Levent Erkok	More...				about 1 year ago
Shuffle through named function parameters. WIP.	Levent Erkok	More...				about 1 year ago
Add a quick hlint target	Levent Erkok	More...				about 1 year ago
Let the quantifiers take symbols as arguments	Levent Erkok	More...				about 1 year ago
simplify doctest-target usage and add FAST switch	Levent Erkok	More...				about 1 year ago
restric the type of skolemize and qNot	Levent Erkok	More...				about 1 year ago
update z3 tested version	Levent Erkok	More...				about 1 year ago
Implement qNot	Levent Erkok	More...				about 1 year ago
Add skolemization examples	Levent Erkok	More...				about 1 year ago
Update CHANGES.md	Levent Erkok	More...				about 1 year ago
Implement skolemization	Levent Erkok	More...				about 1 year ago
Simplify expressions further	Levent Erkok	More...				about 1 year ago
Find a test that z3 doesn't choke on!	Levent Erkok	More...				about 1 year ago
Update golds	Levent Erkok	More...				about 1 year ago
Use a custom printer here to avoid regression failures	Levent Erkok	More...				about 1 year ago
Add custom support for .=> and better translation for .<=>	Levent Erkok	More...				about 1 year ago
fix some links	Levent Erkok	More...				about 1 year ago

←
1
2
…
5
6
7
8
9
10
11
12
13
…
203
204
→