C

coreStar

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 3 days ago. based on code collected 3 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 01, 2025 — Apr 01, 2026 Showing page 1 of 22 Search / Filter on:
Removed ../ making symbolic links incorrect.	Daiva Naudziuniene	More...				over 10 years ago
bugfix	Radu Grigore	More...				over 10 years ago
Merge https://github.com/seplogic/corestar	Jules Villard	More...				over 12 years ago
change suggested by Jules	Radu Grigore	More...				over 12 years ago
preparing to add matching equalities in obligations	Radu Grigore	More...				almost 13 years ago
revert a change that I committed by mistake	Radu Grigore	More...				almost 13 years ago
just indentation	Radu Grigore	More...				almost 13 years ago
ompile fix	Radu Grigore	More...				almost 13 years ago
support for bitvectors in SMT backend and misc improvements	Jules Villard	More...				almost 13 years ago
Merge pull request #7 from jvillard/for_radu	Radu Grigore	More...				about 13 years ago
a weird test-case	Jules Villard	More...				about 13 years ago
fixed argument checking in test_symb.ml	Jules Villard	More...				about 13 years ago
don't try to send custom smt commands if there aren't any	Jules Villard	More...				about 13 years ago
whitespace only, i believe	Radu Grigore	More...				over 13 years ago
wrapped the parsing of logic files into System.parse_file	Radu Grigore	More...				over 13 years ago
Better handling of SMT background predicates.	Radu Grigore	More...				over 14 years ago
Fixed bug in pattern matching for logic rules.	Radu Grigore	More...				over 14 years ago
Send a "background predicate" to the SMT solver.	Radu Grigore	More...				over 14 years ago
Made it work (a bit) with Z3 3.2.	Radu Grigore	More...				over 14 years ago
Include debug info when building.	Radu Grigore	More...				almost 15 years ago
Removed jstar's tutorial from corestar's release.	Radu Grigore	More...				almost 15 years ago
A script to prepare releases.	Radu Grigore	More...				almost 15 years ago
small tweak	Radu Grigore	More...				almost 15 years ago
Fixed some printing.	Radu Grigore	More...				almost 15 years ago
Added boxes.	Radu Grigore	More...				almost 15 years ago
Throw exception if writing (much) to a dead process.	Radu Grigore	More...				almost 15 years ago
Fixed makefiles to work when dirs have spaces in them.	Dino Distefano	More...				almost 15 years ago
Forced make to use /bin/bash.	Radu Grigore	More...				almost 15 years ago
There's no corestar tutorial.	Radu Grigore	More...				almost 15 years ago
Merge branch 'master' of github.com:MatkoBotincan/corestar	Radu Grigore	More...				almost 15 years ago

←
1
2
3
4
5
6
7
8
9
…
21
22
→