https://github.com/zsc/cil-lido
https://github.com/zsc/cil-lido
Last synced: about 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/zsc/cil-lido
- Owner: zsc
- License: other
- Created: 2011-04-13T08:41:24.000Z (almost 15 years ago)
- Default Branch: master
- Last Pushed: 2011-04-13T08:53:24.000Z (almost 15 years ago)
- Last Synced: 2025-01-13T15:25:25.727Z (about 1 year ago)
- Language: OCaml
- Homepage:
- Size: 3.46 MB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README
- License: LICENSE
Awesome Lists containing this project
README
* based on cil-1.3.6 http://cil.sourceforge.net/
* linda.ml contains auxilary functions
* lido contains lido components
* heapify.ml need tidy-up (the old heapify.ml is saved as heapify.orig.ml)
zsc@century:~/workspace/cil 15:56$ls obj/x86_LINUX/cilly.asm.exe
obj/x86_LINUX/cilly.asm.exe*
zsc@century:~/workspace/cil 16:02$ls -l ~/loongcc-3.1/bin/cilly.asm.exe
lrwxrwxrwx 1 zsc users 51 Mar 4 15:28 /home/zsc/loongcc-3.1/bin/cilly.asm.exe
-> /home/zsc/workspace/cil/obj/x86_LINUX/cilly.asm.exe*
Options for ART should be (note that there is one option containing variable
names)
-Wp,-cil,'--doheapify --recogDotProduct --doStructPeel
--swapAndCollapseFloatArray --assumeFieldsEqual __anonstruct_f1_neuron_19-Q-P'
Options for EQUAKE should be (note that there is one option containing variable
names)
-Wp,-cil,'--doheapify --mergeLoop --assumeDistinct disp'
To remove the variable names for art require more dataflow analysis, for equake
it requires some abstract interpretation.
See the documentation in doc/html.