Csaba Hruska
06381079be
use faster int set representation with much better memory footprint
2019-04-13 00:46:30 +02:00
Csaba Hruska
63876d8cca
fix dataflow program block serialization
2019-04-13 00:35:34 +02:00
Csaba Hruska
293ab2208a
streaming serialization
2019-04-13 00:12:46 +02:00
Csaba Hruska
a05ab2435c
fix extend ; use int_set_t ; debug log
2019-04-12 04:44:13 +02:00
Csaba Hruska
cc82324ad3
debug stats
2019-04-12 04:41:11 +02:00
Csaba Hruska
d8c68ecbf2
update sample dataflow program
2019-04-12 04:38:11 +02:00
Csaba Hruska
57ae4b098d
cleanup ; save iteration count
2019-04-10 17:46:16 +02:00
Csaba Hruska
d46d9e6881
haskell loader for AbstractInterpretationResult ; quick and dirty external dataflow evaluator
2019-04-10 17:44:52 +02:00
Csaba Hruska
7dae5816c0
save dataflow result
2019-04-10 14:36:23 +02:00
Csaba Hruska
132e2b27dd
add c++ implementation of dataflow result serialization
2019-04-10 14:33:13 +02:00
Csaba Hruska
3e74f2c8ec
add sample dataflow program
2019-04-10 13:15:10 +02:00
Csaba Hruska
1d013ea37b
implement evaluator function for c++ dataflow program
2019-04-10 13:14:28 +02:00
Csaba Hruska
8b0c264a35
implement extend C++ IR dataflow command
2019-04-10 00:18:15 +02:00
Csaba Hruska
235e246153
implement project dataflow IR command in C++
2019-04-09 16:07:45 +02:00
Csaba Hruska
2b51a20803
bump LLVM version to 7.1.0
2019-04-09 13:58:49 +02:00
Csaba Hruska
98c8d03b4d
bump LLVM minor version
2019-04-09 12:32:41 +02:00
Csaba Hruska
a22fe1344d
implement if dataflow command in c++ reducer
2019-04-09 12:02:32 +02:00
Csaba Hruska
a4bc2ab4c1
fix TagIn and TagNotIn dataflow predicate evaluation
2019-04-09 12:01:41 +02:00
Csaba Hruska
a42bb654f6
Update AbstractInterpretation.md
2019-04-06 15:05:25 +02:00
Csaba Hruska
9565a15a84
implement conditonal update
2019-04-04 17:15:18 +02:00
Csaba Hruska
dba3f65f12
implement conditonal move
2019-04-04 17:12:33 +02:00
Csaba Hruska
1e63586616
cleanup
2019-04-04 13:07:53 +02:00
Csaba Hruska
ad7764a62a
remove tag set redundancy from serialized dataflow IR ; change block: startIndex + size => startIndex + endIndex (exclusive)
2019-04-04 13:07:53 +02:00
Csaba Hruska
53a6b05b7d
implement restricted move and update
2019-04-04 13:07:53 +02:00
Csaba Hruska
ce7451e2aa
update test program
2019-04-04 13:07:53 +02:00
Csaba Hruska
62d6e69f0d
debug log
2019-04-04 13:07:53 +02:00
Csaba Hruska
0a7143e45a
fix: remove dead field
2019-04-04 13:07:53 +02:00
Andor Penzes
f25b1be0d3
Merge branch 'andorp/linker-3'
2019-04-03 22:54:36 +02:00
Andor Penzes
077d4f42f0
EffectMap: incorporate primitive operations.
2019-04-03 22:53:48 +02:00
Andor Penzes
e226728170
Lint: Make DDE checks optional.
2019-04-03 22:53:47 +02:00
Andor Penzes
33769620f6
Lint: warning on String and Float pattern match.
2019-04-03 22:53:47 +02:00
Andor Penzes
c825f6da7e
Add ashr primitive.
2019-04-03 22:53:47 +02:00
Csaba Hruska
d62c291508
minor cleanup
2019-04-03 17:59:17 +02:00
Csaba Hruska
fc4208641e
start work on C++ Dataflow IR reducer
2019-04-03 13:05:19 +02:00
Andor Penzes
104557fd89
Ability to create executables.
...
* FFI support based on prim_ops.c, prim_ops.h
* String primitives must be implemented as FFI calls
* SaveExecutable Pipeline step
* Modified LLVM codegen to handle string types
2019-04-02 23:55:59 +02:00
Csaba Hruska
9bc5e51742
Merge pull request #25 from grin-tech/andorp/linker-2
...
Ability to create executable.
2019-04-02 23:15:54 +02:00
Csaba Hruska
301e19f192
Update Readings.md
2019-03-29 07:59:44 +01:00
Andor Penzes
e2ca9900a0
CSE: Simple solution for the bug.
...
EffectMap should contain the primitive effectful functions.
2019-03-29 03:58:43 +01:00
Andor Penzes
c80cd622e5
CSE Bug.
2019-03-29 02:16:27 +01:00
Csaba Hruska
332d12fd65
add missing file: Dataflow IR binary serializer
2019-03-27 20:04:53 +01:00
Csaba Hruska
ab18051a83
CLI flag for data-flow program serialization
2019-03-27 19:16:11 +01:00
Csaba Hruska
5fae7cc5e1
add test
2019-03-27 19:14:33 +01:00
Csaba Hruska
fecadc095a
fix constant reader ; debug log
2019-03-27 19:14:03 +01:00
Csaba Hruska
88c61e11e4
load abstract program from file
2019-03-27 11:50:26 +01:00
Csaba Hruska
27880923b4
move loader into separate file
2019-03-27 11:30:22 +01:00
Csaba Hruska
4a5b1b47a6
add constant_t
2019-03-26 21:40:26 +01:00
Csaba Hruska
b3600908be
implement c++ dataflow IR loader
2019-03-26 18:51:19 +01:00
Csaba Hruska
449b8ab8c8
more descriptive name: change dataflow IR NotIn condition to AnyNotIn
2019-03-25 11:49:13 +01:00
Csaba Hruska
fe94cefe4a
All predicate is unsound because it is not monotonic. Got removed.
2019-03-25 11:43:04 +01:00
Csaba Hruska
4a51c3132f
start working on C++ dataflow IR
2019-03-24 22:24:42 +01:00