ruby-vpi 18.0.2 → 19.0.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (232) hide show
  1. data/Rakefile +15 -19
  2. data/bin/generate/proto.rb +15 -10
  3. data/bin/ruby-vpi +2 -0
  4. data/doc/README +3 -5
  5. data/doc/Rakefile +3 -3
  6. data/doc/common.css +24 -136
  7. data/doc/common.tpl +48 -37
  8. data/doc/figures/figures.dia +19 -19
  9. data/doc/figures/ruby_relay.png +0 -0
  10. data/doc/history.html +252 -67
  11. data/doc/history.inc +98 -1
  12. data/doc/history.yaml +105 -0
  13. data/doc/intro.inc +43 -32
  14. data/doc/lib/doc_format.rb +19 -13
  15. data/doc/lib/doc_proxy.rb +7 -7
  16. data/doc/manual.doc +156 -117
  17. data/doc/manual.html +601 -560
  18. data/doc/memo.html +29 -25
  19. data/doc/print.css +63 -4
  20. data/doc/readme.doc +4 -6
  21. data/doc/readme.html +129 -111
  22. data/doc/rss.xml +168 -7
  23. data/doc/screen.css +146 -0
  24. data/doc/spacing.css +57 -0
  25. data/{samp → examples}/counter/RSpec/Rakefile +0 -0
  26. data/{samp → examples}/counter/RSpec/counter_design.rb +0 -0
  27. data/examples/counter/RSpec/counter_proto.rb +9 -0
  28. data/{samp → examples}/counter/RSpec/counter_runner.rake +0 -0
  29. data/{samp → examples}/counter/RSpec/counter_spec.rb +0 -0
  30. data/{samp → examples}/counter/Rakefile +0 -0
  31. data/{samp → examples}/counter/counter.v +0 -0
  32. data/{samp → examples}/counter/xUnit/Rakefile +0 -0
  33. data/{samp → examples}/counter/xUnit/counter_bench.rb +0 -0
  34. data/{samp → examples}/counter/xUnit/counter_bench.v +0 -0
  35. data/{samp → examples}/counter/xUnit/counter_design.rb +0 -0
  36. data/examples/counter/xUnit/counter_proto.rb +9 -0
  37. data/{samp → examples}/counter/xUnit/counter_runner.rake +0 -0
  38. data/{samp → examples}/counter/xUnit/counter_spec.rb +0 -0
  39. data/{samp → examples}/pipelined_alu/Hw5UnitModel.rb +0 -0
  40. data/{samp → examples}/pipelined_alu/README +0 -0
  41. data/{samp → examples}/pipelined_alu/Rakefile +0 -0
  42. data/{samp → examples}/pipelined_alu/TestHw5UnitModel.rb +0 -0
  43. data/{samp → examples}/pipelined_alu/hw5_unit.v +0 -0
  44. data/{samp → examples}/pipelined_alu/hw5_unit_design.rb +0 -7
  45. data/examples/pipelined_alu/hw5_unit_proto.rb +2 -0
  46. data/{samp → examples}/pipelined_alu/hw5_unit_runner.rake +0 -0
  47. data/{samp → examples}/pipelined_alu/hw5_unit_spec.rb +0 -0
  48. data/{samp → examples}/pipelined_alu/int_gen.rb +0 -0
  49. data/{samp → examples}/register_file/LICENSE +0 -0
  50. data/{samp → examples}/register_file/README +0 -0
  51. data/{samp → examples}/register_file/Rakefile +0 -0
  52. data/{samp → examples}/register_file/register_file.v +0 -0
  53. data/{samp → examples}/register_file/register_file_design.rb +0 -0
  54. data/examples/register_file/register_file_proto.rb +11 -0
  55. data/{samp → examples}/register_file/register_file_runner.rake +0 -0
  56. data/{samp → examples}/register_file/register_file_spec.rb +0 -0
  57. data/ext/main.c +5 -5
  58. data/ext/swig_vpi.i +6 -2
  59. data/lib/ruby-vpi/core/callback.rb +142 -0
  60. data/lib/ruby-vpi/core/edge.rb +128 -0
  61. data/lib/ruby-vpi/core/handle.rb +421 -0
  62. data/lib/ruby-vpi/core/scheduler.rb +244 -0
  63. data/lib/ruby-vpi/core/struct.rb +123 -0
  64. data/lib/ruby-vpi/core.rb +41 -0
  65. data/lib/ruby-vpi/rcov.rb +25 -12
  66. data/lib/ruby-vpi/runner.rb +30 -26
  67. data/lib/ruby-vpi/runner_boot_loader.rb +67 -37
  68. data/lib/ruby-vpi.rb +2 -2
  69. data/ref/c/annotated.html +1 -1
  70. data/ref/c/common_8h.html +1 -1
  71. data/ref/c/files.html +1 -1
  72. data/ref/c/functions.html +1 -1
  73. data/ref/c/functions_vars.html +1 -1
  74. data/ref/c/globals.html +1 -1
  75. data/ref/c/globals_0x63.html +1 -1
  76. data/ref/c/globals_0x65.html +1 -1
  77. data/ref/c/globals_0x66.html +1 -1
  78. data/ref/c/globals_0x6d.html +1 -1
  79. data/ref/c/globals_0x70.html +1 -1
  80. data/ref/c/globals_0x72.html +1 -1
  81. data/ref/c/globals_0x73.html +1 -1
  82. data/ref/c/globals_0x74.html +1 -1
  83. data/ref/c/globals_0x76.html +1 -1
  84. data/ref/c/globals_0x78.html +1 -1
  85. data/ref/c/globals_defs.html +1 -1
  86. data/ref/c/globals_defs_0x65.html +1 -1
  87. data/ref/c/globals_defs_0x70.html +1 -1
  88. data/ref/c/globals_defs_0x76.html +1 -1
  89. data/ref/c/globals_defs_0x78.html +1 -1
  90. data/ref/c/globals_enum.html +1 -1
  91. data/ref/c/globals_eval.html +1 -1
  92. data/ref/c/globals_func.html +1 -1
  93. data/ref/c/globals_type.html +1 -1
  94. data/ref/c/globals_vars.html +1 -1
  95. data/ref/c/index.html +1 -1
  96. data/ref/c/main_8c.html +1 -1
  97. data/ref/c/main_8h.html +1 -1
  98. data/ref/c/relay_8c.html +1 -1
  99. data/ref/c/relay_8h.html +1 -1
  100. data/ref/c/structt__cb__data.html +1 -1
  101. data/ref/c/structt__vpi__delay.html +1 -1
  102. data/ref/c/structt__vpi__error__info.html +1 -1
  103. data/ref/c/structt__vpi__strengthval.html +1 -1
  104. data/ref/c/structt__vpi__systf__data.html +1 -1
  105. data/ref/c/structt__vpi__time.html +1 -1
  106. data/ref/c/structt__vpi__value.html +1 -1
  107. data/ref/c/structt__vpi__vecval.html +1 -1
  108. data/ref/c/structt__vpi__vlog__info.html +1 -1
  109. data/ref/c/verilog_8h.html +1 -1
  110. data/ref/c/vlog_8c.html +1 -1
  111. data/ref/c/vlog_8h.html +1 -1
  112. data/ref/c/vpi__user_8h.html +1 -1
  113. data/ref/ruby/classes/ERB.html +7 -5
  114. data/ref/ruby/classes/ERB.src/{M000026.html → M000024.html} +0 -0
  115. data/ref/ruby/classes/FileUtils.html +11 -11
  116. data/ref/ruby/classes/FileUtils.src/{M000027.html → M000025.html} +0 -0
  117. data/ref/ruby/classes/FileUtils.src/{M000028.html → M000026.html} +0 -0
  118. data/ref/ruby/classes/Float.html +8 -6
  119. data/ref/ruby/classes/Float.src/{M000021.html → M000019.html} +0 -0
  120. data/ref/ruby/classes/Integer.html +67 -65
  121. data/ref/ruby/classes/Integer.src/M000007.html +25 -0
  122. data/ref/ruby/classes/Integer.src/{M000014.html → M000008.html} +5 -5
  123. data/ref/ruby/classes/Integer.src/M000009.html +5 -12
  124. data/ref/ruby/classes/Integer.src/M000010.html +5 -5
  125. data/ref/ruby/classes/Integer.src/M000011.html +5 -5
  126. data/ref/ruby/classes/Integer.src/M000012.html +5 -5
  127. data/ref/ruby/classes/Integer.src/M000015.html +25 -0
  128. data/ref/ruby/classes/Integer.src/M000016.html +31 -0
  129. data/ref/ruby/classes/Integer.src/M000017.html +12 -12
  130. data/ref/ruby/classes/Integer.src/M000018.html +17 -18
  131. data/ref/ruby/classes/Object.html +126 -0
  132. data/ref/ruby/classes/RDoc.html +5 -5
  133. data/ref/ruby/classes/RDoc.src/{M000061.html → M000081.html} +0 -0
  134. data/ref/ruby/classes/RubyVPI.html +50 -9
  135. data/ref/ruby/classes/String.html +22 -20
  136. data/ref/ruby/classes/String.src/M000020.html +36 -0
  137. data/ref/ruby/classes/String.src/M000021.html +41 -0
  138. data/ref/ruby/classes/String.src/M000022.html +5 -23
  139. data/ref/ruby/classes/String.src/M000023.html +5 -28
  140. data/ref/ruby/classes/{Vpi → VPI}/Handle.html +442 -140
  141. data/ref/ruby/classes/{Vpi/Handle.src/M000042.html → VPI/Handle.src/M000037.html} +4 -4
  142. data/ref/ruby/classes/VPI/Handle.src/M000038.html +21 -0
  143. data/ref/ruby/classes/VPI/Handle.src/M000039.html +18 -0
  144. data/ref/ruby/classes/{Vpi/Handle.src/M000036.html → VPI/Handle.src/M000040.html} +5 -5
  145. data/ref/ruby/classes/VPI/Handle.src/M000045.html +18 -0
  146. data/ref/ruby/classes/{Vpi/Handle.src/M000038.html → VPI/Handle.src/M000046.html} +5 -5
  147. data/ref/ruby/classes/VPI/Handle.src/M000057.html +18 -0
  148. data/ref/ruby/classes/{Vpi/Handle.src/M000040.html → VPI/Handle.src/M000058.html} +5 -5
  149. data/ref/ruby/classes/VPI/Handle.src/M000061.html +18 -0
  150. data/ref/ruby/classes/VPI/Handle.src/M000062.html +18 -0
  151. data/ref/ruby/classes/{Vpi/Handle.src/M000054.html → VPI/Handle.src/M000065.html} +11 -11
  152. data/ref/ruby/classes/VPI/Handle.src/M000067.html +21 -0
  153. data/ref/ruby/classes/VPI/Handle.src/M000068.html +28 -0
  154. data/ref/ruby/classes/VPI/Handle.src/M000069.html +50 -0
  155. data/ref/ruby/classes/{Vpi/Handle.src/M000048.html → VPI/Handle.src/M000070.html} +6 -6
  156. data/ref/ruby/classes/{Vpi/Handle.src/M000049.html → VPI/Handle.src/M000071.html} +6 -6
  157. data/ref/ruby/classes/{Vpi/Handle.src/M000050.html → VPI/Handle.src/M000072.html} +5 -5
  158. data/ref/ruby/classes/{Vpi/Handle.src/M000051.html → VPI/Handle.src/M000073.html} +17 -17
  159. data/ref/ruby/classes/VPI/Handle.src/M000075.html +18 -0
  160. data/ref/ruby/classes/VPI/Handle.src/M000076.html +40 -0
  161. data/ref/ruby/classes/{Vpi/Handle.src/M000056.html → VPI/Handle.src/M000077.html} +18 -18
  162. data/ref/ruby/classes/{Vpi → VPI}/S_vpi_time.html +22 -20
  163. data/ref/ruby/classes/VPI/S_vpi_time.src/M000078.html +18 -0
  164. data/ref/ruby/classes/VPI/S_vpi_time.src/M000079.html +19 -0
  165. data/ref/ruby/classes/{Vpi → VPI}/S_vpi_value.html +37 -23
  166. data/ref/ruby/classes/VPI/S_vpi_value.src/M000034.html +35 -0
  167. data/ref/ruby/classes/VPI/S_vpi_value.src/M000035.html +42 -0
  168. data/ref/ruby/classes/VPI/S_vpi_value.src/M000036.html +42 -0
  169. data/ref/ruby/classes/{Vpi.html → VPI.html} +129 -34
  170. data/ref/ruby/classes/VPI.src/M000027.html +19 -0
  171. data/ref/ruby/classes/VPI.src/M000028.html +18 -0
  172. data/ref/ruby/classes/VPI.src/M000029.html +19 -0
  173. data/ref/ruby/classes/VPI.src/M000031.html +25 -0
  174. data/ref/ruby/classes/VPI.src/M000032.html +26 -0
  175. data/ref/ruby/classes/VerilogParser/Module/Port.html +17 -15
  176. data/ref/ruby/classes/VerilogParser/Module/Port.src/M000004.html +23 -0
  177. data/ref/ruby/classes/VerilogParser/Module/Port.src/{M000007.html → M000005.html} +0 -0
  178. data/ref/ruby/classes/VerilogParser/Module/Port.src/M000006.html +5 -10
  179. data/ref/ruby/classes/VerilogParser/Module.html +7 -5
  180. data/ref/ruby/classes/VerilogParser/Module.src/{M000005.html → M000003.html} +0 -0
  181. data/ref/ruby/classes/VerilogParser.html +7 -5
  182. data/ref/ruby/classes/VerilogParser.src/{M000004.html → M000002.html} +0 -0
  183. data/ref/ruby/created.rid +1 -1
  184. data/ref/ruby/files/bin/generate_rb.html +2 -2
  185. data/ref/ruby/files/lib/ruby-vpi/{vpi_rb.html → core/callback_rb.html} +7 -8
  186. data/ref/ruby/files/lib/ruby-vpi/core/edge_rb.html +114 -0
  187. data/ref/ruby/files/lib/ruby-vpi/core/handle_rb.html +107 -0
  188. data/ref/ruby/files/lib/ruby-vpi/core/scheduler_rb.html +114 -0
  189. data/ref/ruby/files/lib/ruby-vpi/core/struct_rb.html +108 -0
  190. data/ref/ruby/files/lib/ruby-vpi/core_rb.html +121 -0
  191. data/ref/ruby/files/lib/ruby-vpi/rcov_rb.html +1 -1
  192. data/ref/ruby/files/lib/ruby-vpi/runner_boot_loader_rb.html +5 -41
  193. data/ref/ruby/files/lib/ruby-vpi/runner_boot_loader_rb.src/M000001.html +3 -3
  194. data/ref/ruby/files/lib/ruby-vpi/runner_rb.html +1 -1
  195. data/ref/ruby/files/lib/ruby-vpi_rb.html +1 -1
  196. data/ref/ruby/fr_class_index.html +5 -4
  197. data/ref/ruby/fr_file_index.html +6 -1
  198. data/ref/ruby/fr_method_index.html +80 -60
  199. metadata +126 -103
  200. data/ext/swig_vpi.h +0 -924
  201. data/ext/swig_wrap.cin +0 -7083
  202. data/lib/ruby-vpi/vpi.rb +0 -651
  203. data/ref/ruby/classes/Integer.src/M000013.html +0 -18
  204. data/ref/ruby/classes/Integer.src/M000019.html +0 -25
  205. data/ref/ruby/classes/Integer.src/M000020.html +0 -30
  206. data/ref/ruby/classes/String.src/M000024.html +0 -18
  207. data/ref/ruby/classes/String.src/M000025.html +0 -18
  208. data/ref/ruby/classes/VerilogParser/Module/Port.src/M000008.html +0 -18
  209. data/ref/ruby/classes/Vpi/Handle.src/M000035.html +0 -18
  210. data/ref/ruby/classes/Vpi/Handle.src/M000037.html +0 -18
  211. data/ref/ruby/classes/Vpi/Handle.src/M000039.html +0 -18
  212. data/ref/ruby/classes/Vpi/Handle.src/M000041.html +0 -18
  213. data/ref/ruby/classes/Vpi/Handle.src/M000043.html +0 -21
  214. data/ref/ruby/classes/Vpi/Handle.src/M000044.html +0 -21
  215. data/ref/ruby/classes/Vpi/Handle.src/M000045.html +0 -22
  216. data/ref/ruby/classes/Vpi/Handle.src/M000046.html +0 -50
  217. data/ref/ruby/classes/Vpi/Handle.src/M000047.html +0 -91
  218. data/ref/ruby/classes/Vpi/Handle.src/M000053.html +0 -18
  219. data/ref/ruby/classes/Vpi/Handle.src/M000057.html +0 -40
  220. data/ref/ruby/classes/Vpi/S_vpi_time.src/M000058.html +0 -18
  221. data/ref/ruby/classes/Vpi/S_vpi_time.src/M000059.html +0 -19
  222. data/ref/ruby/classes/Vpi/S_vpi_value.src/M000032.html +0 -18
  223. data/ref/ruby/classes/Vpi/S_vpi_value.src/M000033.html +0 -18
  224. data/ref/ruby/classes/Vpi/S_vpi_value.src/M000034.html +0 -18
  225. data/ref/ruby/classes/Vpi.src/M000029.html +0 -28
  226. data/ref/ruby/classes/Vpi.src/M000030.html +0 -39
  227. data/ref/ruby/classes/Vpi.src/M000031.html +0 -20
  228. data/ref/ruby/files/lib/ruby-vpi/runner_boot_loader_rb.src/M000002.html +0 -18
  229. data/samp/counter/RSpec/counter_proto.rb +0 -10
  230. data/samp/counter/xUnit/counter_proto.rb +0 -10
  231. data/samp/pipelined_alu/hw5_unit_proto.rb +0 -4
  232. data/samp/register_file/register_file_proto.rb +0 -11
data/Rakefile CHANGED
@@ -26,7 +26,7 @@ task :default => :build
26
26
  PROJECT_SSH_URL = "snk@rubyforge.org:/var/www/gforge-projects/#{PROJECT_ID}"
27
27
 
28
28
  load 'doc/history.rb'
29
- head = @history.first
29
+ head = @history.first
30
30
  PROJECT_VERSION = head['Version']
31
31
  PROJECT_BIRTHDAY = head['Date']
32
32
 
@@ -147,23 +147,16 @@ task :default => :build
147
147
 
148
148
  # distribution
149
149
 
150
- desc "Prepare for distribution."
151
- task :dist => ['ext', 'ref', :doc] do |t|
152
- cd 'ext' do
153
- sh 'rake swig'
154
- end
155
- end
156
-
157
150
  desc 'Publish documentation to website.'
158
- task :web => [:web_ref, :web_doc]
151
+ task :web => ['ref/web', 'doc/web']
159
152
 
160
153
  desc "Publish reference documentation."
161
- task :web_ref => 'ref' do |t|
154
+ task 'ref/web' => 'ref' do |t|
162
155
  upload PROJECT_SSH_URL, *t.prerequisites
163
156
  end
164
157
 
165
158
  desc "Publish user documentation."
166
- task :web_doc => 'doc' do |t|
159
+ task 'doc/web' => 'doc' do |t|
167
160
  upload PROJECT_SSH_URL, *t.prerequisites
168
161
  end
169
162
 
@@ -197,7 +190,7 @@ task :default => :build
197
190
  # packaging
198
191
 
199
192
  desc "Generate release packages."
200
- task :release => [:clobber, :dist] do
193
+ task :release => [:ref, :doc] do
201
194
  sh 'rake package'
202
195
  end
203
196
 
@@ -214,6 +207,7 @@ task :default => :build
214
207
  s.add_dependency 'rcov', '>= 0.7.0'
215
208
  s.add_dependency 'xx' # needed by rcov
216
209
  s.add_dependency 'ruby-debug', '>= 0.5.2'
210
+ s.add_dependency 'ruby-prof'
217
211
 
218
212
  s.requirements << "POSIX threads library"
219
213
  s.requirements << "C language compiler"
@@ -234,12 +228,12 @@ task :default => :build
234
228
  desc "Configures the gem during installation."
235
229
  task :gem_config_inst do |t|
236
230
  # make documentation available to gem_server
237
- gemDir = File.dirname(__FILE__)
238
- gemName = File.basename(gemDir)
239
- docDir = File.join('..', '..', 'doc', gemName)
231
+ gemDir = File.dirname(__FILE__)
232
+ gemName = File.basename(gemDir)
233
+ docDir = File.join('..', '..', 'doc', gemName)
240
234
 
241
- mkdir_p docDir
242
- ln_s gemDir, File.join(docDir, 'rdoc')
235
+ mkdir_p docDir
236
+ ln_s gemDir, File.join(docDir, 'rdoc')
243
237
  end
244
238
 
245
239
 
@@ -250,9 +244,11 @@ task :default => :build
250
244
  # ensures that current sources are tested instead of the installed gem
251
245
  ENV['RUBYLIB'] = PROJECT_LIBS
252
246
 
253
- FileList['samp/**/*.rake'].each do |runner|
247
+ sim = ENV['SIMULATOR'] || 'cver'
248
+
249
+ FileList['examples/**/*.rake'].each do |runner|
254
250
  cd File.dirname(runner) do
255
- sh 'rake', '-f', File.basename(runner), ENV['SIMULATOR'] || 'cver'
251
+ sh 'rake', '-f', File.basename(runner), sim
256
252
  end
257
253
  end
258
254
  end
@@ -1,13 +1,18 @@
1
- # Ruby prototype of the design under test's Verilog implementation.
2
- def feign!
3
- if <%= aModuleInfo.clock_port.name rescue "YOUR_CLOCK_SIGNAL_HERE" %>.posedge?
4
- # discard old outputs
5
- <% aModuleInfo.output_ports.each do |port| %>
6
- <%= port.name %>.x!
7
- <% end %>
1
+ always do
2
+ wait until <%= aModuleInfo.clock_port.name rescue "YOUR_CLOCK_SIGNAL_HERE" %>.posedge?
8
3
 
9
- # process new inputs
4
+ # discard old outputs
5
+ <% aModuleInfo.output_ports.each do |port| %>
6
+ <%= port.name %>.x!
7
+ <% end %>
10
8
 
11
- # produce new outputs
12
- end
9
+ # process new inputs
10
+ <% aModuleInfo.input_ports.each do |port| %>
11
+ # some_interesting_process( <%= port.name %> )
12
+ <% end %>
13
+
14
+ # produce new outputs
15
+ <% aModuleInfo.output_ports.each do |port| %>
16
+ # <%= port.name %> = some interesting output
17
+ <% end %>
13
18
  end
data/bin/ruby-vpi CHANGED
@@ -1,3 +1,5 @@
1
+ #!/usr/bin/env ruby
2
+ #
1
3
  # This is a front-end for tools provided by Ruby-VPI.
2
4
  #
3
5
  # Usage:
data/doc/README CHANGED
@@ -2,10 +2,8 @@ The *.doc files in this directory are plain-text files!
2
2
 
3
3
  To transform them into XHTML, you need the following software:
4
4
 
5
- Rake: http://docs.rubyrake.org/
6
-
7
- RedCloth: http://whytheluckystiff.net/ruby/redcloth/
8
-
9
- Coderay: http://coderay.rubychan.de/
5
+ * Rake: http://docs.rubyrake.org/
6
+ * RedCloth: http://whytheluckystiff.net/ruby/redcloth/
7
+ * Coderay: http://coderay.rubychan.de/
10
8
 
11
9
  Once you have the above software, simply run the "rake" command.
data/doc/Rakefile CHANGED
@@ -10,9 +10,9 @@ $: << File.join(File.dirname(__FILE__), '..', 'lib')
10
10
  require 'ruby-vpi'
11
11
  include RubyVPI
12
12
 
13
- HISTORY_URL = WEBSITE_URL + "/history.html"
14
- RSS_URL = WEBSITE_URL + '/rss.xml'
15
- RSS_INFO = "RSS feed for this project."
13
+ HISTORY_URL = PROJECT_URL + "/doc/history.html"
14
+ RSS_URL = PROJECT_URL + '/doc/rss.xml'
15
+ RSS_INFO = "RSS feed for this project."
16
16
 
17
17
  require 'ruby-vpi/erb'
18
18
  include ERB::Util
data/doc/common.css CHANGED
@@ -1,108 +1,43 @@
1
- body {
2
- margin: 0;
3
- background-color: snow;
4
- line-height: 160%;
5
- }
6
-
7
- #body {
8
- margin-left: auto;
9
- margin-right: auto;
10
- max-width: 37em;
1
+ @import 'spacing.css';
11
2
 
12
- background-color: white;
13
- border-left: thick solid salmon;
14
- border-right: thick solid salmon;
15
- padding: 2em;
16
- }
17
-
18
-
19
- /* headings */
20
-
21
- h1, h2, h3, h4, h5, h6, th, .title {
22
- font-family: serif;
23
- }
24
-
25
- h1, h2, h3, h4, h5, h6 {
26
- font-weight: lighter;
27
- padding-top: 3em;
28
- border-bottom: thin solid silver;
3
+ body {
4
+ line-height: 1.8em;
29
5
  }
30
6
 
31
7
 
32
- /* table of contents */
8
+ /* tables */
33
9
 
34
- #toc-links,
35
- #site-links {
36
- text-align: center;
37
- border-bottom: thick solid salmon;
38
- background-color: white;
39
- padding: 1em;
10
+ table {
11
+ background-color: white; /* otherwise it's transparent! */
40
12
  }
41
13
 
42
- #toc-links {
43
- background-color: ivory;
14
+ th, td {
15
+ padding: 0.5em;
16
+ border: thin solid silver;
44
17
  }
45
18
 
46
- #toc {
47
- border-top: thick solid salmon;
48
- background-color: white;
49
- padding: 1em;
19
+ th {
20
+ background-color: whitesmoke;
50
21
  }
51
22
 
52
23
 
53
24
  /* latex */
54
25
 
55
- .front_cover {
56
- margin-bottom: 10em;
57
- }
58
-
59
26
  .front_cover h1,
60
27
  .front_cover h2,
61
28
  .front_cover h3,
62
29
  .front_cover h4,
63
30
  .front_cover h5,
64
31
  .front_cover h6 {
65
- border: none;
66
32
  text-align: center;
67
33
  }
68
34
 
69
- .part,
70
- .chapter {
71
- padding-top: 3em;
72
- padding-bottom: 3em;
73
- }
74
-
75
- .part > .title,
76
- .chapter > .title {
77
- border: none;
78
- padding-bottom: 1em;
79
- }
80
-
81
- .part > .title {
82
- border-bottom: thick solid salmon;
83
- }
84
-
85
- .paragraph > .title,
86
- .admonition .title {
87
- font-family: serif;
88
- font-size: larger;
89
- }
90
-
91
- .paragraph > .title {
92
- padding-top: 1em;
93
- }
94
-
95
35
 
96
36
  /* admonitions */
97
37
 
98
38
  .admonition {
99
39
  border: thin solid seagreen;
100
40
  background-color: honeydew;
101
- padding: 1em;
102
- margin-top: 1em;
103
- margin-bottom: 1em;
104
-
105
- min-height: 150px;
106
41
  }
107
42
 
108
43
  .admonition .icon {
@@ -120,14 +55,10 @@ tt {
120
55
  background-color: floralwhite;
121
56
  }
122
57
 
123
- pre, blockquote .code {
124
- padding: 1em;
58
+ pre {
125
59
  line-height: normal;
126
- overflow: auto;
127
60
  display: block;
128
- }
129
61
 
130
- pre {
131
62
  border: thin solid darkgray;
132
63
  background-color: whitesmoke;
133
64
  }
@@ -138,28 +69,7 @@ pre {
138
69
  }
139
70
 
140
71
 
141
- /* tables */
142
-
143
- table {
144
- background-color: white; /* otherwise it's transparent! */
145
- }
146
-
147
- th, td {
148
- padding: 1em;
149
- border: thin solid silver;
150
- }
151
-
152
- th {
153
- background-color: whitesmoke;
154
- }
155
-
156
-
157
- /* formal blocks; see http://www.sagehill.net/docbookxsl/FormalTitles.html */
158
-
159
- .formal {
160
- padding-top: 1em;
161
- padding-bottom: 1em;
162
- }
72
+ /* formal blocks */
163
73
 
164
74
  .formal .title {
165
75
  display: block;
@@ -167,45 +77,23 @@ th {
167
77
  text-align: center
168
78
  }
169
79
 
170
-
171
- /* center-align any tables and images */
172
-
173
- .formal table, .formal img {
174
- margin-left: auto;
175
- margin-right: auto;
176
- }
177
-
178
- .formal img {
179
- display: block;
180
- }
181
-
182
-
183
- /* emphasis */
184
-
185
- body {
186
- font-family: sans-serif;
80
+ /* center-align any tables and images */
81
+ .formal table, .formal img {
82
+ margin-left: auto;
83
+ margin-right: auto;
187
84
  }
188
-
189
- em, blockquote {
190
- font-family: serif;
85
+ .formal img {
86
+ display: block;
191
87
  }
192
88
 
193
- blockquote {
194
- border-left: thick solid darkkhaki;
195
- background: beige;
196
- }
197
89
 
198
- hr {
199
- background-color: red;
200
- border: none;
201
- }
202
90
 
203
- big {
204
- font-size: larger;
205
- }
91
+ /* emphasis */
206
92
 
207
- a:hover {
208
- color: red;
93
+ pre, code, .admonition {
94
+ border-radius: 1em;
95
+ -moz-border-radius: 1em;
96
+ -webkit-border-radius: 1em;
209
97
  }
210
98
 
211
99
 
data/doc/common.tpl CHANGED
@@ -27,53 +27,64 @@
27
27
  <html>
28
28
  <head>
29
29
  <meta http-equiv="content-type" content="text/html; charset=utf-8"/>
30
- <link rel="stylesheet" type="text/css" href="common.css" media="screen" />
30
+ <link rel="stylesheet" type="text/css" href="screen.css" media="screen" />
31
31
  <link rel="stylesheet" type="text/css" href="print.css" media="print" />
32
+ <link rel="alternate stylesheet" type="text/css" href="print.css" title="Print Preview" />
32
33
  <link rel="alternate" type="application/rss+xml" href="<%= RSS_URL %>" title="<%= RSS_INFO %>" />
33
34
  <title><%= page_title %></title>
34
35
  </head>
35
36
  <body>
36
- <div id="site-links">
37
- <a href="readme.html">Home</a>
38
- <%
39
- Dir['*.doc'].each do |src|
40
- name, ext = src.split('.', 2)
41
- next if name == 'readme'
42
- %>
43
- &middot; <a href="<%= name %>.html"><%= name.capitalize %></a>
44
- <% end %>
45
- <hr style="display: none"/>
46
- </div>
37
+ <div id="menu">
38
+ <h1>Site navigation</h1>
39
+ <ul id="site-links">
40
+ <li><a href="readme.html">Home</a></li>
41
+ <%
42
+ Dir['*.doc'].each do |src|
43
+ name, ext = src.split('.', 2)
44
+ next if name == 'readme'
45
+ %>
46
+ <li><a href="<%= name %>.html"><%= name.capitalize %></a></li>
47
+ <% end %>
48
+ </ul>
47
49
 
48
- <% if insert_toc %>
49
- <div id="toc-links">
50
- <%=
51
- links = listings.map do |x|
52
- %{<a href="##{x.anchor}">#{x.name}</a>}
53
- end
54
- links.unshift %{<a href="#toc:contents">Contents</a>}
55
- links.join ' &middot; '
56
- %>
57
- </div>
58
- <% end %>
50
+ <% if insert_toc %>
51
+ <%
52
+ links = listings.map do |x|
53
+ %{<a href="##{x.anchor}">#{x.name}</a>}
54
+ end
59
55
 
60
- <div id="body"><%= content %></div>
56
+ unless links.empty?
57
+ %>
58
+ <h1>Menu navigation</h1>
59
+ <ul id="toc-links">
60
+ <%=
61
+ links.unshift %{<a href="#toc-contents">Contents</a>}
62
+ links.map {|x| "<li>#{x}</li>"}.join
63
+ %>
64
+ </ul>
65
+ <% end %>
61
66
 
62
- <% if insert_toc %>
63
- <hr style="display: none"/>
64
- <div id="toc">
65
- <h1 id="toc:contents">Contents</h1>
66
- <%= toc %>
67
+ <div id="toc">
68
+ <h1 id="toc-contents">Contents</h1>
69
+ <%= toc %>
67
70
 
68
- <% listings.each do |x| %>
69
- <h1 id="<%= x.anchor %>"><%= x.name %></h1>
70
- <ol>
71
- <% x.nodes.map do |node| %>
72
- <%= %{<li><a href="##{node.anchor}" id="#{node.tocAnchor}">#{node.title.to_html}</a></li>} %>
73
- <% end %>
74
- </ol>
71
+ <% listings.each do |x| %>
72
+ <h1 id="<%= x.anchor %>"><%= x.name %></h1>
73
+ <ol>
74
+ <% x.nodes.map do |node| %>
75
+ <%= %{<li><a href="##{node.anchor}" id="#{node.tocAnchor}">#{node.title.to_html}</a></li>} %>
76
+ <% end %>
77
+ </ol>
78
+ <% end %>
79
+ </div>
75
80
  <% end %>
76
81
  </div>
77
- <% end %>
82
+
83
+ <div id="body">
84
+ <%= content %>
85
+ <br/>
86
+ <hr/>
87
+ This website is maintained by Suraj N. Kurapati (SNK at GNA dot ORG). This particular webpage was last updated on <%= Time.now %>.
88
+ </div>
78
89
  </body>
79
90
  </html>
@@ -97,7 +97,7 @@
97
97
  <dia:real val="0.80000000000000004"/>
98
98
  </dia:attribute>
99
99
  <dia:attribute name="pos">
100
- <dia:point val="8.5,96.15"/>
100
+ <dia:point val="8.5,96.1425"/>
101
101
  </dia:attribute>
102
102
  <dia:attribute name="color">
103
103
  <dia:color val="#000000"/>
@@ -142,7 +142,7 @@
142
142
  <dia:real val="0.80000000000000004"/>
143
143
  </dia:attribute>
144
144
  <dia:attribute name="pos">
145
- <dia:point val="24.1527,96.15"/>
145
+ <dia:point val="24.1527,96.1425"/>
146
146
  </dia:attribute>
147
147
  <dia:attribute name="color">
148
148
  <dia:color val="#000000"/>
@@ -193,15 +193,15 @@
193
193
  </dia:object>
194
194
  <dia:object type="Standard - Text" version="1" id="O3">
195
195
  <dia:attribute name="obj_pos">
196
- <dia:point val="13,95"/>
196
+ <dia:point val="14,95"/>
197
197
  </dia:attribute>
198
198
  <dia:attribute name="obj_bb">
199
- <dia:rectangle val="13,94.4325;20.0175,95.435"/>
199
+ <dia:rectangle val="14,94.4404;19.2671,95.4316"/>
200
200
  </dia:attribute>
201
201
  <dia:attribute name="text">
202
202
  <dia:composite type="text">
203
203
  <dia:attribute name="string">
204
- <dia:string>#Vpi::advance_time(Y)#</dia:string>
204
+ <dia:string>#advance_time(Y)#</dia:string>
205
205
  </dia:attribute>
206
206
  <dia:attribute name="font">
207
207
  <dia:font family="monospace" style="0" name="Courier"/>
@@ -210,7 +210,7 @@
210
210
  <dia:real val="0.80000000000000004"/>
211
211
  </dia:attribute>
212
212
  <dia:attribute name="pos">
213
- <dia:point val="13,95"/>
213
+ <dia:point val="14,95"/>
214
214
  </dia:attribute>
215
215
  <dia:attribute name="color">
216
216
  <dia:color val="#ff0000"/>
@@ -271,7 +271,7 @@
271
271
  <dia:point val="6,94"/>
272
272
  </dia:attribute>
273
273
  <dia:attribute name="obj_bb">
274
- <dia:rectangle val="6,93.4325;11.0948,94.435"/>
274
+ <dia:rectangle val="6,93.4575;10.8345,94.3975"/>
275
275
  </dia:attribute>
276
276
  <dia:attribute name="text">
277
277
  <dia:composite type="text">
@@ -304,7 +304,7 @@
304
304
  <dia:point val="13,99"/>
305
305
  </dia:attribute>
306
306
  <dia:attribute name="obj_bb">
307
- <dia:rectangle val="13,98.45;19.3273,99.4"/>
307
+ <dia:rectangle val="13,98.4575;19.047,99.3975"/>
308
308
  </dia:attribute>
309
309
  <dia:attribute name="text">
310
310
  <dia:composite type="text">
@@ -337,7 +337,7 @@
337
337
  <dia:point val="22,94"/>
338
338
  </dia:attribute>
339
339
  <dia:attribute name="obj_bb">
340
- <dia:rectangle val="22,93.45;27.0773,94.4"/>
340
+ <dia:rectangle val="22,93.4575;26.8345,94.3975"/>
341
341
  </dia:attribute>
342
342
  <dia:attribute name="text">
343
343
  <dia:composite type="text">
@@ -425,7 +425,7 @@
425
425
  <dia:real val="0.80000000000000004"/>
426
426
  </dia:attribute>
427
427
  <dia:attribute name="pos">
428
- <dia:point val="20.5,80.15"/>
428
+ <dia:point val="20.5,80.1425"/>
429
429
  </dia:attribute>
430
430
  <dia:attribute name="color">
431
431
  <dia:color val="#000000"/>
@@ -470,7 +470,7 @@
470
470
  <dia:real val="0.80000000000000004"/>
471
471
  </dia:attribute>
472
472
  <dia:attribute name="pos">
473
- <dia:point val="27.6375,80.15"/>
473
+ <dia:point val="27.6375,80.1425"/>
474
474
  </dia:attribute>
475
475
  <dia:attribute name="color">
476
476
  <dia:color val="#000000"/>
@@ -530,7 +530,7 @@
530
530
  <dia:point val="16,77"/>
531
531
  </dia:attribute>
532
532
  <dia:attribute name="obj_bb">
533
- <dia:rectangle val="16,76.45;18.15,78.2"/>
533
+ <dia:rectangle val="16,76.5288;18.0025,78.3988"/>
534
534
  </dia:attribute>
535
535
  <dia:attribute name="text">
536
536
  <dia:composite type="text">
@@ -621,7 +621,7 @@
621
621
  <dia:real val="0.80000000000000004"/>
622
622
  </dia:attribute>
623
623
  <dia:attribute name="pos">
624
- <dia:point val="30.5,72.1"/>
624
+ <dia:point val="30.5,72.0925"/>
625
625
  </dia:attribute>
626
626
  <dia:attribute name="color">
627
627
  <dia:color val="#000000"/>
@@ -638,7 +638,7 @@
638
638
  <dia:point val="25,69"/>
639
639
  </dia:attribute>
640
640
  <dia:attribute name="obj_bb">
641
- <dia:rectangle val="25,68.45;30.4055,70.2"/>
641
+ <dia:rectangle val="25,68.5288;30.1197,70.3988"/>
642
642
  </dia:attribute>
643
643
  <dia:attribute name="text">
644
644
  <dia:composite type="text">
@@ -772,7 +772,7 @@
772
772
  <dia:real val="0.80000000000000004"/>
773
773
  </dia:attribute>
774
774
  <dia:attribute name="pos">
775
- <dia:point val="17.5,72.15"/>
775
+ <dia:point val="17.5,72.1425"/>
776
776
  </dia:attribute>
777
777
  <dia:attribute name="color">
778
778
  <dia:color val="#000000"/>
@@ -788,7 +788,7 @@
788
788
  <dia:point val="12,69"/>
789
789
  </dia:attribute>
790
790
  <dia:attribute name="obj_bb">
791
- <dia:rectangle val="12,68.45;17.2617,70.2"/>
791
+ <dia:rectangle val="12,68.5288;16.971,70.3988"/>
792
792
  </dia:attribute>
793
793
  <dia:attribute name="text">
794
794
  <dia:composite type="text">
@@ -901,7 +901,7 @@
901
901
  <dia:real val="0.80000000000000004"/>
902
902
  </dia:attribute>
903
903
  <dia:attribute name="pos">
904
- <dia:point val="29.5,53.1"/>
904
+ <dia:point val="29.5,53.0925"/>
905
905
  </dia:attribute>
906
906
  <dia:attribute name="color">
907
907
  <dia:color val="#000000"/>
@@ -946,7 +946,7 @@
946
946
  <dia:real val="0.80000000000000004"/>
947
947
  </dia:attribute>
948
948
  <dia:attribute name="pos">
949
- <dia:point val="21.5,53.15"/>
949
+ <dia:point val="21.5,53.1425"/>
950
950
  </dia:attribute>
951
951
  <dia:attribute name="color">
952
952
  <dia:color val="#000000"/>
@@ -1089,7 +1089,7 @@
1089
1089
  <dia:real val="0.80000000000000004"/>
1090
1090
  </dia:attribute>
1091
1091
  <dia:attribute name="pos">
1092
- <dia:point val="25.5,57.15"/>
1092
+ <dia:point val="25.5,57.1425"/>
1093
1093
  </dia:attribute>
1094
1094
  <dia:attribute name="color">
1095
1095
  <dia:color val="#000000"/>
Binary file