诸葛亮曾经使用过的阵法有：
1. 八门金锁阵：此阵法由孙武所创，依照生、死、休、伤、惊、开、景、杜八门而布，变幻莫测。
2. 九宫八卦阵：九宫八卦阵又叫黄河九曲连，是诸葛亮创建的一种阵法，能够迷惑敌人，使得进阵的敌军都被分割成一个个小块，成为翁中之鳖。
3. 十面埋伏阵：这个阵法是九宫八卦阵的升级版，比九宫八卦阵的变化更加复杂，也更加深奥。
这些是诸葛亮在军事中运用的一些主要的阵法，希望对您有所帮助。