Commits

Breadcrumbs

History for

onbasic_reflexion

User selector

All users

All time

Commit History

Commits on Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

Commits on Feb 28, 2018

• fix #702 (#754)

  Show description for b597c9c
  

  dwightguth

  authored
  b597c9c

  Copy full SHA for b597c9c

Commits on Feb 16, 2018

• fix mvn verify for k subtree (#708)

  Show description for 98a0c0b
  

  dwightguth

  authored
  98a0c0b

  Copy full SHA for 98a0c0b

Commits on Feb 6, 2018

• Improvements in Unparsing (#674)

  Show description for bc7c40d
  

  dwightguth

  authored and

  chathhorn

  committed
  bc7c40d

  Copy full SHA for bc7c40d

Commits on Feb 5, 2018

• Fix k-configure-opam-dev script opam install stdin issue (#680)

  shd101wyy

  authored
  ef1c6b7

  Copy full SHA for ef1c6b7

Commits on Jan 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on Jan 29, 2018

• update install instructions (#668)

  Show description for bee58bc
  

  dwightguth

  authored
  bee58bc

  Copy full SHA for bee58bc

Commits on Jan 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

Commits on Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

Commits on Dec 19, 2017

• Test the new rv-error (with updates from RV-Predict) on RV-Match (#610)

  Show description for 48c7e2c
  

  gnuoyd

  authored and

  chathhorn

  committed
  48c7e2c

  Copy full SHA for 48c7e2c

Commits on Dec 14, 2017

• fix checkJava so k-bin-to-text works without kserver (#637)

  

  dwightguth

  authored
  f4609ff

  Copy full SHA for f4609ff

Commits on Sep 28, 2017

• fix ocaml warnings and change build system to mark most ocaml warning… (#511)

  Show description for ae144b9
  

  dwightguth

  authored
  ae144b9

  Copy full SHA for ae144b9

Commits on Sep 6, 2017

• Local vars re reloaded (#513)

  Show description for 1cc3c0a
  

  traiansf

  authored and

  dwightguth

  committed
  1cc3c0a

  Copy full SHA for 1cc3c0a

Commits on Aug 25, 2017

• Rv error ocaml (#500)

  Show description for 8be66a1
  traiansf

  authored
  8be66a1

  Copy full SHA for 8be66a1

• fix encoding issue in k startup scripts (#505)

  

  dwightguth

  authored
  3479cd4

  Copy full SHA for 3479cd4

Commits on Aug 24, 2017

• Track rule application (#491)

  Show description for e26b810
  

  traiansf

  authored and

  dwightguth

  committed
  e26b810

  Copy full SHA for e26b810

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Commits on Feb 13, 2017

• improve performance of ocaml compilation in rv-match (#367)

  Show description for 5696af9
  

  dwightguth

  authored
  5696af9

  Copy full SHA for 5696af9

Commits on Jan 30, 2017

• Fix3 (#351)

  Show description for 5c6a47d
  

  dwightguth

  authored
  5c6a47d

  Copy full SHA for 5c6a47d

Commits on Jan 26, 2017

• fix HOME variable that could be clobbered by sudo (#350)

  Show description for 8e9757b
  

  dwightguth

  authored
  8e9757b

  Copy full SHA for 8e9757b

• fix bug where ng is not on path in K anymore (#348)

  

  dwightguth

  authored
  fa3097a

  Copy full SHA for fa3097a

Commits on Jan 18, 2017

• Handle existing k remote in k-configure-opam-dev (#340)

  Show description for c646445
  bmmoore

  authored
  c646445

  Copy full SHA for c646445

Commits on Jan 17, 2017

• make k-configure-opam-dev script executable (#338)

  

  dwightguth

  authored
  b445433

  Copy full SHA for b445433

• new error infrastructure (#333)

  Show description for ca20bf7
  

  dwightguth

  authored
  ca20bf7

  Copy full SHA for ca20bf7

Commits on Nov 17, 2016

• refactor attributes (#296)

  Show description for 784893b
  

  dwightguth

  authored
  784893b

  Copy full SHA for 784893b

• delete a bunch of stuff (#295)

  Show description for 2f2e734
  

  dwightguth

  authored
  2f2e734

  Copy full SHA for 2f2e734

Commits on Sep 29, 2016

• Added support for different precision floats. (#251)

  Show description for df4a65f
  

  traiansf

  authored and

  dwightguth

  committed
  df4a65f

  Copy full SHA for df4a65f

Commits on Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

Commits on May 18, 2016

• Removed thread optimization (#176)

  Show description for 5a50ae5
  edgar-pek

  committed
  5a50ae5

  Copy full SHA for 5a50ae5

Commits on May 2, 2016

• module qualify klabels (#159)

  Show description for b4be3fa
  

  dwightguth

  committed
  b4be3fa

  Copy full SHA for b4be3fa

Commits on Mar 30, 2016

• more minor fixes for libjpeg, ffmpeg, and sqlite

  

  Dwight Guth

  committed
  3751553

  Copy full SHA for 3751553

Commits on Mar 28, 2016

• pthread_atfork and atexit

  

  Dwight Guth

  committed
  eded56a

  Copy full SHA for eded56a

Commits on Mar 17, 2016

• fix opam patch

  

  Dwight Guth

  committed
  51daeec

  Copy full SHA for 51daeec

• try to make sure we get a log

  

  Dwight Guth

  committed
  355a1a8

  Copy full SHA for 355a1a8

• Merge commit '1a4168307c2dfad3ff3c48cf6eec627e671ea0c4' into shared

  

  Dwight Guth

  committed
  ffedf64

  Copy full SHA for ffedf64