Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
adding code equation for Collect on finite types
2012-01-25, by bulwahn
Use lookup_size rather than Datatype.get_info in is_poly to avoid
2012-01-24, by berghofe
adding some rules to quickcheck's preprocessing
2012-01-24, by bulwahn
some more constants on mutabelle's blacklist
2012-01-24, by bulwahn
implemented "tptp_refute" tool
2012-01-23, by blanchet
added problem importer
2012-01-23, by blanchet
imported patch ATP_Problem_Import.thy
2012-01-23, by blanchet
imported patch atp_problem_import.ML
2012-01-23, by blanchet
renamed theory exporter
2012-01-23, by blanchet
renamed two files to make room for a new file
2012-01-23, by blanchet
rebranded Nitrox, for more uniformity
2012-01-23, by blanchet
moved "nitrox" to TPTP
2012-01-23, by blanchet
generalize type of List.listrel
2012-01-23, by huffman
support for Ex1 in quickcheck-narrowing
2012-01-23, by bulwahn
adding another internal constant to mutabelle's blacklust
2012-01-23, by bulwahn
adding some more forbidden constant names for the mutated conjecture generation
2012-01-23, by bulwahn
adding code generation for some list relations
2012-01-23, by bulwahn
adding fun_eq_iff to the preprocessing
2012-01-23, by bulwahn
random instance for sets
2012-01-23, by bulwahn
more configurations to mutabelle
2012-01-23, by bulwahn
catching code generation errors in quickcheck-narrowing
2012-01-20, by bulwahn
adding narrowing instance for sets
2012-01-20, by bulwahn
shortened definitions by adding some termify constants
2012-01-20, by bulwahn
tuned
2012-01-20, by bulwahn
adding check_all instance for sets; tuned
2012-01-20, by bulwahn
tuned
2012-01-20, by nipkow
tuned
2012-01-20, by nipkow
minor edits in docs
2012-01-19, by blanchet
renamed "sound" option to "strict"
2012-01-19, by blanchet
updated Sledge docs some more
2012-01-19, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip