Vitor Santos Costa
|
106e4bc13f
|
cross_compiler
|
2016-04-05 08:13:21 +01:00 |
|
Vitor Santos Costa
|
c7bc27cc3e
|
detail
|
2016-04-05 08:12:39 +01:00 |
|
Vitor Santos Costa
|
b89f6e55b4
|
indenting
|
2016-04-05 08:12:16 +01:00 |
|
Vitor Santos Costa
|
55a840e2d8
|
more fixes
|
2016-04-05 08:11:05 +01:00 |
|
Vitor Santos Costa
|
93bba89d52
|
indenting + fix compilation
|
2016-04-05 08:09:39 +01:00 |
|
Vitor Santos Costa
|
4cdbabfa69
|
oops
|
2016-04-05 08:08:11 +01:00 |
|
Vitor Santos Costa
|
eb5d90d85f
|
boot from pl
|
2016-04-05 08:07:28 +01:00 |
|
Vitor Santos Costa
|
e485dbc59b
|
new experiments
|
2016-04-05 08:06:46 +01:00 |
|
Vitor Santos Costa
|
dfbdce4240
|
android
|
2016-04-05 08:04:09 +01:00 |
|
Vitor Santos Costa
|
5dbe54dadc
|
android
|
2016-04-05 08:03:19 +01:00 |
|
Vitor Santos Costa
|
7bf8a20f1b
|
android
|
2016-04-05 08:02:02 +01:00 |
|
Vitor Santos Costa
|
867c9ea47c
|
unify java
|
2016-04-05 07:49:17 +01:00 |
|
Vitor Santos Costa
|
2e238f6bc1
|
unify java
|
2016-04-05 07:48:01 +01:00 |
|
vscosta
|
71f0076ed6
|
signed wchar
|
2016-04-05 02:53:39 +01:00 |
|
vscosta
|
4d3d9c408d
|
adds
|
2016-04-05 02:52:50 +01:00 |
|
vscosta
|
a5951daea9
|
indenting plus deoid
|
2016-04-05 02:28:56 +01:00 |
|
vscosta
|
562ac0251d
|
indenting
|
2016-04-05 02:27:33 +01:00 |
|
vscosta
|
ac71ba72b5
|
cosmetics
|
2016-04-05 02:26:33 +01:00 |
|
vscosta
|
24e6924769
|
indenting & Android support (one big lib)
|
2016-04-05 02:25:05 +01:00 |
|
vscosta
|
abe5953da7
|
boot from prolog
|
2016-04-05 02:24:09 +01:00 |
|
vscosta
|
079ed60248
|
Android support (just build a big app)
|
2016-04-05 02:23:41 +01:00 |
|
vscosta
|
d9bfcc0f78
|
cudd is now provided by brew
|
2016-04-05 02:22:49 +01:00 |
|
vscosta
|
07f105dd80
|
clang indenting
|
2016-04-05 02:22:04 +01:00 |
|
vscosta
|
d4a9f97cdd
|
InitTime is done automatically.
|
2016-04-05 02:21:19 +01:00 |
|
vscosta
|
40765a6afb
|
booting from prolog plus indenting
|
2016-04-05 02:20:16 +01:00 |
|
vscosta
|
7312765824
|
hard to find
|
2016-04-05 02:19:31 +01:00 |
|
vscosta
|
396bd2f8c3
|
indenting, + don't use men streams in Android
|
2016-04-05 02:18:47 +01:00 |
|
Vítor Santos Costa
|
636992781c
|
android
|
2016-03-30 17:38:11 +01:00 |
|
Vítor Santos Costa
|
145ad73255
|
small fixes
indenting
|
2016-03-30 17:35:03 +01:00 |
|
Vítor Santos Costa
|
78ba5d01f2
|
inlining related
|
2016-03-30 01:28:45 +01:00 |
|
Vítor Santos Costa
|
2d8fdad839
|
highlighting
|
2016-03-30 01:27:54 +01:00 |
|
Vítor Santos Costa
|
a304fc721a
|
improve error handling; be careful with trail.
|
2016-03-30 01:27:03 +01:00 |
|
Vítor Santos Costa
|
6b141078b4
|
fix typo
|
2016-03-30 01:26:02 +01:00 |
|
Vítor Santos Costa
|
1c2383b5b9
|
fix warnings
|
2016-03-30 01:25:43 +01:00 |
|
Vítor Santos Costa
|
e0d82cfb23
|
don't inline
|
2016-03-30 01:24:59 +01:00 |
|
Vítor Santos Costa
|
4103aa6e83
|
don't inline == and \= for now.
|
2016-03-30 01:24:34 +01:00 |
|
Vítor Santos Costa
|
f3e8b8b3da
|
indenting; warning; exceptions; small fixes
|
2016-03-29 02:02:43 +01:00 |
|
Vítor Santos Costa
|
6bc4acec15
|
new exception
|
2016-03-29 02:00:07 +01:00 |
|
Vítor Santos Costa
|
9dacc20d34
|
fix
|
2016-03-29 01:59:01 +01:00 |
|
Vítor Santos Costa
|
06e5371afd
|
exceptions
|
2016-03-29 01:57:55 +01:00 |
|
Vítor Santos Costa
|
2dae2363a3
|
fix tests
|
2016-03-29 01:57:13 +01:00 |
|
Vítor Santos Costa
|
9f722319ec
|
fix utf-8 reading
|
2016-03-29 01:56:38 +01:00 |
|
Vítor Santos Costa
|
cda490eda8
|
aliases should be global?
|
2016-03-29 01:56:00 +01:00 |
|
Vítor Santos Costa
|
1be002558c
|
call_cleanup in C plus indenting
|
2016-03-29 01:55:12 +01:00 |
|
Vítor Santos Costa
|
fa69950c67
|
fix warnings
|
2016-03-29 01:51:48 +01:00 |
|
Vítor Santos Costa
|
f6379bcd48
|
indenting
|
2016-03-17 00:01:09 +00:00 |
|
Vítor Santos Costa
|
e9cac424f0
|
more atoms plus cleanups
|
2016-03-16 23:57:41 +00:00 |
|
Vítor Santos Costa
|
88b179b603
|
more atoms plus cleanups
|
2016-03-16 23:56:24 +00:00 |
|
Vítor Santos Costa
|
9d1fa8a907
|
prototypes
|
2016-03-16 23:55:51 +00:00 |
|
Vítor Santos Costa
|
cd1497c475
|
prototypes
|
2016-03-16 23:55:25 +00:00 |
|