<div dir="auto">git checkout basis wouldn't fail but would reset any uncommitted changes in the basis directory<div dir="auto"><br></div><div dir="auto">To switch to the branch you have to disambiguate it from the directory, e.g. git checkout origin/basis</div><div dir="auto"><br></div><div dir="auto">There is a tutorial file under characteristic/examples I think</div><div dir="auto"><br></div><div dir="auto">And yeah I think basis branch is probably a good place to work on CF examples.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On 16 Feb 2017 00:46, "Magnus Myreen" <<a href="mailto:magnus.myreen@gmail.com">magnus.myreen@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I tend to do:<br>
<br>
  git clone git@github.com:CakeML/cakeml.<wbr>git -b basis cakeml-basis<br>
<br>
and keep each branch in a directory of its own.<br>
<br>
Cheers,<br>
Magnus<br>
<br>
On 15 February 2017 at 14:43, Scott Owens <<a href="mailto:S.A.Owens@kent.ac.uk">S.A.Owens@kent.ac.uk</a>> wrote:<br>
> Ok. I’ll have a look.<br>
><br>
> Oddly, "git checkout basis” silently fails and doesn’t switch away from master. I’m just going to checkout the specific commit at the head of the basis branch for now.<br>
><br>
> Scott<br>
><br>
>> On 2017/02/15, at 11:59, Magnus Myreen <<a href="mailto:magnus.myreen@gmail.com">magnus.myreen@gmail.com</a>> wrote:<br>
>><br>
>> There are plenty of examples under cakeml/basis on the basis branch,<br>
>> some of which might already have propagated to env-refactor. There are<br>
>> also examples under cakeml/characteristic/<wbr>examples.<br>
>><br>
>> I've just now pushed a patch that gets the translator built again with<br>
>> Holmake --fast on the env-refactor branch. I don't know if<br>
>> cakeml/characteristic builds.<br>
>><br>
>> Cheers,<br>
>> Magnus<br>
>><br>
>><br>
>> On 15 February 2017 at 12:52, Scott Owens <<a href="mailto:S.A.Owens@kent.ac.uk">S.A.Owens@kent.ac.uk</a>> wrote:<br>
>>> I’d like to work on some simple algorithmic verification (quicksort or the like) using CF, just to get familiar with how it works. Can anyone point me to what HOL and CakeML commits I should be using to get a working CF? Also, where are the existing examples, so that I can not duplicate any, and also see how to get started.<br>
>>><br>
>>> Scott<br>
>>> ______________________________<wbr>_________________<br>
>>> Developers mailing list<br>
>>> <a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
>>> <a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
><br>
<br>
______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
</blockquote></div></div>