aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/SearchPattern.out
AgeCommit message (Expand)Author
2020-10-30Renaming Numeral.v into Number.vPierre Roux
2020-05-15Search: Displaying the "use About" notice only when really needed.Hugo Herbelin
2020-05-09Add hexadecimal numeralsPierre Roux
2020-03-18Change some ouput tests due to the printing of implicitsSimonBoulier
2019-04-02Add parsing of decimal constants (e.g., 1.02e+01)Pierre Roux
2018-02-20Update SearchPattern.out for numeral notationsJason Gross
2017-02-14Test-suite: output of SearchArnaud Spiwack
2016-10-20[search] Don't build intermediate lists in search.Emilio Jesus Gallego Arias
2014-12-15Tests for Searchxxx commands added and modified.Pierre Courtieu
2014-11-06Consequence of changing the definition of Nat.shiftl and Nat.shiftr.Hugo Herbelin
2014-07-21Fixing output test-suite.Pierre-Marie Pédrot
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2012-06-12Fixing test-suite after last storm in Pp.pboutill
2011-05-16test-suite: no more ..._beq in the output of the search testsletouzey
2011-05-16Fix order in Search tests.letouzey
2011-05-06Fixes in the test-suite after modularisation of ZArith and coletouzey
2010-03-11Minimal test suite for search commandspuech
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:58:26 +0000