S

sbv

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 23, 2023 — Apr 23, 2024 Showing page 146 of 204 Search / Filter on:
Add instance "Provable (Symbolic ())" for ease of programming	Levent Erkok	More...				about 7 years ago
Output directives+check-sat command when debugging	Levent Erkok	More...				about 7 years ago
Fix .travis.yml spacing	Levent Erkok	More...				about 7 years ago
travis: Try 8.0.2 again	Levent Erkok	More...				about 7 years ago
Make isSatisfiableInCurrentPath return the model, instead of True/False	Levent Erkok	More...				about 7 years ago
Clean-up changes.md	Levent Erkok	More...				about 7 years ago
Make "Lexicographic" the default optimization rule	Levent Erkok	More...				about 7 years ago
Send optimization directives downstream	Levent Erkok	More...				about 7 years ago
Make haddocks happy	Levent Erkok	More...				about 7 years ago
Dial down on 8.0.2: Travis doesn't seem to like it. Why?	Levent Erkok	More...				about 7 years ago
Slight error message tweak	Levent Erkok	More...				about 7 years ago
More gold updates	Levent Erkok	More...				about 7 years ago
Update golds	Levent Erkok	More...				about 7 years ago
Thread optimization params. WIP.	Levent Erkok	More...				about 7 years ago
Fix expected output	Levent Erkok	More...				about 7 years ago
Travis: Add 8.0.2 to the mix	Levent Erkok	More...				about 7 years ago
Bump version to 6.0	Levent Erkok	More...				about 7 years ago
Export the new optimization infrastructure. WIP.	Levent Erkok	More...				about 7 years ago
Thread through optimization goals	Levent Erkok	More...				about 7 years ago
Introduce the Metric class, for optimization goals	Levent Erkok	More...				about 7 years ago
ExpectedValues: Better haddocls	Levent Erkok	More...				about 7 years ago
Expose GenTest from cabal file	Levent Erkok	More...				about 7 years ago
Do not export ExpectedValue implicitly	Levent Erkok	More...				about 7 years ago
Expose Polynomial module from the cabal file	Levent Erkok	More...				about 7 years ago
Explicitly import Polynomial module	Levent Erkok	More...				about 7 years ago
Do not export Data.SBV.Tools.Polynomial automatically	Levent Erkok	More...				about 7 years ago
Update CHANGES.md	Levent Erkök	More...				about 7 years ago
reformat Changes	Levent Erkok	More...				about 7 years ago
Ground work for optimization. WIP.	Levent Erkok	More...				about 7 years ago
Do not export (old) optimization routines	Levent Erkok	More...				about 7 years ago

←
1
2
…
142
143
144
145
146
147
148
149
150
…
203
204
→