O

ocamlyices

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 21 hours ago. based on code collected about 21 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 29, 2024 — Jul 29, 2025 Showing page 3 of 3 Search / Filter on:
First step towards v0.5	Mickaël Delahaye	More...				over 14 years ago
Fix yices_get_bitvector_value (thanks to Thanassis)	Mickaël Delahaye	More...				over 14 years ago
Better Findlib support, v0.4	Mickaël Delahaye	More...				almost 15 years ago
Fix yices_extra against new error handling	Mickaël Delahaye	More...				almost 15 years ago
Cleanup error handling	Mickaël Delahaye	More...				almost 15 years ago
Minor fix to Makefile	Mickaël Delahaye	More...				almost 15 years ago
Simplify IDL files	Mickaël Delahaye	More...				almost 15 years ago
README in markdown	Mickaël Delahaye	More...				almost 15 years ago
Fix for 64bit compilation	Mickaël Delahaye	More...				almost 15 years ago
Better install yices script	Mickaël Delahaye	More...				almost 15 years ago
Configure, findlib, new examples and v0.3	Mickaël Delahaye	More...				about 15 years ago
doc target + some new features	Mickaël Delahaye	More...				about 15 years ago
New patching system and undocumented feature	Mickaël Delahaye	More...				about 15 years ago
Update to version 0.2	Mickaël Delahaye	More...				about 15 years ago
Use DLL-based bytecode compilation by default	Mickaël Delahaye	More...				about 15 years ago
Minor changes (error in README)	Mickaël Delahaye	More...				over 15 years ago
Add support for the 'Lite' API of Yices.	Mickaël Delahaye	More...				over 15 years ago
Better Yices install (support Yices with GMP statically linked)	Mickaël Delahaye	More...				over 15 years ago
Use autoconf	Mickaël Delahaye	More...				over 15 years ago
update copyright	Mickaël Delahaye	More...				over 15 years ago
add README and license	Mickaël Delahaye	More...				over 15 years ago
debug get_big_int_value	Mickaël Delahaye	More...				over 15 years ago
Initial commit	Mickaël Delahaye	More...				over 15 years ago

←
1
2
3
→