search

ilsordo / SAT-SMT-Solver

A SAT/SMT solver in OCaml
2 stars 2 forks source link

Commit #24

Closed yhamoudi closed 10 years ago

yhamoudi commented 10 years ago

j'ai vu que tu as supprimé la branche smt. J'ai pas réussi à merge avec master, du coup j'ai recréée smt. Je te laisse faire le merge, puis tu peux tout envoyer...

ilsordo commented 10 years ago

Ok

yhamoudi commented 10 years ago

c'est bon, les readme sont ok

ilsordo commented 10 years ago

J'ai fusionné, je push et j'envoie.

yhamoudi commented 10 years ago

c'est tout bon, bug issues compris

Le 2014-05-22 17:45, nagaaym a écrit :

Closed #24 [1].

Reply to this email directly or view it on GitHub [2].

Links:

[1] https://github.com/nagaaym/projet2/issues/24 [2] https://github.com/nagaaym/projet2/issues/24#event-123872950