Commits

Breadcrumbs

History for

on2.11.0

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 23, 2021

• Prep CI for upcoming release (#1123)

  Show description for f021990
  

  Lisanna Dettwyler

  authored
  f021990

  Copy full SHA for f021990

• Bump jinja2 from 2.11.2 to 2.11.3 in /cryptol-remote-api/python (#1124)

  Show description for e546dff
  dependabot[bot]

  authored
  e546dff

  Copy full SHA for e546dff

Commits on Mar 19, 2021

• feat: reset_server option for python client/server

  

  Andrew Kent

  committed
  26c24a1

  Copy full SHA for 26c24a1

• chore: squelch some warnings in CryptolServer

  

  Andrew Kent

  committed
  66d1022

  Copy full SHA for 66d1022

Commits on Mar 17, 2021

• cryptol-remote-api: Upgrade to mypy-0.812

  Show description for 23c396b
  RyanGlScott

  committed
  23c396b

  Copy full SHA for 23c396b

• Specify setuptools>=40.8.0

  Show description for d9b60be
  RyanGlScott

  committed
  d9b60be

  Copy full SHA for d9b60be

• Make cryptol-remote-api mypy-clean

  Show description for 6c785c0
  RyanGlScott

  committed
  6c785c0

  Copy full SHA for 6c785c0

Commits on Mar 16, 2021

• Add Python-centric .gitignore file for cryptol-remote-api/python directory

  Show description for 889958a
  RyanGlScott

  committed
  889958a

  Copy full SHA for 889958a

Commits on Mar 10, 2021

• Fix nightly builds (#1101)

  Show description for 8a0a009
  

  LisannaAtGalois

  authored
  8a0a009

  Copy full SHA for 8a0a009

Commits on Mar 4, 2021

• test: test cryptol-remote-api docker image alongside other builds

  

  Andrew Kent

  committed
  9943b5c

  Copy full SHA for 9943b5c

Commits on Mar 3, 2021

• feat: bump argo submodule, test server can serve many requests

  

  Andrew Kent

  committed
  a95ea3b

  Copy full SHA for a95ea3b

Commits on Mar 2, 2021

• doc: Python client README content

  

  Andrew Kent

  committed
  af33f2e

  Copy full SHA for af33f2e

Commits on Mar 1, 2021

• feat: initial co-located python client

  

  Andrew Kent

  committed
  307c18f

  Copy full SHA for 307c18f

• Merge branch 'main' of ../galois-py-toolkit into remote-server-ci

  

  Andrew Kent

  committed
  27b8718

  Copy full SHA for 27b8718

• bump argo, minor rpc tweaks

  

  Andrew Kent

  committed
  b2562b3

  Copy full SHA for b2562b3

• chore: grab cryptol python code for move

  

  Andrew Kent

  committed
  2c97f85

  Copy full SHA for 2c97f85

Commits on Feb 24, 2021

• chore: make problematic warnings error for cryptol-remote-api (#1088)

  

  Andrew Kent

  authored
  665b1c7

  Copy full SHA for 665b1c7

Commits on Feb 16, 2021

• change remote Dockerfile's cwd for server (#1082)

  Show description for 31ddad6
  

  Andrew Kent

  and

  lisanna-dettwyler

  authored
  31ddad6

  Copy full SHA for 31ddad6

• Merge pull request #1073 from GaloisInc/standardize-set

  Show description for 538b6c4
  robdockins

  authored
  538b6c4

  Copy full SHA for 538b6c4

Commits on Feb 12, 2021

• Update eval server

  robdockins

  committed
  d6fd9ee

  Copy full SHA for d6fd9ee

• Update option names in documentation

  robdockins

  committed
  0abde1e

  Copy full SHA for 0abde1e

Commits on Feb 10, 2021

• Init ghcr.io/galoisinc/cryptol-remote-api:nightly-portable (#1065)

  lisanna-dettwyler

  authored
  bcc7612

  Copy full SHA for bcc7612

Commits on Jan 25, 2021

• Add remote API calls for for proving properties (#1046)

  

  Aaron Tomb

  authored
  9b9f452

  Copy full SHA for 9b9f452

Commits on Jan 20, 2021

• cryptol-remote-api: submod bump and docs (#1038)

  Show description for 70442e4
  

  Andrew Kent

  authored
  70442e4

  Copy full SHA for 70442e4

Commits on Jan 13, 2021

• More principled errors for the remote API

  robdockins

  committed
  1c38263

  Copy full SHA for 1c38263

Commits on Jan 12, 2021

• Remove the NewtypeEnv arguments from various evaluation

  Show description for 4c53d2e
  robdockins

  committed
  4c53d2e

  Copy full SHA for 4c53d2e

• Lift newtypes from a TCon to a full-fledged constructor

  Show description for 252d808
  robdockins

  committed
  252d808

  Copy full SHA for 252d808

• Fix a bug where the symbolic backends did not have newtype constructors

  Show description for 35ea58c
  robdockins

  committed
  35ea58c

  Copy full SHA for 35ea58c

• Add newtype to the routines that transfer values back to expressions,

  Show description for 2944f08
  robdockins

  committed
  2944f08

  Copy full SHA for 2944f08

Commits on Jan 11, 2021

• Switch default in cryptol-remote-api Dockerfile to 8.10.3

  

  Jared Weakly

  committed
  75211f3

  Copy full SHA for 75211f3

• Support ghc 8.10.3 cryptol remote api (#1026)

  Show description for 5971ac3
  

  Jared Weakly

  authored
  5971ac3

  Copy full SHA for 5971ac3

Commits on Dec 21, 2020

• Update imports in cryptol-remote-api

  robdockins

  committed
  ab9010f

  Copy full SHA for ab9010f

• Simplify the interface to evalSel, and update cryptol-remote-api

  robdockins

  committed
  169ea1e

  Copy full SHA for 169ea1e

Commits on Dec 17, 2020

• Merge remote-tracking branch 'origin/master' into issue/1009

  david-christiansen

  committed
  c5ce8e5

  Copy full SHA for c5ce8e5

• Document options field

  david-christiansen

  committed
  b5e86cc

  Copy full SHA for b5e86cc

Pagination

Previous

Next