Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 23, 2021

• Use napi in ref and ref-array as well. Peg dependency versions

  jawline

  committed
  5da5c5b

Commits on Apr 12, 2021

• Use node-ffi-napi package instead of node-ffi

  MaxSchlueter

  committed
  c6bb35f

Commits on Nov 15, 2020

• Fix missing object

  jawline

  committed
  c075f77

Commits on Apr 12, 2020

• Wrong language...

  jawline

  committed
  a5bd9b2

• Add CChar and CString

  jawline

  committed
  cdbd344

Commits on Jul 15, 2019

• Fix templates to not need transplation

  jawline

  committed
  2161526

Commits on Mar 15, 2019

• Remove double_wrap

  jawline

  committed
  13fe835

Commits on Sep 10, 2018

• Fix misc /

  jawline

  committed
  e4a971b

Commits on Sep 8, 2018

• Document the ugly heap

  jawline

  committed
  c587938

Commits on Sep 7, 2018

• Fix wrapping inside Z3Javascript

  jawline

  committed
  bf3597f

Commits on Aug 21, 2018

• WrapPtr fixed

  jawline

  committed
  17f1e05

• Cleanup

  jawline

  committed
  a0e6ee3

• Use a ptr table

  jawline

  committed
  413407e

Commits on Apr 19, 2018

• Fix to Z3_model_eval

  jawline

  committed
  fa3eb9e

• Fix for some oddity in Z3_model_eval

  jawline

  committed
  5b2ed7a

Commits on Nov 14, 2017

• Replace kinds with sort kinds

  arranf

  committed
  07845f4

Commits on Nov 15, 2016

• Add copyright notices

  jawline

  committed
  1c26bab

Commits on Jun 22, 2016

• Z3JS uses function

  jawline

  committed
  9c53483

Commits on Jun 21, 2016

• Tweaks to building Z3

  jawline

  committed
  7221aab

Commits on Apr 1, 2016

• Fix a bug with bindings model method

  jawline

  committed
  22f963c

• Drop the incorrect .default

  jawline

  committed
  f4847fb

• Forgot to return Z3

  jawline

  committed
  4157609

Commits on Mar 31, 2016

• Forgot to name the package default

  jawline

  committed
  168ff49

• Remove old config file from ref template

  jawline

  committed
  2fe3b3d

Commits on Mar 30, 2016

• Update build ref bindings and fix the ref template

  jawline

  committed
  038dbf3

• Change ES6 import to a require as we want to do it conditioanlly and imports can't sit at the top level

  jawline

  committed
  38aeb8c

Commits on Mar 29, 2016

• Z3 lib now returns a function which loads either native or js build depending on how it is invoked

  jawline

  committed
  febc913

• Add 'package' master file to differentiate between modules

  jawline

  committed
  38bbe8a

Commits on Mar 12, 2016

• Update Z3 to latest

  jawline

  committed
  e0bc2c2

Commits on Feb 9, 2016

• Find better solution to array proto crazyness

  jawline

  committed
  12c46fb

• Modify bindings to automatically remove Array proto fills

  jawline

  committed
  c1d8c64

Commits on Feb 8, 2016

• Fix binding sig

  jawline

  committed
  04dc029

• Add full_build.sh

  jawline

  committed
  ee563eb

Commits on Feb 7, 2016

• Modify to use without Expr class

  jawline

  committed
  3172424

• Fix sig on post_em_bindings

  jawline

  committed
  27faecf

Pagination

PreviousNext