Vitor Santos Costa
2e9be3d0d4
droid
2018-03-19 15:41:06 +00:00
Vitor Santos Costa
31fd3eb344
extensions
2018-03-02 21:18:24 +00:00
Vitor Santos Costa
3a36285bb2
jupyter
2018-02-26 21:38:19 +00:00
Vitor Santos Costa
530246688c
jupyter
2018-02-25 00:29:08 +00:00
Vitor Santos Costa
fe496e840d
android
2018-02-14 00:13:13 +00:00
Vitor Santos Costa
34c6ace8be
fixes
2018-02-07 21:48:37 +00:00
Vitor Santos Costa
66db3d53f8
boot
2018-02-02 11:50:07 +00:00
Vitor Santos Costa
f3f524960c
fixes
2018-01-27 10:17:27 +00:00
Vitor Santos Costa
9fce1e9ba2
bootstrapping
2018-01-22 13:53:17 +00:00
Vitor Santos Costa
4c25aa21c5
boot
2018-01-18 14:47:27 +00:00
Vitor Santos Costa
9c862c21bc
jupyter
2018-01-05 16:57:38 +00:00
Vitor Santos Costa
3061844c95
Fixes, mostly to the biting o
2017-12-10 01:22:45 +00:00
Vitor Santos Costa
645b2c7d93
boot
2017-12-05 15:14:57 +00:00
Vitor Santos Costa
06485f071a
iandroid
2017-11-21 15:44:43 +00:00
Vitor Santos Costa
ed2c85a56b
saved states and anaconda
2017-11-15 12:18:19 +00:00
Vitor Santos Costa
af233dbf36
configuration
2017-11-10 23:08:35 +00:00
Vitor Santos Costa
6b0478db00
anaconda
2017-10-11 02:24:15 +01:00
Vitor Santos Costa
c2435673cd
swig python support
2017-05-08 18:51:29 +01:00
Vitor Santos Costa
83b137f117
docs
2017-05-02 04:07:23 +01:00
Vitor Santos Costa
c6a02d3fe4
bdd
2017-01-09 15:00:03 +00:00
Vitor Santos Costa
d37e198c12
signals
...
doc support
2016-11-23 22:35:39 -06:00
Vitor Santos Costa
d273270c11
all the liles..
2016-09-21 15:01:26 -05:00
Vitor Santos Costa
04ff54917e
Android support
2016-08-30 08:29:40 -05:00
Vitor Santos Costa
d7b5be0ccd
android
2016-07-31 10:43:31 -05:00
Vitor Santos Costa
83a1269553
change bootstrap sequence to support -B and to allow booting from pl files
2016-05-10 08:33:44 +01:00
Vitor Santos Costa
5dbe54dadc
android
2016-04-05 08:03:19 +01:00
Vítor Santos Costa
0f4448fdbe
no need
2016-03-05 12:40:59 +00:00
Vítor Santos Costa
b9eb327d86
fix fixes (lots of white space, somehow.
2016-02-29 03:13:23 +00:00
Vítor Santos Costa
2192f73b11
make it compile under MSN vc. Unfortunately it has a weird crash at boot :(
...
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
2016-02-28 19:32:55 +00:00
Vítor Santos Costa
25ee4dd7e8
fix nissing file by Eric Dechter
2016-02-26 18:10:47 +00:00
Vítor Santos Costa
0e7cc378af
shuffle list ops around
2016-02-26 17:29:54 +00:00
Vítor Santos Costa
661f33ac7e
bug fices
2016-01-03 02:06:09 +00:00
Vítor Santos Costa
d66db4cf70
make fixes
...
- options to use WITH
- FIX RPATH ON MAC
- newer Find
- bdd exports to cplint
2015-11-05 23:51:35 +00:00
Vítor Santos Costa
f8836ec1b2
move char types to os
2015-10-22 12:00:27 +01:00
Vítor Santos Costa
1c06bfdc05
cmake & text support
2015-06-19 01:30:13 +01:00
Vítor Santos Costa
58ece4fa43
missing CMake file
...
R is no longer supported, use real.
2014-12-15 12:27:07 +00:00
