Vitor Santos Costa
|
2be225c17a
|
small warnings.
|
2014-11-25 16:42:35 +00:00 |
|
Vítor Santos Costa
|
f00a6d5a40
|
small bugfixes and leaks, patch by João Silva
|
2014-06-14 10:27:39 +01:00 |
|
Vítor Santos Costa
|
21fe137d27
|
FIX: warnings
|
2014-05-30 00:59:42 +01:00 |
|
Vitor Santos Costa
|
228bc76a35
|
Eclipse Support
|
2014-03-13 16:57:21 +00:00 |
|
Vítor Santos Costa
|
4591e1baaf
|
Eclipse stuff
|
2014-03-13 12:54:06 +00:00 |
|
Vitor Santos Costa
|
6b2e1973ab
|
Windows fixes, mainly H -> HB
|
2014-01-19 21:15:05 +00:00 |
|
Vítor Santos Costa
|
fec7019a79
|
fix some warnings
improve thread support.
|
2011-11-30 13:05:21 +00:00 |
|
Vítor Santos Costa
|
e33712403f
|
fix prism compilation and PRISM overflow handling.
|
2011-11-18 18:33:22 +00:00 |
|
Vítor Santos Costa
|
e865248dce
|
prism logical probabilistic system.
|
2011-11-10 12:24:47 +00:00 |
|