Hello,
I'm happy to report that we got this working now (thanks to Daniel
Larraz):
https://github.com/cvc5/cvc5/releases/tag/latest
Best,
Haniel Barbosa writes:
> Hello,
>
> FYI inspired by this thread we started to look into adding arm64 into
> our CI pipeline so we can provide this
Then how do you push stuff to the repository?
On 19/03/2024 22:10, Lawrence Paulson wrote:
I can’t do that, because I have no way of logging into lxbroy10
Larry
On 19 Mar 2024, at 21:04, Makarius wrote:
On 19/03/2024 12:50, Lawrence Paulson wrote:
Are others able to reach this machine and
I can’t do that, because I have no way of logging into lxbroy10
Larry
> On 19 Mar 2024, at 21:04, Makarius wrote:
>
> On 19/03/2024 12:50, Lawrence Paulson wrote:
>> Are others able to reach this machine and use Mercurial as usual?
>
> It looks fine for me, but I think I had to tinker with the
For me that the SSH access works fine, but the HTTP access times out.
Manuel
On 19/03/2024 22:04, Makarius wrote:
On 19/03/2024 12:50, Lawrence Paulson wrote:
Are others able to reach this machine and use Mercurial as usual?
It looks fine for me, but I think I had to tinker with the ssh
On 19/03/2024 12:50, Lawrence Paulson wrote:
Are others able to reach this machine and use Mercurial as usual?
It looks fine for me, but I think I had to tinker with the ssh setup a few
days ago: like resetting the entry for lxbroy10 in ~/.ssh/known_hosts
Makarius
On 19/03/2024 13:21, Fabian Huch wrote:
Today marks 20 years of AFP -- to celebrate, here are a few timings with the
new parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):
build -a
0:08:47 elapsed time, 3:02:23 cpu time, factor 20.75
build -A: -X slow -a
0:43:11 elapsed time,
I could log in with my usual stored credentials, i.e. without entering my passwordPeter On 19 Mar 2024 12:50, Lawrence Paulson wrote:Are others able to reach this machine and use Mercurial as usual?
Larry
___
isabelle-dev mailing list
Not yet as we're still experimenting with it.
The first is the distribution, the second the AFP without slow sessions
(which is what is run on the testboard), an the third the AFP with slow
and very slow sessions.
Fabian
On 3/19/24 13:28, Lawrence Paulson wrote:
Very impressive! Is this
I wonder why only I am suddenly getting password demands then? (With the
password always rejected.) With a new release looming, I will have things to
install.
Larry
> On 19 Mar 2024, at 12:24, Jasmin Blanchette
> wrote:
>
> Yes, it works as usual for me.
Yes, it works as usual for me.
Jasmin
--
Prof. Dr. Jasmin Blanchette
Chair of Theoretical Computer Science and Theorem Proving
Ludwig-Maximilians-Universität München
Oettingenstr. 67, 80538 München, Germany
Tel.: +49 (0)89 2180 9337
Email: jasmin.blanche...@ifi.lmu.de
Web:
Today marks 20 years of AFP -- to celebrate, here are a few timings with
the new parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):
build -a
0:08:47 elapsed time, 3:02:23 cpu time, factor 20.75
build -A: -X slow -a
0:43:11 elapsed time, 72:49:01 cpu time, factor 101.17
build -A: -a
Are others able to reach this machine and use Mercurial as usual?
Larry
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
12 matches
Mail list logo