XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

• Summary
• Files
• Reviews
• Support
• Mail Lists
• Tickets ▾
  • Bugs
  • Feature Requests
  • Support Requests
  • Patches
• News
• Sources (GIT)
• Src (SVN)-old

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r5857]  Maximize  Restore  History

Add new instructions putdfloat and getdfloat to handle double floats.

Update the loader to load these instructions from the xwam files.
(There is a possible problem. The doubles are written into the xwam
file as bitstrings, and read by the loader as the same bitstring. If
representations on different machines are different, then xwam files
compiled on one system won't run on another.)

Authored by: dwarren 2008-02-16

Browse code at this revision

Parent: [r5856]

Child: [r5858]

changed	/trunk/XSB/emu/builtin.c
changed	/trunk/XSB/emu/emudef.h
changed	/trunk/XSB/emu/emuloop.c
changed	/trunk/XSB/emu/function.c
changed	/trunk/XSB/emu/inst_xsb.h
changed	/trunk/XSB/emu/loader_xsb.c
changed	/trunk/XSB/emu/random_xsb.c
changed	/trunk/XSB/emu/token_defs_xsb.h
changed	/trunk/XSB/emu/xsb_inst_list.h

/trunk/XSB/emu/builtin.c Diff Switch to side-by-side view

/trunk/XSB/emu/emudef.h Diff Switch to side-by-side view

/trunk/XSB/emu/emuloop.c Diff Switch to side-by-side view

/trunk/XSB/emu/function.c Diff Switch to side-by-side view

/trunk/XSB/emu/inst_xsb.h Diff Switch to side-by-side view

/trunk/XSB/emu/loader_xsb.c Diff Switch to side-by-side view

/trunk/XSB/emu/random_xsb.c Diff Switch to side-by-side view

/trunk/XSB/emu/token_defs_xsb.h Diff Switch to side-by-side view

/trunk/XSB/emu/xsb_inst_list.h Diff Switch to side-by-side view

✕