aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/Omega.v
AgeCommit message (Expand)Author
2021-04-12[zify] More aggressive application of saturation rulesBESSON Frederic
2021-04-02Remove the omega tactic and related optionsJim Fehrle
2019-12-26Deprecate the "omega with *" syntax.Pierre-Marie Pédrot
2017-10-19Moving bug numbers to BZ# format in the test-suite.Théo Zimmermann
2007-07-18A generic preprocessing tactic zify for (r)omegaletouzey
2006-01-11Test conflictuel - ajouté pour mémoireherbelin
2005-12-21Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
2003-12-24BUGherbelin
2003-12-23Bug commit precedentherbelin
2003-12-23Renommages des hypotheses transformees car en raison des possibles dependance...herbelin
2002-10-23Omega échouait à effacer les hypothèses à contenu arithmétique lorsque c...herbelin
2002-06-06Ajout exemple JCF conflit variable interne, variable de sectionherbelin
2002-06-06Ajout exemple Yves renommage différent d'une var de sectionherbelin
2002-01-25*** empty log message ***herbelin
2002-01-21Ajout test de Pierre Crégutherbelin
2002-01-18*** empty log message ***herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:57:34 +0000