bvt's backtrace http://bvt-trace.net Fri, 10 Apr 2020 16:43:56 +0000 http://polimedia.us en hourly 1 v.sh parts 6&7: handling orphans and updated Keccak http://bvt-trace.net/2020/04/vsh-parts-67-handling-orphans-and-updated-keccak/ http://bvt-trace.net/2020/04/vsh-parts-67-handling-orphans-and-updated-keccak/#comments Fri, 10 Apr 2020 16:43:56 +0000 bvt http://bvt-trace.net/?p=78 http://bvt-trace.net/2020/04/vsh-parts-67-handling-orphans-and-updated-keccak/feed/ A history of vy.scm http://bvt-trace.net/2020/03/a-history-of-vyscm/ http://bvt-trace.net/2020/03/a-history-of-vyscm/#comments Mon, 23 Mar 2020 21:33:50 +0000 bvt http://bvt-trace.net/?p=77 http://bvt-trace.net/2020/03/a-history-of-vyscm/feed/ v.sh part 5: fixes http://bvt-trace.net/2020/03/vsh-part-5-fixes/ http://bvt-trace.net/2020/03/vsh-part-5-fixes/#comments Fri, 13 Mar 2020 18:50:40 +0000 bvt http://bvt-trace.net/?p=76 http://bvt-trace.net/2020/03/vsh-part-5-fixes/feed/ v.sh part 4: vtree command http://bvt-trace.net/2020/03/vsh-part-4-vtree-command/ http://bvt-trace.net/2020/03/vsh-part-4-vtree-command/#comments Sun, 08 Mar 2020 13:23:47 +0000 bvt http://bvt-trace.net/?p=75 http://bvt-trace.net/2020/03/vsh-part-4-vtree-command/feed/ A tiny and incomplete TRB wedgetrace http://bvt-trace.net/2020/02/a-tiny-and-incomplete-trb-wedgetrace/ http://bvt-trace.net/2020/02/a-tiny-and-incomplete-trb-wedgetrace/#comments Tue, 25 Feb 2020 06:34:11 +0000 bvt http://bvt-trace.net/?p=74 http://bvt-trace.net/2020/02/a-tiny-and-incomplete-trb-wedgetrace/feed/ v.sh parts 2.5 and 3: one-binary Ada solver and Ada vfilter implementation http://bvt-trace.net/2020/02/vsh-parts-25-and-3-one-binary-ada-solver-and-ada-vfilter-implementation/ http://bvt-trace.net/2020/02/vsh-parts-25-and-3-one-binary-ada-solver-and-ada-vfilter-implementation/#comments Sun, 16 Feb 2020 14:16:18 +0000 bvt http://bvt-trace.net/?p=72 http://bvt-trace.net/2020/02/vsh-parts-25-and-3-one-binary-ada-solver-and-ada-vfilter-implementation/feed/ v.sh part 2: Ada utilities http://bvt-trace.net/2020/02/vsh-part-2-ada-utilities/ http://bvt-trace.net/2020/02/vsh-part-2-ada-utilities/#comments Sat, 08 Feb 2020 21:21:20 +0000 bvt http://bvt-trace.net/?p=69 http://bvt-trace.net/2020/02/vsh-part-2-ada-utilities/feed/ v.sh part 1: wrapper script http://bvt-trace.net/2020/02/vsh-part-1-wrapper-script/ http://bvt-trace.net/2020/02/vsh-part-1-wrapper-script/#comments Sat, 01 Feb 2020 17:22:50 +0000 bvt http://bvt-trace.net/?p=67 vtools_small_fixes.vpatch curl 'http://bvt-trace.net/vpatches/vtools_small_fixes.vpatch.bvt.sig' > vtools_small_fixes.vpatch.bvt.sig Introduction Over the years, the republic has seen several implementations of V-pressers, in different programming languages and with [...]]]> http://bvt-trace.net/2020/02/vsh-part-1-wrapper-script/feed/ Re PBRT http://bvt-trace.net/2020/01/re-pbrt/ http://bvt-trace.net/2020/01/re-pbrt/#comments Wed, 15 Jan 2020 18:43:16 +0000 bvt http://bvt-trace.net/?p=66 http://bvt-trace.net/2020/01/re-pbrt/feed/ Gales Installation Report http://bvt-trace.net/2019/12/gales-installation-report/ http://bvt-trace.net/2019/12/gales-installation-report/#comments Sun, 29 Dec 2019 12:13:41 +0000 bvt http://bvt-trace.net/?p=65 http://bvt-trace.net/2019/12/gales-installation-report/feed/