Dr-Noob/Tableaux

Issues

• Finales de linea

  #14 opened 7 years ago by Dr-Noob
  0

• Soporte para argumentos

  #13 opened 7 years ago by Dr-Noob
  0

• Permitir resolver mas de una formula de una sola ejecucion

  #12 opened 7 years ago by Dr-Noob
  0

• Permitir pasar formulas directamente como argumento en vez de tener que pasar si o si por un fichero

  #11 opened 7 years ago by Dr-Noob
  0

• Añadir constantes de verdadero y falso(iss1)

  #1 opened 7 years ago by Dr-Noob
  0

• Fusionar crear y calcular tableauxInfo

  #10 opened 7 years ago by Dr-Noob
  0

• Revisar Formula.c/Tableaux.c porque no esta bien repartido el trabajo

  #9 opened 7 years ago by Dr-Noob
  0

• Caracteres no-monospace en Windows

  #4 opened 7 years ago by Dr-Noob
  0

• Compatibilidad con windows rota por regex.h

  #8 opened 7 years ago by Dr-Noob
  0

• not(r ... si funciona mientras que notb no funciona

  #7 opened 7 years ago by Dr-Noob
  0

• Conflicto tokens fichero config

  #6 opened 7 years ago by Dr-Noob
  0

• Añadir opciones en la configuracion

  #5 opened 7 years ago by Dr-Noob
  0

• Los mensajes de bison y flex no tienen soporte multilenguaje

  #2 opened 7 years ago by Dr-Noob
  0

• Memory leak

  #3 opened 7 years ago by Dr-Noob
  0